Reisig, W.

• Glausch, Andreas; Reisig, Wolfgang:
  How Expressive Are Petri Net Schemata?. 2006.

• Brauer, Wilfried; Reisig, Wolfgang:
  Carl Adam Petri und die "Petrinetze". 2006.

• Stahl, Christian; Reisig, Wolfgang; Krstic, Milos:
  Hazard Detection in a GALS Wrapper: A Case Study. 2005.

• Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian:
  Kommunizierende Workflow-Services modellieren und analysieren. 2005.

• Reisig, W.:
  On the Expressive Power of Petri Net Schemata. 2005.

• Weber, H.; Ehrig, H.; Reisig, W.; Borusan, A.; Lembke, S.; Dehnert, J.; Weber, M.; Martens, A.; Padberg, J.; Ermel, C.; Qemali, A.:
  The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. 2003.

• Reisig, Wolfgang:
  The Computable Kernel of ASM (Extended Abstract). 2003.

• Kindler, E.; Martens, A.; Reisig, W.:
  Inter-operability of Workshop Applications: Local Criteria for Global Soundness. 2000.

• Desel, Jörg; Reisig, Wolfgang:
  Place/Transition Petri Nets. 1998.

• Reisig, W.:
  Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. 1998.

• Reisig, W.; Kindler, E.; Vesper, T.; Völzer, H.:
  Distributed Algorithms for Networks of Agents. 1998.

• Reisig, W.; Rozenberg, G.:
  Informal Introduction to Petri Nets. 1998.

• Reisig, Wolfgang:
  Distributed Algorithms: Modeling and Analysis with Petri Nets. 1998.

• Kindler, E.; Reisig, W.:
  Verification of distributed algorithms with algebraic Petri nets. 1997.

• Reisig, Wolfgang:
  Specifying and Proving Properties of Petri Nets. 1997.

• Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.:
  DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen. 1997.

• Ehrig, H.; Reisig, W.:
  An Algebraic View on Petri Nets. 1997.

• Weber, Herbert; Ehrig, Hartmut; Reisig, Wolfgang:
  Konzeption, theoretische Fundierung und Validierung einer anwendungbezogenen Petrinetz-Technologie. 1996.

• Kindler, Ekkart; Reisig, Wolfgang:
  Algebraic system nets for modelling distributed algorithms. 1996.

• Reisig, W.:
  Temporallogische Verfikation verteilter Algorithmen: mehr als nur eine Variante. 1996.

• Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg:
  Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. 1996.

• Billington, J.; Reisig, W.:
  Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan. 1996.

• Kindler, Ekkart; Reisig, Wolfgang; Völzer, Hagen; Walter, Rolf:
  Petri Net Based Verification of Distributed Algorithms: An Example. 1996.

• Desel, Jörg; Oberweis, Andreas; Reisig, Wolfgang:
  Algorithmen und Werkzeuge für Petrinetze. 1994.

• Desel, Jörg; Reisig, Wolfgang:
  The Synthesis Problem of Petri Nets. 1993.

• Reisig, W.:
  Combining Petri Nets and Other Formal Methods. 1992.

• Plünnecke, H.; Reisig, W.:
  Bibliography of Petri Nets 1990. 1991.

• Reisig, W.:
  System Design Using Petri Nets. 1991.

• Reisig, Wolfgang:
  Petrinetze: Grundfragen, Konzepte, Konsequenzen. 1990.

• Reisig, W.:
  The Asynchronous Stack Revisted. 1990.

• Desel, Jörg; Reisig, Wolfgang; Walter, Rolf:
  The Alternating Bit Protocol: Fairness Versus Priority. 1990.

• Reisig, Wolfgang:
  Petri Nets and Algebraic Specifications. 1990.

• Reisig, Wolfgang:
  Petri Nets and Abstract Data Types. 1989.

• Reisig, W.:
  Towards a Temporal Logic of Causality and Choice in Distributed Systems. 1989.

• Reisig, Wolfgang:
  The Container Crane System. 1989.

• Reisig, W.:
  Concurrency is More Fundamental Than Interleaving. 1988.

• Reisig, W.:
  Temporal Logic and Causality in Concurrent Systems. 1988.

