Prof. Dr. Wolfgang Reisig Leiter des Lehrstuhles Theorie der Programmierung
Adresse	Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin
Sitz	Humboldt-Universität zu Berlin Institut für Informatik Haus IV, 4. Etage, Raum 416 Rudower Chaussee 25 12489 Berlin
Sprechstunde	montags, 14-15 Uhr
Telefon	+49 30-2093-3066 (Sekretariat) +49 30-2093-3065 (Büro)
Fax	+49 30 2093-3067
E-Mail	reisig@informatik.hu-berlin.de

Aktueller Hinweis

Petrinetze. Eine neue Einführung

Die vorläufige Version des neuen Buches zum Herunterladen.

Lebenslauf

-	Studium der Physik und Informatik in Karlsruhe und Bonn, Diplom 1974
1974-1976	Wissenschaftlicher Mitarbeiter an der Universität Bonn
1976-1983	Wissenschaftlicher Mitarbeiter der RWTH Aachen
1979	Promotion an der RWTH Aachen
1983/1984	Vertretungsprofessur an der Universität Hamburg
1984-1988	Projektleiter bei der Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin
1987	Habilitation an der Universität Bonn
1988-1993	Professor an der TU München
seit 1993	Professor an der Humboldt-Universität zu Berlin
1994-1996	Geschäftsführender Direktor des Instituts für Informatik
1996-1998	Dekan der Mathematisch-Naturwissenschaftlichen Fakultät II
Sommer 1997	Forschungsaufenthalt am International Computer Science Institute (ICSI), Berkeley, Kalifornien
Winter 2000/2001	"Lady Davis Visiting Professorship" am Technion, Haifa, Israel
2002-2004	Geschäftsführender Direktor des Instituts für Informatik
2006	"Beta Chair" der Technischen Universität Eindhoven
2006	Mitglied der Europäischen Akademie der Wissenschaften

Lehrveranstaltungen

nächstes Semester

• Vorlesung "Praktische Informatik 2" (SS 2008)
• Proseminar "Beauty Is Our Business" (SS 2008)
• Seminar "Theorie der Programmierung" (SS 2008)

aktuell

• Vorlesung "Methoden und Modelle des Systementwurfs" (WS 2007/2008)
• Proseminar "Beauty Is Our Business" (WS 2007/2008)

Publikationen von Wolfgang Reisig

Bücher und Konferenzbände

• 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 and Johann-Christoph Freytag, editors. Informatik - Aktuelle Themen im historischen Kontext. Springer, May 2006.

• 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.

• Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors. 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Tagungsband: Berlin, 14./15. September 2001, 2001. Fraunhofer Gesellschaft ISST.

• Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 1999. Fraunhofer Gesellschaft ISST.

• 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.

• 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.

• 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. A Primer in Petri Net Design. Springer Compass International, 1992.

• 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.

• Wolfgang Reisig. Systementwurf mit Netzen. Springer, 1985.

• Wolfgang Reisig. On the Semantics of Petri Nets.. Univ. Hamburg, Fachbereich Informatik, Bericht Nr. 100, September 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.

Dissertationen und Habilitationen

• Wolfgang Reisig. Untersuchungen einer Klasse kooperierender sequentieller Prozesse mit Hilfe von Petri-Netzen. Dissertation, RWTH Aachen University, 1979.

Publikationen in Zeitschriften und Büchern

• 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. 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.

• Wilfried Brauer and Wolfgang Reisig. Carl Adam Petri und die ``Petrinetze''. Informatik-Spektrum, 29(5):369--381, October 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.

• 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.

• 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.

• 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.

• Wolfgang Reisig. Petri Net Models of Distributed Algorithms.. In Jan van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 441-454. Springer, 1995. Note: Also published as Informatik-Bericht Nr. 48, Humboldt-Universität zu Berlin, August 1995.

• 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.

• Wolfgang Reisig. Report on the REX Workshop on Semantics-Foundations and Applications. Bulletin of the EATCS, 84, 1992.

• Wolfgang Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80(1):1-34, March 1991.

• Wolfgang Reisig. Petrinetze: Grundfragen, Konzepte, Konsequenzen. Arbeitspapiere der GMD, (497), 1990.

• Wolfgang Reisig. The decent philosophers: An exercise in operational semantics of concurrent systems. In J.W. de Bakker, editor, 25 Jaar Semantiek-Liber Amicorum. CWI, Amsterdamm, 1989.

• Wolfgang Reisig. Concurrency is more fundamental than interleaving. Bulletin of the EATCS, 35:181-184, 1988.

• 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. Anforderungsbeschreibung und Systementwurf mit Petri-Netzen.. Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, (130):81--96, July 1986.

• Wolfgang Reisig. On the Semantics of Petri Nets.. Formal Models in Programming, IFIP 1985, pp 347--372, 1985.

• Wolfgang Reisig. Petri Nets with Individual Tokens. Theoretical Computer Science, 41:185-213, 1985.

