german flag
Publications

Journal and Book Articles

2010

  • Arjan J. Mooij, Christian Stahl, and Marc Voorhoeve. Relating Fair Testing and Accordance for Service Replaceability. Journal of Logic and Algebraic Programming, 2010. Note: To appear. icon ABSTRACTBIBTEX

  • Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal, 53(1): 90-106, 2010. icon icon ABSTRACTBIBTEX

2009

  • Wilfried Brauer and Wolfgang Reisig. Carl Adam Petri and ''Petri Nets''. Fundamental Concepts in Computer Science, 3: 129--139, 2009. BIBTEX

  • Niels Lohmann, Eric Verbeek, and Remco Dijkman. Petri Net Transformations for Business Processes -- A Survey. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, 2: 46-63, March 2009. icon ABSTRACTBIBTEX

  • Niels Lohmann, Eric Verbeek, Chun Ouyang, and Christian Stahl. Comparing and Evaluating Petri Net Semantics for BPEL. International Journal of Business Process Integration and Management (IJBPIM), 4(1): 60-73, 2009. icon icon ABSTRACTBIBTEX

  • Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, 2(5460): 172-191, March 2009. icon icon ABSTRACTBIBTEX

  • Christian Stahl and Karsten Wolf. Deciding Service Composition and Substitutability Using Extended Operating Guidelines. Data Knowl. Eng., 68(9): 819-833, 2009. icon icon ABSTRACTBIBTEX

  • Kees van Hee, Eric Verbeek, Christian Stahl, and Natalia Sidorova. A Framework for Linking and Pricing No-Cure-No-Pay Services. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, 2: 192-207, March 2009. icon icon ABSTRACTBIBTEX

2008

  • Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation. Data Knowl. Eng., 64(1): 38-54, January 2008. icon icon ABSTRACTBIBTEX

  • Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf. Can I find a Partner? Undecidablity of Partner Existence for Open Nets. Information Processing Letters, 108(6): 374--378, November 2008. icon BIBTEX

  • Wolfgang Reisig. Abstract State Machines for the Classroom - The Basics. Logics of Specification Languages, XXII, 624 p. 69 illus., Hardcover: pp 15-46, 2008. icon ABSTRACTBIBTEX

  • Wolfgang Reisig. The Scholten/Dijkstra Pebble Game Played Straightly, Distributely, Online and Reversed. Pillars of Computer Science, LNCS, 4800, 2008. icon ABSTRACTBIBTEX

  • Wolfgang Reisig. The computable kernel of Abstract State Machines. Theoretical Computer Science, 409: 126-136, August 2008. icon ABSTRACTBIBTEX

2007

  • Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, and Christian Stahl. An SOA-based architecture framework. International Journal of Business Process Integration and Management (IJBPIM), 2(2): 91-101, 2007. icon icon ABSTRACTBIBTEX

  • Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolic Representation of Operating Guidelines for Services. Petri Net Newsletter, 72: 21-28, April 2007. icon BIBTEX

  • Peter Massuthe and Karsten Wolf. An Algorithm for Matching Non-deterministic Services with Operating Guidelines. International Journal of Business Process Integration and Management (IJBPIM), 2(2): 81-90, 2007. ABSTRACTBIBTEX

  • Wolfgang Reisig. The Decent Philosophers: An Exercise in Concurrent Behaviour. Fundamenta Informaticae, 80(1-3): 273-281, November 2007. icon icon ABSTRACTBIBTEX

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

2006

  • Wilfried Brauer and Wolfgang Reisig. Carl Adam Petri und die ``Petrinetze''. Informatik-Spektrum, 29(5): 369--381, October 2006. icon BIBTEX

  • Milos Krstic, Eckhard Grass, Christian Stahl, and Maxim Piz. System Integration by Request-driven GALS Design. IEE Proc. Computers & Digital Techniques, 153(5): 362--372, September 2006. icon icon ABSTRACTBIBTEX

  • Peter Massuthe and Karsten Wolf. Operating Guidelines for Services. Petri Net Newsletter, 70: 9-14, April 2006. icon ABSTRACTBIBTEX

2005

  • Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics, 1(3): 35-43, 2005. icon ABSTRACTBIBTEX

  • Wolfgang Reisig, Karsten Schmidt, and Christian Stahl. Kommunizierende Workflow-Services modellieren und analysieren. Informatik - Forschung und Entwicklung, pp 90-101, October 2005. icon icon ABSTRACTBIBTEX

  • Bernd-Holger Schlingloff, Axel Martens, and Karsten Schmidt. Modeling and Model Checking Web Services. Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems, 126: 3-26, March 2005. icon ABSTRACTBIBTEX