• Brauer, W.; Reisig, W.; Rozenberg, G.:
  Petri Nets: Applications and Relationships to Other Models of Concurrency. 1987.

• Brauer, W.; Reisig, W.; Rozenberg, G.:
  Petri Nets: Central Models and Their Properties. 1987.

• Reisig, W.:
  A Strong Part of Concurrency. 1987.

• Reisig, W.:
  Das Verhalten verteilter Systeme. 1987.

• Reisig, W.:
  Petri Nets in Software Engineering. 1987.

• Reisig, W.:
  Place/Transition Systems. 1987.

• Reisig, W.:
  Systementwurf mit Petrinetzen. 1987.

• Reisig, W.:
  Towards a Temporal Logic for True Concurrency. Part I: Linear Time Propositional Logic. 1987.

• Reisig, W.; Vautherin, J.:
  An Algebraic Approach to High Level Petri Nets. 1987.

• Smith, E.; Reisig, W.:
  The Semantics of a Net is a Net: An Exercise in General Net Theory. 1987.

• Reisig, W.:
  Embedded System Description Using Petri Nets. 1987.

• Bolkart, W.; Reisig, W.:
  Petri-Netze (Systementwurf mit Petri-Netzen). 1986.

• Reisig, W.:
  System Modeling by Means of Petri Nets. 1986.

• Reisig, W.:
  Anforderungsbeschreibung und Systementwurf mit Petri-Netzen. 1986.

• Goltz, U.; Reisig, W.:
  CSP-Programs as Nets With Individual Tokens. 1985.

• Reisig, W.:
  Petri Nets. 1985.

• Reisig, W.:
  Systementwurf mit Netzen. 1985.

• Herzog, O.; Reisig, W.; Valk, R.:
  Petri-Netze: ein AbriÑ ihrer Grundlagen und Anwendungen, Teil 1. 1984.

• Reisig, W.:
  Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. 1984.

• Reisig, W.:
  What Operational Semantics is Adequate for Nonsequential Systems?. 1984.

• Reisig, W.:
  The Development of Petri Nets within the Context of Computer Science. 1984.

• Reisig, W.:
  On the Semantics of Petri Nets. 1984.

• Berthelot, G.; Memmi, G.; Reisig, W.:
  A Control Structure for Sequential Processes Synchronized by Buffers. 1983.

• Goltz, U.; Reisig, W.:
  Processes of Place/Transition-Nets. 1983.

• Reisig, W.:
  Petri Nets with Individual Tokens. 1983.

• Reisig, W.:
  System Design Using Petri Nets. 1983.

• Goltz, U.; Reisig, W.:
  The Non-sequential Behaviour of Petri Nets. 1983.

• Girault, C.; Reisig, W.:
  Application and Theory of Petri Nets. 1982.

• Goltz, U.; Reisig, W.:
  Weighted Synchronic Distances. 1982.

• Goltz, U.; Reisig, W.; Thiagarajan, P.S.:
  Two Alternative Definitions of Synchronic Distance. 1982.

• Reisig, W.:
  Deterministic Buffer Synchronization of Sequential Processes. 1982.

• Reisig, W.:
  Petrinetze - Eine Einführung. 1982.

• Reisig, W.:
  Recursive Nets. 1982.

• Reisig, Wolfgang:
  A Note on the Drawing of Nets. 1982.

• Reisig, W.:
  A Graph Grammar Representation of Nonsequential Processes. 1981.

• Reisig, W.:
  Processes of Marked, Arc-Weighted Nets. 1980.

• Reisig, W.:
  On a Class of Co-Operating Sequential Processors. 1979.

• Reisig, W.:
  On Solving Conflicts in Petri Nets. 1979.

• Reisig, W.:
  Schemes for Nonsequential Processing Systems. 1979.

• Reisig, W.:
  Zur Verwendung von Petrinetz-Morphismen bei der Systemkonstruktion. 1979.

• Reisig, W.:
  A Note on the Representation of Finite Tree Automata. 1979.

• Reisig, W.:
  Interactive Schemes. 1977.

Back to the Petri Nets Bibliography