Bücher und Konferenzbände
2008
Dirk Fahland, Daniel Sadilek, Markus Scheidgen, and Stephan Weissleder, editors. Proceedings of the Workshop on Domain-Specific Modeling Languages (DSML'08), Berlin, Germany, March 14, volume 324 of CEUR Workshop Proceedings, 2008. CEUR-WS.org.
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.
2006
Wolfgang Reisig and Johann-Christoph Freytag, editors. Informatik - Aktuelle Themen im historischen Kontext. Springer, May 2006.
2004
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.
2001
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.
1999
Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 1999. Fraunhofer Gesellschaft ISST.
1998
Wolfgang Reisig. Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag, September 1998.
Jörg Desel, Peter Kemper, Ekkart Kindler, and Andreas Oberweis, editors. Algorithmen und Werkzeuge für Petrinetze, 5. Workshop, number 694 of Forschungsberichte, October 1998. Universität Dortmund, Fachbereich Informatik.
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.
1997
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.
1995
Jan van Leeuwen, editor. Computer Science Today: Recent Trends and Developments, volume 1000 of Lecture Notes in Computer Science. Springer, 1995.
Kenneth P. Birman, Friedemann Mattern, and André Schiper, editors. Theory and Practice in Distributed Systems, International Workshop, Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers, volume 938 of Lecture Notes in Computer Science, 1995. Springer.
1994
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.
1993
Patrice Enjalbert, Alain Finkel, and Klaus W. Wagner, editors. STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, volume 665 of Lecture Notes in Computer Science, 1993. Springer.
1992
Wolfgang Reisig. A Primer in Petri Net Design. Springer Compass International, 1992.
Kurt Jensen, editor. Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, volume 616 of Lecture Notes in Computer Science, 1992. Springer.
1991
Grzegorz Rozenberg, editor. Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, volume 524 of Lecture Notes in Computer Science, 1991. Springer.
1989
J. W. de Bakker, Willem P. de Roever, and Grzegorz Rozenberg, editors. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, volume 354 of Lecture Notes in Computer Science, 1989. Springer.
1988
Friedrich H. Vogt, editor. Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, volume 335 of Lecture Notes in Computer Science, 1988. Springer.
1987
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.
Albert T. Kündig, Richard E. Bührer, and Jacques Dähler, editors. Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986, volume 284 of Lecture Notes in Computer Science, 1987. Springer.
Grzegorz Rozenberg, editor. Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, volume 266 of Lecture Notes in Computer Science, 1987. Springer.
1985
Wolfgang Reisig. Systementwurf mit Netzen. Springer, 1985.
Grzegorz Rozenberg, Hartmann J. Genrich, and Gérard Roucairol, editors. Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, volume 188 of Lecture Notes in Computer Science, 1985. Springer.
1984
Wolfgang Reisig. On the Semantics of Petri Nets.. Univ. Hamburg, Fachbereich Informatik, Bericht Nr. 100, September 1984.
Jan Paredaens, editor. Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings, volume 172 of Lecture Notes in Computer Science, 1984. Springer.
1983
Josep Dìaz, editor. Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, volume 154 of Lecture Notes in Computer Science, 1983. Springer.
Günter Hommel and Dirk Krönig, editors. Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983, volume 74 of Informatik-Fachberichte, 1983. Springer.
Anastasia Pagnoni and Grzegorz Rozenberg, editors. Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, volume 66 of Informatik-Fachberichte, 1983. Springer.
1982
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.
1981
Hartmut Noltemeier, editor. Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980, volume 100 of Lecture Notes in Computer Science, 1981. Springer.
1980
Piotr Dembinski, editor. Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, volume 88 of Lecture Notes in Computer Science, 1980. Springer.
Theorie der Programmierung | | XHTML 1.0 | Fri Sep 11 16:30:34 2009