2004

  • Jose M. Vidal, Paul Buhler, and Christian Stahl. Multiagent Systems with Workflows. IEEE Internet Computing, 8(1): 76-82, February 2004. icon icon ABSTRACTBIBTEX

  • Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, and Bow-Yaw Wang. BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Transactions on Software Engineering (TSE), 30(6): 403-417, June 2004. icon icon ABSTRACTBIBTEX

2003

  • Axel Martens. On Compatibility of Web Services. Petri Net Newsletter, 65: 12-20, 2003. icon BIBTEX

  • Wolfgang Reisig. On Gurevich's Theorem on Sequential Algorithms. Acta Informatica, 39(5): 273-305, 2003. icon ABSTRACTBIBTEX

  • Wolfgang Reisig. The Expressive Power of Abstract State Machines. Computing and Informatics, 22(3): 209-219, 2003. ABSTRACTBIBTEX

  • Karsten Schmidt. Distributed Verification with LoLA. Fundamenta Informaticae, 54(2-3): 253-262, 2003. icon ABSTRACTBIBTEX

2001

  • Ekkart Kindler and Michael Weber. Modules in Pictures. Petri Net Newsletter, 61: 5-8, October 2001. icon BIBTEX

  • Ekkart Kindler and Michael Weber. The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. International Journal on Software Tools for Technology Transfer (STTT), 3(4): 486-497, September 2001. icon ABSTRACTBIBTEX

  • Karsten Schmidt. Narrowing Petri Net State Spaces Using the State Equation. Fundamenta Informaticae, 47(3-4): 325-335, October 2001. icon ABSTRACTBIBTEX

2000

  • Adrianna Foremniak and Peter H. Starke. Structural Analysis of Signal-Event Systems. Fundamenta Informaticae, 43(1-4): 81-104, August 2000. BIBTEX

  • Ekkard Kindler and Axel Martens. Cross-talk revisited - What's the problem?. Petri Net Newsletter, 58: 4-10, 2000. Note: Cover Picture Story. icon BIBTEX

  • Ekkard Kindler and Hagen Völzer. Algebraic Nets with Flexible Arcs. Theoretical Computer Science, 2000. BIBTEX

  • Karsten Schmidt. Flexible net Inscriptions with LoLA. Petri Net Newsletter, 59: 30-44, 2000. BIBTEX

  • Karsten Schmidt. How to Calculate Symmetries of Petri Nets. Acta Informatica, 36(7): 545-590, 2000. icon ABSTRACTBIBTEX

  • Karsten Schmidt. Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundamenta Informaticae, 43(1-4): 331-341, August 2000. icon ABSTRACTBIBTEX

1999

  • Thomas Baar and Ekkart Kindler. ILF and DAWN for verifying distributed algorithms - an idea for a tool. Fundamenta Informaticae, 37(3): 201-211, February 1999. BIBTEX

  • Ekkart Kindler and Sibylle Peuker. Integrating distributed algorithms into distributed systems. Fundamenta Informaticae, 37(3): 291-309, February 1999. BIBTEX

  • Karsten Schmidt. Model-Checking with Coverability Graphs. Formal Methods in System Design, 15(3): 239-254, November 1999. icon ABSTRACTBIBTEX

1997

  • Hartmut Ehrig and Wolfgang Reisig. An Algebraic View on Petri Nets.. Bulletin of the EATCS, 61: 52-58, February 1997. BIBTEX

  • Ekkard Kindler. Inhibitor arcs: A philosophical view. Petri Net Newsletter, 53, October 1997. Note: Cover Picture Story. icon BIBTEX

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

  • Ekkard Kindler and Rolf Walter. Mutex Needs Fairness. Information Processing Letters, 62(1): 31-39, 1997. icon BIBTEX

1996

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

  • Ekkard Kindler and Wolfgang Reisig. Algebraic System Nets for Modelling Distributed Algorithms. Petri Net Newsletter, 51, November 1996. icon BIBTEX

1995

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

1993

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

1992

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

1991

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

1990

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

1989

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

1988

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

1987

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

1986

  • Wolfgang Reisig. Anforderungsbeschreibung und Systementwurf mit Petri-Netzen.. Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, (130): 81--96, July 1986. BIBTEX

1985

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

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

1984

  • Otthein Herzog, Wolfgang Reisig, and Rüdiger Valk. Petri-Netze: ein Abriss ihrer Grundlagen und Anwendungen.. Informatik Spektrum, 7(1): 20-27, 1984. BIBTEX

1983

  • Ursula Goltz and Wolfgang Reisig. The Non-sequential Behavior of Petri Nets. Information and Control, 57(2/3): 125-147, 1983. BIBTEX

1982

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

1979

  • Wolfgang Reisig. A Note on the Representation of Finite Tree Automata. Information Processing Letters, 8(5): 239-240, 1979. BIBTEX

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

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

back to overview back to overview

Theory of Programming | Contact | XHTML 1.0 | Thu Feb 18 13:30:05 2010