Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Wolfgang Reisig

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sosym/Reisig13
- ask others
Wolfgang Reisig: Remarks on Egon Börger: "Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11: 305-318". Software and System Modeling 12(1): 5-9 (2013)
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/ReisigRT13
- ask others
Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan: In Memoriam: Carl Adam Petri. T. Petri Nets and Other Models of Concurrency 7: 1-5 (2013)
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/Reisig13
- ask others
Wolfgang Reisig: The Synthesis Problem. T. Petri Nets and Other Models of Concurrency 7: 300-313 (2013)
2012
[c57]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig12
- ask others
Wolfgang Reisig: What Should we Teach About Petri Nets? PNSE 2012: 11
[c56]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Reisig12
- ask others
Wolfgang Reisig: A Fresh Look at Petri Net Extensions. Software Service and Application Engineering 2012: 1-9
2010
[c55]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/BlassDR10
- ask others
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig: Yuri, Logic, and Computer Science. Fields of Logic and Computation 2010: 1-48
[c54]
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/modellierung/Reisig10
- ask others
Wolfgang Reisig: 50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen. Modellierung 2010: 13
[e12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/2010gurevich
- ask others
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (Eds.): Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6300, Springer 2010, ISBN 978-3-642-15024-1

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c53]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig09
- ask others
Wolfgang Reisig: Simple Composition of Nets. Petri Nets 2009: 23-42
[c52]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/GlauschR09
- ask others
Andreas Glausch, Wolfgang Reisig: An ASM-Characterization of a Class of Distributed Algorithms. Rigorous Methods for Software Construction and Analysis 2009: 50-64
2008
[j17]
- view
  - electronic edition @ scholarpedia.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scholarpedia/PetriR08
