Thomas Kühne,Wolfgang Reisig, and Friedrich Steimann, editors.Modellierung 2008, 12.-14. März 2008, Berlin, Proceedings,volume P-127 of Lecture Notes in Informatics (LNI),March 2008.GI.
Wolfgang Reisig.Abstract State Machines for the Classroom - The Basics.Logics of Specification Languages,pp 15-46,2008.
Wolfgang Reisig.The Scholten/Dijkstra Pebble Game Played Straightly, Distributely, Online and Reversed.Pillars of Computer Science,2008.
Wolfgang Reisig.The computable kernel of Abstract State Machines.To appear in Theoretical Computer Science,2008.
Wolfgang Reisig.Towards a Theory of Services.In Invited paper for UNISCON 2008 in Klagenfurt,2008.Springer-Verlag.
Wolfgang Reisig.The Decent Philosophers: An Exercise in Concurrent Behaviour.Fundamenta Informaticae,80(1-3):273-281,November 2007.
Wolfgang Reisig,Karsten Wolf,Jan Bretschneider,Kathrin Kaschner,Niels Lohmann,Peter Massuthe, and Christian Stahl.Challenges in a Service-Oriented World.ERCIM News,70:28-29,July 2007.
Niels Lohmann,Oliver Kopp,Frank Leymann, and Wolfgang Reisig.Analyzing BPEL4Chor: Verification and Participant Synthesis.In Marlon Dumas and Reiko Heckel, editors,Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings,volume 4937 of Lecture Notes in Computer Science,pages 46-60,2008.Springer-Verlag.
Andreas Glausch and Wolfgang Reisig.A Semantic Characterization of Unbounded-Nondeterministic ASMs.In Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science,volume 4624 of Lecture Notes in Computer Science,August 2007.
Andreas Glausch and Wolfgang Reisig.An ASM-Characterization of a Class of Distributed Algorithms.In Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis,Festschrift volume of Lecture Notes in Computer Science,2007.Springer.Note: To appear.
Wolfgang Reisig,Jan Bretschneider,Dirk Fahland,Niels Lohmann,Peter Massuthe, and Christian Stahl.Services as a Paradigm of Computation.In Cliff B. Jones,Zhiming Liu, and Jim Woodcock, editors,Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007,volume 4700 of Lecture Notes in Computer Science,pages 521-538,September 2007.Springer-Verlag.
Bodo Hohberg,Wolfgang Reisig, and Bixia Wu.Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung.Informatik-Berichte 216,Humboldt-Universität zu Berlin,2007.
Wolfgang Reisig and Johann-Christoph Freytag, editors.Informatik - Aktuelle Themen im historischen Kontext.Springer,May 2006.
Wilfried Brauer and Wolfgang Reisig.Carl Adam Petri und die ``Petrinetze''.Informatik-Spektrum,29(5):369--381,October 2006.
Baver Acu and Wolfgang Reisig.Compensation in Workflow Nets.In Susanna Donatelli and P. S. Thiagarajan, editors,Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings,volume 4024 of Lecture Notes in Computer Science,pages 65-83,2006.Springer.
Andreas Glausch and Wolfgang Reisig.How Expressive are Petri Net Schemata?.In Susanna Donatelli and P. S. Thiagarajan, editors,Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings,volume 4024 of Lecture Notes in Computer Science,pages 201-220,2006.Springer.
Wolfgang Reisig.Abstract State Machines for the Classroom, The Basics.In ,Mai 2006.Note: To appear:.
Wolfgang Reisig,Dirk Fahland,Niels Lohmann,Peter Massuthe,Christian Stahl,Daniela Weinberg,Karsten Wolf, and Kathrin Kaschner.Analysis Techniques for Service Models.In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus,pages 11-17,November 2006.IEEE Computer Society.
Andreas Glausch and Wolfgang Reisig.Distributed Abstract State Machines and Their Expressive Power.Informatik-Berichte 196,Humboldt-Universität zu Berlin,January 2006.
Andreas Glausch and Wolfgang Reisig.On the Expressive Power of Unbounded-Nondeterministic Abstract State Machines.Informatik-Berichte 211,Humboldt-Universität zu Berlin,December 2006.
Peter Massuthe,Wolfgang Reisig, and Karsten Schmidt.An Operating Guideline Approach to the SOA.Annals of Mathematics, Computing & Teleinformatics,1(3):35-43,2005.
Wolfgang Reisig,Karsten Schmidt, and Christian Stahl.Kommunizierende Workflow-Services modellieren und analysieren.Informatik - Forschung und Entwicklung,pp 90-101,October 2005.
Dirk Fahland and Wolfgang Reisig.ASM-based semantics for BPEL: The negative Control Flow.In Danièle Beauquier,Egon Börger, and Anatol Slissenko, editors,Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05),pages 131-151,March 2005.Paris XII.
Peter Massuthe,Wolfgang Reisig, and Karsten Schmidt.An Operating Guideline Approach to the SOA.In 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05),Ohrid, Republic of Macedonia,2005.
Wolfgang Reisig.Modeling- and Analysis Techniques for Web Services and Business Processes.In Martin Steffen and Gianluigi Zavattaro, editors,Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings,volume 3535 of Lecture Notes in Computer Science,pages 243-258,May 2005.Springer Verlag.
Wolfgang Reisig.On the Expressive Power of Petri Net Schemata.In Gianfranco Ciardo and Philippe Darondeau, editors,Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings,volume 3536 of Lecture Notes in Computer Science,pages 349-364,May 2005.Springer Verlag.
Christian Stahl,Wolfgang Reisig, and Milos Krstic.Hazard Detection in a GALS Wrapper: A Case Study.In Jörg Desel and Y. Watanabe, editors,Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD'05),St. Malo, France,pages 234-243,June 2005.IEEE Computer Society.
Peter Massuthe,Wolfgang Reisig, and Karsten Schmidt.An Operating Guideline Approach to the SOA.Informatik-Berichte 191,Humboldt-Universität zu Berlin,2005.
Wolfgang Reisig.Modeling- and Analysis Techniques for Web Services and Business Processes.Informatik-Berichte 183,Humboldt-Universität zu Berlin,2005.
Wolfgang Reisig,Karsten Schmidt, and Christian Stahl.Verteilte Geschäftsprozesse modellieren und analysieren.Informatik-Berichte 182,Humboldt-Universität zu Berlin,February 2005.
Christian Stahl,Wolfgang Reisig, and Milos Krstic.Hazard Detection in a GALS Wrapper: a Case study.Informatik-Berichte 184,Humboldt-Universität zu Berlin,February 2005.
Jordi Cortadella and Wolfgang Reisig, editors.Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings,volume 3099 of Lecture Notes in Computer Science,2004.Springer-Verlag.
Jörg Desel,Wolfgang Reisig, and Grzegorz Rozenberg, editors.Lectures on Concurrency and Petri Nets, Advances in Petri Nets 2003,volume 3098 of Lecture Notes in Computer Science,2004.Springer-Verlag.Note: 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.
Adrianna Alexander and Wolfgang Reisig.Compositional Temporal Logic Based on Partial Order.In 11th International Symposium on Temporal Representation and Reasoning (TIME'04),pages 125-132,2004.IEEE Computer Society.
Adrianna Alexander and Wolfgang Reisig.Compositional Temporal Logic Based on Partial Order.Informatik-Berichte 185,Humboldt-Universität zu Berlin,December 2004.
Wolfgang Reisig.The computable kernel of Sequential Abstract State Machines.Informatik-Berichte 177,Humboldt-Universität zu Berlin,2004.Note: To appear:.
Wolfgang Reisig and A. Brade.ASM Models for Web Services.Informatik-Berichte 181,Humboldt-Universität zu Berlin,2004.
Wolfgang Reisig.On Gurevich's Theorem on Sequential Algorithms.Acta Informatica,39(5):273-305,2003.
Wolfgang Reisig.The Expressive Power of Abstract State Machines.Computing and Informatics,22(3):209-219,2003.
Adrianna Alexander and Wolfgang Reisig.Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions.In Proc. of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03), Guimaraes, Portugal,pages 167-176,June 2003.IEEE Computer Society.
Wolfgang Reisig.The Computable Kernel of ASM.In Egon Börger,Angelo Gargantini, and Elvinia Riccobene, editors,Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy,volume 2589 of Lecture Notes in Computer Science,pages 421-422,2003.
Herbert Weber,Hartmut Ehrig,Wolfgang Reisig,Alexander Borusan,Sabine Lembke,Juliane Dehnert,Michael Weber,Axel Martens,Julia Padberg,Claudia Ermel, and A. Qemali.The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.In Hartmut Ehrig,Wolfgang Reisig,Grzegorz Rozenberg, and Herbert Weber, editors,Petri Net Technology for Communication-Based Systems,volume 2472 of Lecture Notes in Computer Science,pages 1-21,2003.Springer-Verlag.
Ekkard Kindler,Axel Martens, and Wolfgang Reisig.Inter-operability of Workshop Applications - Local Criteria for Global Soundness.In Wil M. P. van der Aalst,Jörg Desel, and Andreas Oberweis, editors,Business Process Management,volume 1806 of Lecture Notes in Computer Science,pages 235-253,2000.Springer-Verlag.
Wolfgang Reisig.The Linear Theory of Multiset Based Dynamic Systems.In Cristian Calude,Gheorghe Paun,Grzegorz Rozenberg, and Arto Salomaa, editors,Workshop on Multiset Processing (WMP 2000),volume 2235 of Lecture Notes in Computer Science,pages 287-298,2000.Springer-Verlag.
Wolfgang Reisig.Towards an ASM Thesis for Unconventional Algorithms.In Yuri Gurevich,Philipp W. Kutter,Martin Odersky, and Lothar Thiele, editors,Abstract State Machines,volume 1912 of Lecture Notes in Computer Science,pages 112-130,2000.Springer-Verlag.
Adrianna Foremniak and Wolfgang Reisig.A Temporal Logic of Distributed Actions (TLDA).Informatik-Berichte 140,Humboldt-Universität zu Berlin,2000.
Hartmut Ehrig,Wolfgang Reisig, and Herbert Weber, editors.Colloquium on Petri Net Technologies for Modelling Communication Based Systems,October 1999.Fraunhofer Gesellschaft ISST.
Anne Battke,Alexander Borusan,Juliane Dehnert,Hartmut Ehrig,Claudia Ermel,Maike Gajewsky,Kathrin Hoffmann,Bodo Hohberg,Gabriel Juhás,Sabine Lembke,Axel Martens,Julia Padberg,Wolfgang Reisig,Tobias Vesper,Herbert Weber, and Michael Weber.Petrinetz-Technologie: Initial Realization of the Petri Net Baukasten.Informatik-Berichte 129,Humboldt-Universität zu Berlin,October 1999.
Wolfgang Reisig.Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets.Springer-Verlag,September 1998.
Wolfgang Reisig and Grzegorz Rozenberg, editors.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,volume 1491 of Lecture Notes in Computer Science,1998.Springer.
Wolfgang Reisig and Grzegorz Rozenberg, editors.Lectures on Petri Nets II: Applications, Advances in PetriNets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996,volume 1492 of Lecture Notes in Computer Science,1998.Springer.
Wolfgang Reisig.Distributed Algorithms: Modeling and Analysis with Petri Nets.In Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on,volume 1,pages 38-43,October 1998.
Wolfgang Reisig.On the structure of DNA Algorithm.Informatik-Berichte 116,Humboldt-Universität zu Berlin,December 1998.
Hartmut Ehrig,Wolfgang Reisig, and Herbert Weber, editors.Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology',number 97-21 of Forschungsberichte des Fachbereichs Informatik,April 1997.Technische Universität Berlin.
Hartmut Ehrig and Wolfgang Reisig.An Algebraic View on Petri Nets..Bulletin of the EATCS,61:52-58,February 1997.
Ekkard Kindler,Wolfgang Reisig,Hagen Völzer, and Rolf Walter.Petri Net Based Verification of Distributed Algorithms: An Example.Formal Aspects of Computing,9(4):409-424,1997.
Ekkard Kindler and Wolfgang Reisig.Verification of Distributed Algorithms with Algebraic Petri Nets.In Christian Freksa,Matthias Jantzen, and Rüdiger Valk, editors,Foundations of Computer Science: Potential - Theory - Cognition,volume 1337 of Lecture Notes in Computer Science,pages 261-270,1997.Springer-Verlag.
Wolfgang Reisig.Interleaved progress, concurrent progress, and local progress.In D. A. Peled,V. R. Pratt, and G. J. Holzmann, editors,Proceedings of the DIMACS workshop on Partial order methods in verification (POMIV '96),volume 29,New York, NY, USA,pages 99-115,1997.AMS Press, Inc..
Wolfgang Reisig.Verteilte Algorithmen: Nutzen sie der Forschergruppe?.In Hartmut Ehrig,Wolfgang Reisig, and Herbert Weber, editors,Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology',number 97-21 of Forschungsberichte des Fachbereichs Informatik,April 1997.Technische Universität Berlin.
Michael Weber,Rolf Walter,Hagen Völzer,Tobias Vesper,Wolfgang Reisig,Sibylle Peuker,Ekkard Kindler,Jörn Freiheit, and Jörg Desel.DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen.Informatik-Berichte 88,Humboldt-Universität zu Berlin,December 1997.Note: Errata: http://www.informatik.hu-berlin.de/top/download/publications/WeberWVVRPKFD1997_hub_tr88-errata.ps.
Jörg Desel and Wolfgang Reisig.The Synthesis Problem of Petri Nets..Acta Informatica,33(4):297--315,1996.Note: Überarbeitete Version des SFB-Berichts Nr. 342/20/92 (STACS 93).
Ekkard Kindler and Wolfgang Reisig.Algebraic System Nets for Modelling Distributed Algorithms.Petri Net Newsletter,51,November 1996.
Jörg Desel and Wolfgang Reisig.Place/Transition Petri Nets..In Wolfgang Reisig and Grzegorz Rozenberg, editors,Petri Nets,volume 1491 of Lecture Notes in Computer Science,pages 122-173,November 1998.Springer.
Wolfgang Reisig.Modelling and Verification of Distributed Algorithms.In CONCUR 96,volume 1119 of Lecture Notes in Computer Science,pages 79-95,1996.Springer-Verlag.
Wolfgang Reisig.Temporallogische Verifikation verteilter Algortihmen: Mehr als nur eine Variante.In Jörg Desel and Horst Reichel, editors,Formal Methods for Concurrency, GI-Kolloquium,number TUD/FI 96/16 of Fachberichte der TU Dresden,pages 29-32,July 1996.Technische Universität Dresden.
Wolfgang Reisig,Ekkart Kindler,Tobias Vesper,Hagen Völzer, and Rolf Walter.Distributed Algorithms for Networks of Agents..In Wolfgang Reisig and Grzegorz Rozenberg, editors,Petri Nets (2),volume 1492 of Lecture Notes in Computer Science,pages 331-385,1996.Springer.
Wolfgang Reisig and Grzegorz Rozenberg.Informal Introduction to Petri Nets.In Wolfgang Reisig and Grzegorz Rozenberg, editors,Petri Nets,volume 1491 of Lecture Notes in Computer Science,pages 1-11,1996.Springer.
Hartmut Ehrig,Wolfgang Reisig, and Herbert Weber.Kick-Off-Workshop der DFG-Forschergruppe 'Petrinetz-Technologie'.Informatik-Berichte 73,Humboldt-Universität zu Berlin,December 1996.
Ekkard Kindler,Wolfgang Reisig,Hagen Völzer, and Rolf Walter.Petri Net Based Verification of Distributed Algorithms: An Example.Informatik-Berichte 63,Humboldt-Universität zu Berlin,May 1996.
Rolf Walter,Hagen Völzer,Tobias Vesper,Wolfgang Reisig,Ekkard Kindler,Jörn Freiheit, and Jörg Desel.Memorandum: Petrinetzmodelle zur Verifikation verteilter Algorithmen.Informatik-Berichte 67,Humboldt-Universität zu Berlin,August 1996.
Wolfgang Reisig.Verteiltes Rechnen: Im wesentlichen das Herkömmliche oder etwas grundlegend Neues?,number Heft 27 of Öffentliche Vorlesungen.Humboldt-Universität zu Berlin,Unter den Linden 6, 10099 Berlin, Germany,1994.Note: Antrittsvorlesung. Herausgegeben von Marlis Dürkop, Präsidentin der Humboldt-Universität zu Berlin.
Wolfgang Reisig.Correctness Proofs of Distributed Algorithms..In Kenneth P. Birman,Friedemann Mattern, and André Schiper, editors,Dagstuhl Seminar on Distributed Systems,volume 938 of Lecture Notes in Computer Science,pages 164-177,1994.Springer.
Wolfgang Reisig.Petri-Netze und ihre Anwendungen.In Integrierte Informationsverarbeitung in Büro, Produktion und Logistik,number 305 of VDI Reihe 10: Informatik / Kommunikationstechnik,Düsseldorf,1994.FET Zentralstelle für Forschungs- und Entwicklungstransfer der Universität-GH Essen,VDI-Verlag.
Wolfgang Reisig.Progress in Petrinets.Informatik-Berichte 34,Humboldt-Universität zu Berlin,1994.
Wolfgang Reisig.Spezifikation, Modellierung und Korrektheit von Informationssystemen.In G. Scheschonk and Wolfgang Reisig, editors, Petrinetze im Einsatz für Entwurf und Entwicklung von Informationssystemen.Springer,1993.
Jörg Desel and Wolfgang Reisig.The Synthesis Problem of Petri Nets..In Patrice Enjalbert,Alain Finkel, and Klaus W. Wagner, editors,STACS,volume 665 of SFB-Bericht,pages 120-129,1993.Springer.
Wolfgang Reisig.Formal methods for concurrent systems design: a survey.In W.K. Giloi,S. Jähnichen, and B.D. Shriver, editors,Programming Models for Massively Parallel Computers, 1993. Proceedings,pages 12-21,September 1993.IEEE.
Wolfgang Reisig.Das Verhalten verteilter Systeme,number 170 of GMD-Bericht.Oldenbourg Berichte der GMD,München,1987.Note: Habilitationsschrift.
Wolfgang Reisig.Towards a Temporal Logic for True Concurrency. Part I: Linear Time Propositional Logic,number 277 of Arbeitspapiere der GMD.Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, Arbeitspapiere der GMD,1987.
Wilfried Brauer,Wolfgang Reisig, and Grzegorz Rozenberg, editors.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,volume 254 of Lecture Notes in Computer Science,1987.Springer.
Wilfried Brauer,Wolfgang Reisig, and Grzegorz Rozenberg, editors.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,volume 255 of Lecture Notes in Computer Science,1987.Springer.
E. Smith and Wolfgang Reisig.The Semantics of a Net is a Net: An Exercise in General Net Theory.Concurrency and Nets - Advances in Petri Nets,pp 461--480,1987.
Wolfgang Reisig and J. Vautherin.An Algebraic Approach to High Level Petri Nets.In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets,Spain,pages 51--72,1987.Universidad de Zaragoza.
Wolfgang Reisig.Anforderungsbeschreibung und Systementwurf mit Petri-Netzen..Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung,(130):81--96,July 1986.
Stefan Drees,Dominik Gomm,Helmut Plünnecke,Wolfgang Reisig, and Rolf Walter.Bibliography of Petri nets.In Grzegorz Rozenberg, editor,European Workshop on Applications and Theory of Petri Nets,volume 266 of Lecture Notes in Computer Science,pages 309-451,1986.Springer.
Wolfgang Reisig.A strong part of concurrency..In Grzegorz Rozenberg, editor,European Workshop on Applications and Theory of Petri Nets,volume 266 of Lecture Notes in Computer Science,pages 238-272,1986.Springer.
Wolfgang Reisig.Embedded System Description Using Petri Nets.In Albert T. Kündig,Richard E. Bührer, and Jacques Dähler, editors,Embedded Systems,volume 284 of Lecture Notes in Computer Science,pages 18-62,1986.Springer.
Wolfgang Reisig.Petri Nets in Software Engineering.In Wilfried Brauer,Wolfgang Reisig, and Grzegorz Rozenberg, editors,Advances in Petri Nets,volume 255 of Lecture Notes in Computer Science,pages 63-96,1986.Springer.
Wolfgang Reisig.Place/Transition Systems.In Wilfried Brauer,Wolfgang Reisig, and Grzegorz Rozenberg, editors,Advances in Petri Nets,volume 254 of Lecture Notes in Computer Science,pages 117-141,1986.Springer.
Wolfgang Reisig.On the Semantics of Petri Nets..Univ. Hamburg, Fachbereich Informatik, Bericht Nr. 100,September 1984.
Otthein Herzog,Wolfgang Reisig, and Rüdiger Valk.Petri-Netze: ein Abriss ihrer Grundlagen und Anwendungen..Informatik Spektrum,7(1):20-27,1984.
Ursula Goltz and Wolfgang Reisig.CSP-programs with individual tokens..In Grzegorz Rozenberg,Hartmann J. Genrich, and Gérard Roucairol, editors,European Workshop on Applications and Theory in Petri Nets,volume 188 of Lecture Notes in Computer Science,pages 169-196,1984.Springer.
Wolfgang Reisig.Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness..In Jan Paredaens, editor,ICALP,volume 172 of Lecture Notes in Computer Science,pages 403-413,1984.Springer.
Wolfgang Reisig.What Operational Semantics is Adequate for Nonsequential Systems?.Research Report 30,Tech. Univ. of Helsinki, Digital Systems Laboratory, Research,1984.
Wolfgang Reisig.Petrinetze, Eine Einführung.Springer,1982.Note: Mit Übersetzungen ins Chinesische, Englische, Italienische, Japanische und Polnische.
Claude Girault and Wolfgang Reisig, editors.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,volume 52 of Informatik-Fachberichte,1982.Springer.
Wolfgang Reisig.Deterministic Buffer Synchronization of Sequential Processes.Acta Informatica,18:117-134,1982.
Wolfgang Reisig.Petri Nets with Individual Tokens.In Anastasia Pagnoni and Grzegorz Rozenberg, editors,European Workshop on Applications and Theory of Petri Nets,volume 66 of Informatik-Fachberichte,pages 229-249,1982.Springer.
Ursula Goltz and Wolfgang Reisig.Weighted Synchronic Distances..In Claude Girault and Wolfgang Reisig, editors,Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets,volume 52 of Informatik-Fachberichte,pages 289-300,1981.Springer.
Ursula Goltz,Wolfgang Reisig, and P. S. Thiagarajan.Two Alterative Definitions of Synchronic Distance.In Claude Girault and Wolfgang Reisig, editors,Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets,volume 52 of Informatik-Fachberichte,pages 96-103,1981.Springer.
Wolfgang Reisig.Recursive Nets.In Claude Girault and Wolfgang Reisig, editors,Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets,volume 52 of Informatik-Fachberichte,pages 125-130,1981.Springer.
Wolfgang Reisig.Untersuchungen einer Klasse kooperierender sequentieller Prozesse mit Hilfe von Petri-Netzen.Dissertation,RWTH Aachen University,1979.
Wolfgang Reisig.A Note on the Representation of Finite Tree Automata.Information Processing Letters,8(5):239-240,1979.
Wolfgang Reisig.On Solving Conflicts in Petri Nets. Workshop on Graph Theoretical Concepts in Computer Science, Berlin 1979.Discrete Structures and Algorithms,pp 241--254,1979.
Wolfgang Reisig.Zur Verwendung von Petrinetz-Morphismen bei der Systemkonstruktion..Informatik-Fachberichte 21: Formale Modelle für Informationssysteme, Fachtagung der GI, Tutzing 1979,(21):220--235,1979.
Wolfgang Reisig.On a Class of Co-Operating Sequential Processors..In J.C. Syre, editor,Proc. of the 1st European Conference on Parallel and Distributed Processing,Toulouse,pages 242--250,1979.Cepadues Editions.
