Wolfgang Reisig
Wolfgang Reisig
Verified email at informatik.hu-berlin.de
Title
Cited by
Cited by
Year
Petri nets: an introduction
W Reisig
Springer Science & Business Media, 2012
5416*2012
Lectures on petri nets i: basic models: advances in petri nets
W Reisig, G Rozenberg
Springer Science & Business Media, 1998
712*1998
Understanding petri nets: modeling techniques, analysis methods, case studies.
W Reisig
Heidelberg: Springer, 2013
4952013
Petri nets and algebraic specifications
W Reisig
High-level Petri Nets, 137-170, 1991
4311991
Elements of distributed algorithms: modeling and analysis with Petri nets
W Reisig
Springer Science & Business Media, 1998
4281998
A primer in Petri net design
W Reisig
Springer Science & Business Media, 2012
4262012
The non-sequential behaviour of Petri nets
U Goltz, W Reisig
Information and Control 57 (2-3), 125-147, 1983
4071983
Place/transition Petri nets
J Desel, W Reisig
Advanced Course on Petri Nets, 122-173, 1996
3421996
Petri net
CA Petri, W Reisig
Scholarpedia 3 (4), 6477, 2008
2402008
An operating guideline approach to the SOA
P Massuthe, W Reisig, K Schmidt
Humboldt-Universitšt zu Berlin, Mathematisch-Naturwissenschaftliche Fakultšt†…, 2005
2292005
Petri nets: central models and their properties: advances in petri nets 1986, part I proceedings of an advanced course bad honnef, 8.–19. September 1986
W Brauer, W Reisig, G Rozenberg
Springer, 2006
2102006
The synthesis problem of Petri nets
J Desel, W Reisig
Acta informatica 33 (4), 297-315, 1996
1731996
Modeling in systems biology: the Petri net approach
I Koch, W Reisig, F Schreiber
Springer Science & Business Media, 2010
1642010
Lectures on Petri Nets I: Basic Models, volume 1491 of
W Reisig, G Rozenberg
Lecture Notes in Computer Science, 7-17, 1998
1461998
Systementwurf mit Netzen
W Reisig
Springer-Verlag, 2013
1452013
Petri nets in software engineering
W Reisig
Advanced Course on Petri Nets, 62-96, 1986
1271986
Inter-operability of workflow applications: Local criteria for global soundness
E Kindler, A Martens, W Reisig
Business Process Management, 235-253, 2000
1262000
ASM-based Semantics for BPEL: The Negative Control Flow.
D Fahland, W Reisig
Abstract State Machines, 131-152, 2005
1172005
Advances in Petri Nets 1987
G Rozenberg
Springer Science & Business Media, 1987
117*1987
Place/transition systems
W Reisig
Petri Nets: Central Models and Their Properties, 117-141, 1987
1141987
The system can't perform the operation now. Try again later.
Articles 1–20