- ask others
Carl Adam Petri, Wolfgang Reisig: Petri net. Scholarpedia 3(4): 6477 (2008)
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Reisig08
- ask others
Wolfgang Reisig: The computable kernel of Abstract State Machines. Theor. Comput. Sci. 409(1): 126-136 (2008)
[c51]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Reisig08
- ask others
Wolfgang Reisig: The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. Pillars of Computer Science 2008: 589-595
[c50]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ista/Reisig08
- ask others
Wolfgang Reisig: Towards a Theory of Services. UNISCON 2008: 271-281
[e11]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/modellierung/2008
- ask others
Thomas Kühne, Wolfgang Reisig, Friedrich Steimann (Eds.): Modellierung 2008, 12.-14. März 2008, Berlin. LNI 127, GI 2008, ISBN 978-3-88579-221-5
2007
[j15]
- view
  - electronic edition @ ercim.eu
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ercim/ReisigWBKLMS07
- ask others
Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl: Challenges in a Service-Oriented World. ERCIM News 2007(70) (2007)
[j14]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/Reisig07
- ask others
Wolfgang Reisig: The Decent Philosophers: An Exercise in Concurrent Behaviour. Fundam. Inform. 80(1-3): 273-281 (2007)
[c49]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/ReisigBFLMS07
- ask others
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl: Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems 2007: 521-538
[c48]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/GlauschR07
- ask others
Andreas Glausch, Wolfgang Reisig: A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. CALCO 2007: 242-256
[c47]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/LohmannKLR07
- ask others
Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig: Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60
2006
[c46]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/AcuR06
- ask others
Baver Acu, Wolfgang Reisig: Compensation in Workflow Nets. ICATPN 2006: 65-83
[c45]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/GlauschR06
- ask others
Andreas Glausch, Wolfgang Reisig: How Expressive Are Petri Net Schemata?. ICATPN 2006: 201-220
[c44]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/LeymannRTA06
- ask others
Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst: 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. The Role of Business Processes in Service Oriented Architectures 2006
[c43]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isola/ReisigFLMSWWK06
- ask others
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner: Analysis Techniques for Service Models. ISoLA 2006: 11-17
[e10]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2006P6291
- ask others
Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst (Eds.): The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006. Dagstuhl Seminar Proceedings 06291, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
2005
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ife/ReisigSS05
- ask others
Wolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
[c42]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acsd/StahlRK05
- ask others
Christian Stahl, Wolfgang Reisig, Milos Krstic: Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243
[c41]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig05
- ask others
Wolfgang Reisig: On the Expressive Power of Petri Net Schemata. ICATPN 2005: 349-364
[c40]
- view
  - electronic edition @ univ-paris12.fr
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asm/FahlandR05
- ask others
Dirk Fahland, Wolfgang Reisig: ASM-based Semantics for BPEL: The Negative Control Flow. Abstract State Machines 2005: 131-152
[c39]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmoods/Reisig05
- ask others
Wolfgang Reisig: Modeling- and Analysis Techniques for Web Services and Business Processes. FMOODS 2005: 243-258
2004
[c38]
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/modellierung/ReisigM04
- ask others
Wolfgang Reisig, Axel Martens: Verteilte Geschäftsprozesse und Web Services. Modellierung 2004: 275
[c37]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/time/AlexanderR04
- ask others
Adrianna Alexander, Wolfgang Reisig: Compositional Temporal Logic Based on Partial Order. TIME 2004: 125-132
[e9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/2003pn
- ask others
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]. Lecture Notes in Computer Science 3098, Springer 2004, ISBN 3-540-22261-8
[e8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/2004
- ask others
Jordi Cortadella, Wolfgang Reisig (Eds.): Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings. Lecture Notes in Computer Science 3099, Springer 2004, ISBN 3-540-22236-7
2003
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Reisig03
- ask others
Wolfgang Reisig: On Gurevich's theorem on sequential algorithms. Acta Inf. 39(4): 273-305 (2003)
[j11]
- view
  - electronic edition @ sav.sk
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cai/Reisig03
- ask others
Wolfgang Reisig: The Expressive Power of Abstract-State Machines. Computers and Artificial Intelligence 22(3-4): 209-219 (2003)
[c36]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acsd/AlexanderR03
- ask others
Adrianna Alexander, Wolfgang Reisig: Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD 2003: 167-176
[c35]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asm/Reisig03
- ask others
Wolfgang Reisig: The Computable Kernel of ASM. Abstract State Machines 2003: 421-422
[c34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dfg/WeberERBLDWMPEQ03
- ask others
Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali: The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems 2003: 1-21
[c33]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/europar/MisraRSL03
- ask others
Jayadev Misra, Wolfgang Reisig, Michael Schoettner, Laurent Lefèvre: Topic Introduction. Euro-Par 2003: 623
[e7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dfg/2003
- ask others
Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (Eds.): Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Lecture Notes in Computer Science 2472, Springer 2003, ISBN 3-540-20538-1
2002
[c32]
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gi/Reisig02
- ask others
Wolfgang Reisig: Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". GI Jahrestagung 2002: 263-269
2000
[c31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asm/Reisig00
- ask others
Wolfgang Reisig: Towards an ASM Thesis for Unconventional Algorithms. Abstract State Machines 2000: 112-130
[c30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/bpm/KindlerMR00
- ask others
Ekkart Kindler, Axel Martens, Wolfgang Reisig: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management 2000: 235-253
[c29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wmp/Reisig00
- ask others
Wolfgang Reisig: The Linear Theory of Multiset Based Dynamic Systems. WMP 2000: 287-298

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[b6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/Reisig98
- ask others
Wolfgang Reisig: Elements of distributed algorithms: modeling and analysis with Petri nets. Springer 1998, ISBN 3-540-62752-9
[e6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/1996petri1
- ask others
Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Lecture Notes in Computer Science 1491, Springer 1998, ISBN 3-540-65306-6
[e5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/1996petri2
- ask others
Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Lecture Notes in Computer Science 1492, Springer 1998, ISBN 3-540-65307-4
1997
[j10]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/EhrigR97
- ask others
Hartmut Ehrig, Wolfgang Reisig: An Algebraic View on Petri Nets. Bulletin of the EATCS 61 (1997)
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/KindlerRVW97
- ask others
Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter: Petri Net Based Verification of Distributed Algorithms: An Example. Formal Asp. Comput. 9(4): 409-424 (1997)
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/KindlerR97
- ask others
Ekkart Kindler, Wolfgang Reisig: Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 261-270
1996
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/DeselR96
- ask others
Jörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. Acta Inf. 33(4): 297-315 (1996)
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/ReisigR96
- ask others
Wolfgang Reisig, Grzegorz Rozenberg: Informal Introduction to Petri Nets. Petri Nets 1996: 1-11
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/DeselR96
- ask others
Jörg Desel, Wolfgang Reisig: Place or Transition Petri Nets. Petri Nets 1996: 122-173
[c25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/ReisigKVVW96
- ask others
Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter: Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Reisig96
- ask others
Wolfgang Reisig: Modelling and Verification of Distributed Algorithms. CONCUR 1996: 579-595
[e4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/1996
- ask others
Jonathan Billington, Wolfgang Reisig (Eds.): Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Lecture Notes in Computer Science 1091, Springer 1996, ISBN 3-540-61363-3
1995
[p1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/cstoday95/Reisig95
- ask others
Wolfgang Reisig: Petri Net Models of Distributed Algorithms. Computer Science Today 1995: 441-454
1994
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Reisig94
- ask others
Wolfgang Reisig: Correctness Proofs of Distributed Algorithms. Dagstuhl Seminar on Distributed Systems 1994: 164-177
1993
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/DeselR93
- ask others
Jörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. STACS 1993: 120-129
1992
[b5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0084790
- ask others
Wolfgang Reisig: A primer in Petri net design. Springer Compass International, Springer 1992, ISBN 978-3-540-52044-3, pp. I-XII, 1-120
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig92
- ask others
Wolfgang Reisig: Combining Petri Nets and Other Formal Methods. Application and Theory of Petri Nets 1992: 24-44
1991
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Reisig91
- ask others
Wolfgang Reisig: Petri Nets and Algebraic Specifications. Theor. Comput. Sci. 80(1): 1-34 (1991)
1990
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/PlunneckeR90
- ask others
Helmut Plünnecke, Wolfgang Reisig: Bibliography on Petri nets 1990. Applications and Theory of Petri Nets 1990: 317-572

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1988
[j6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Reisig88
- ask others
Wolfgang Reisig: Concurrency is more fundamental than interleaving. Bulletin of the EATCS 35: 181-184 (1988)
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Reisig88
- ask others
Wolfgang Reisig: Temporal Logic and Causality in Concurrent Systems. Concurrency 1988: 121-139
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rex/Reisig88
- ask others
Wolfgang Reisig: Towards a temporal logic of causality and choice in distributed systems. REX Workshop 1988: 603-627
1987
[e3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/1986petri1
- ask others
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): 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. Lecture Notes in Computer Science 254, Springer 1987, ISBN 3-540-17905-4
[e2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/1986petri2
- ask others
Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg (Eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986. Lecture Notes in Computer Science 255, Springer 1987, ISBN 3-540-17906-2
1986
[b4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/Reisig86
- ask others
Wolfgang Reisig: Petrinetze, Eine Einführung, 2. Auflage. Springer 1986, ISBN 3-540-16622-X
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/Reisig86b
- ask others
Wolfgang Reisig: Embedded System Description Using Petri Nets. Embedded Systems 1986: 18-62
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/Reisig86
- ask others
Wolfgang Reisig: Petri Nets in Software Engineering. Advances in Petri Nets 1986: 63-96
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ac/Reisig86a
- ask others
Wolfgang Reisig: Place/Transition Systems. Advances in Petri Nets 1986: 117-141
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig86
- ask others
Wolfgang Reisig: A strong part of concurrency. European Workshop on Applications and Theory of Petri Nets 1986: 238-272
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/DreesGPRW86
- ask others
Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter: Bibliography of Petri nets. European Workshop on Applications and Theory of Petri Nets 1986: 309-451
1985
[b3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/Reisig85
- ask others
Wolfgang Reisig: Systementwurf mit Netzen. Springer 1985, ISBN 3-540-13786-6
[b2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/Reisig85a
- ask others
Wolfgang Reisig: Petri Nets: An Introduction. Monographs in Theoretical Computer Science. An EATCS Series 4, Springer 1985, ISBN 3-540-13723-8
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Reisig85
- ask others
Wolfgang Reisig: Petri Nets with Individual Tokens. Theor. Comput. Sci. 41: 185-213 (1985)
1984
[j4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/insk/HerzogRV84
- ask others
Otthein Herzog, Wolfgang Reisig, Rüdiger Valk: Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. Informatik Spektrum 7(1): 20-27 (1984)
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/GoltzR84
- ask others
Ursula Goltz, Wolfgang Reisig: CSP-programs with individual tokens. European Workshop on Applications and Theory in Petri Nets 1984: 169-196
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Reisig84
- ask others
Wolfgang Reisig: Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. ICALP 1984: 403-413
1983
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/GoltzR83
- ask others
Ursula Goltz, Wolfgang Reisig: The Non-sequential Behavior of Petri Nets. Information and Control 57(2/3): 125-147 (1983)
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/GoltzR83
- ask others
Ursula Goltz, Wolfgang Reisig: Processes of Place/Transition-Nets. ICALP 1983: 264-277
[c9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/re/Reisig83
- ask others
Wolfgang Reisig: System Design Using Petri Nets. Requirements Engineering 1983: 29-41
1982
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/Reisig82
- ask others
Wolfgang Reisig: Petrinetze, Eine Einführung. Springer 1982, ISBN 3-540-11478-5
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acta/Reisig82
- ask others
Wolfgang Reisig: Deterministic Buffer Synchronization of Sequential Processes. Acta Inf. 18: 117-134 (1982)
[c8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig82
- ask others
Wolfgang Reisig: Petri Nets with Individual Tokens. European Workshop on Applications and Theory of Petri Nets 1982: 229-249
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/1981
- ask others
Claude Girault, Wolfgang Reisig (Eds.): Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Stasbourg 23.-26. September 1980, Bad Honnef 28.-30. September 1981. Informatik-Fachberichte 52, Springer 1982, ISBN 3-540-11189-1
1981
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/GoltzRT81
- ask others
Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan: Two Alterative Definitions of Synchronic Distance. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 96-103
[c6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig81
- ask others
Wolfgang Reisig: Overview. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 109-110
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/Reisig81a
- ask others
Wolfgang Reisig: Recursive Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 125-130
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/apn/GoltzR81
- ask others
Ursula Goltz, Wolfgang Reisig: Weighted Synchronic Distances. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 289-300
1980
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/Reisig80
- ask others
Wolfgang Reisig: Schemes for Nonsequential Processing Systems. MFCS 1980: 515-527
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wg/Reisig80
- ask others
Wolfgang Reisig: A Graph Grammar Representation of Non-Sequential Processes. WG 1980: 318-325

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/Reisig79
- ask others
Wolfgang Reisig: A Note on the Representation of Finite Tree Automata. Inf. Process. Lett. 8(5): 239-240 (1979)
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mmb/Reisig79
- ask others
Wolfgang Reisig: Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. Formale Modelle für Informationssysteme 1979: 220-235

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?