• 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. The Non-sequential Behavior of Petri Nets. Information and Control, 57(2/3):125-147, 1983.

• Wolfgang Reisig. Deterministic Buffer Synchronization of Sequential Processes. Acta Informatica, 18:117-134, 1982.

• 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.

Konferenzbeiträge und Beiträge auf Workshops

• 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.

• Wolfgang Reisig. Towards a Theory of Services. In Invited paper for UNISCON 2008 in Klagenfurt, 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.

• 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.

• 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.

• 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. 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.

• Wolfgang Reisig. Teleteaching-Vorlesung 'Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge'. In Sigrid E. Schubert, Bernd Reusch, and Norbert Jesse, editors, Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), volume 19 of LNI, pages 263-269, 2002. GI.

• Wolfgang Reisig. Modelling of learning process, using methodology of System Petri Nets. In Tagungsband der International Scientific Conference MANAGEMENT INFORMATION SYSTEMS, Tibilisi, June 2001.

• 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.

• 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. 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.

• 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.

• 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.

• 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.

• 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. Combining Petri Nets and Other Formal Methods. In Kurt Jensen, editor, Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, pages 24-44, 1992. Springer.

• Helmut Plünnecke and Wolfgang Reisig. Bibliography on Petri nets 1990.. In Grzegorz Rozenberg, editor, Applications and Theory of Petri Nets, volume 524 of Lecture Notes in Computer Science, pages 317-572, 1990. Springer.

• Wolfgang Reisig. Temporal Logic and Causality in Concurrent Systems.. In Friedrich H. Vogt, editor, Concurrency, volume 335 of Lecture Notes in Computer Science, pages 121-139, 1988. Springer.

• Wolfgang Reisig. Towards a temporal logic of causality and choice in distributed systems. In J. W. de Bakker, Willem P. de Roever, and Grzegorz Rozenberg, editors, REX Workshop, volume 354 of Lecture Notes in Computer Science, pages 603-627, 1988. Springer.

• 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.

• 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.

• 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.

• G. Berthelot, G. Memmi, and Wolfgang Reisig. A Control Structure for Sequential Processes Synchronized by Buffers. In 4th Workshop on Theory and Applications of Petri Nets, Toulouse, September 1983, pages 43--58, 1983.

• Ursula Goltz and Wolfgang Reisig. Processes of Place/Transition-Nets. In Josep Dìaz, editor, ICALP, volume 154 of Lecture Notes in Computer Science, pages 264-277, 1983. Springer.

• Wolfgang Reisig. System Design Using Petri Nets. In Günter Hommel and Dirk Krönig, editors, Requirements Engineering, volume 74 of Informatik-Fachberichte, pages 29-41, 1983. Springer.

• 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. A Graph Grammar Representation of Non-Sequential Processes. In Hartmut Noltemeier, editor, WG, volume 100 of Lecture Notes in Computer Science, pages 318-325, 1980. Springer.

• Wolfgang Reisig. Schemes for Nonsequential Processing Systems.. In Piotr Dembinski, editor, MFCS, volume 88 of Lecture Notes in Computer Science, pages 515-527, 1980. Springer.

• 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.

• Wolfgang Reisig. Interactive Schemes. In M. Feilmeier, editor, Parallel Computers - Parallel Mathematics, Proc. of the IMACS-GI-Symp., March 14--16, 1977, Munich, Amsterdam, pages 225--230, 1977. North-Holland Publishing Company.

• K. Indermark and Wolfgang Reisig. On Recursively Definable Relations. In Report on the 14th Lattice Theory Conference, Szeged, Hungary, 1974, 1974.

Technische Berichte

• 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.

• 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. 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.

• 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.

• Adrianna Foremniak and Wolfgang Reisig. A Temporal Logic of Distributed Actions (TLDA). Informatik-Berichte 140, Humboldt-Universität zu Berlin, 2000.

• 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. On the structure of DNA Algorithm. Informatik-Berichte 116, Humboldt-Universität zu Berlin, December 1998.

• 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.

• 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. Progress in Petrinets. Informatik-Berichte 34, Humboldt-Universität zu Berlin, 1994.

• Wolfgang Reisig. Elements of a Temporal Logic Coping with Concurrency. SFB-Bericht 342/23/92, Technische Universität München, 1992.

• Wolfgang Reisig. Concurrent Temporal Logic. SFB-Bericht 342/7/91B, Technische Universität München, 1991.

• Wolfgang Reisig. Parallel Composition of Liveness. SFB-Bericht 342/9/91B, Technische Universität München, 1991.

• Wolfgang Reisig. What Operational Semantics is Adequate for Nonsequential Systems?. Research Report 30, Tech. Univ. of Helsinki, Digital Systems Laboratory, Research, 1984.

• Wolfgang Reisig. Eine Verallgemeinerung des Berechenbarkeitsbegriffes durch Gleichungssysteme. Interner Bericht 3, Institut für Informatik der Universität Bonn, 1975.