Wolfgang Reisig Papers on DiSC'04 Compositional Temporal Logic Based on Partial Order Publications Note: Links lead to the DBLP on the Web. Wolfgang Reisig Wolfgang Reisig: Modeling- and Analysis Techniques for Web Services and Business Processes. FMOODS 2005 : 243-258 Jörg Desel , Wolfgang Reisig, Grzegorz Rozenberg : Lectures on Concurrency and Petri Nets, Advances in Petri Nets [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] Springer 2004 Jordi Cortadella , Wolfgang Reisig: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings Springer 2004 Wolfgang Reisig, Axel Martens : Verteilte Geschäftsprozesse und Web Services. Modellierung 2004 : 275 Adrianna Alexander , Wolfgang Reisig: Compositional Temporal Logic Based on Partial Order. TIME 2004 : 125-132 Hartmut Ehrig , Wolfgang Reisig, Grzegorz Rozenberg , Herbert Weber : Petri Net Technology for Communication-Based Systems - Advances in Petri Nets Springer 2003 Adrianna Alexander , Wolfgang Reisig: Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD 2003 : 167-176 Wolfgang Reisig: The Computable Kernel of ASM. Abstract State Machines 2003 : 421-422 Jayadev Misra , Wolfgang Reisig, Michael Schoettner , Laurent Lefèvre : Topic Introduction. Euro-Par 2003 : 623 Herbert Weber , Hartmut Ehrig , Wolfgang Reisig, Alexander Borusan , Sabine Lembke , Juliane Dehnert , Michael Weber , Axel Martens , Julia Padberg , Claudia Ermel , A. Qemali : The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems 2003 : 1-21 Wolfgang Reisig: On Gurevich's theorem on sequential algorithms. Acta Inf. 39 (4): 273-305 (2003) Wolfgang Reisig: Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". GI Jahrestagung 2002 : 263-269 Wolfgang Reisig: Towards an ASM Thesis for Unconventional Algorithms. Abstract State Machines 2000 : 112-130 Ekkart Kindler , Axel Martens , Wolfgang Reisig: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management 2000 : 235-253 Wolfgang Reisig: The Linear Theory of Multiset Based Dynamic Systems. WMP 2000 : 287-298 Wolfgang Reisig: Elements of distributed algorithms: modeling and analysis with Petri nets Springer 1998 Wolfgang Reisig, Grzegorz Rozenberg : 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 Springer 1998 Wolfgang Reisig, Grzegorz Rozenberg : Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 Springer 1998 Ekkart Kindler , Wolfgang Reisig: Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997 : 261-270 Hartmut Ehrig , Wolfgang Reisig: An Algebraic View on Petri Nets. Bulletin of the EATCS 61 : (1997) Ekkart Kindler , Wolfgang Reisig, Hagen Völzer , Rolf Walter : Petri Net Based Verification of Distributed Algorithms: An Example. Formal Asp. Comput. 9 (4): 409-424 (1997) Jonathan Billington , Wolfgang Reisig: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings Springer 1996 Wolfgang Reisig: Modelling and Verification of Distributed Algorithms. CONCUR 1996 : 579-595 Wolfgang Reisig, Grzegorz Rozenberg : Informal Introduction to Petri Nets. Petri Nets 1996 : 1-11 Jörg Desel , Wolfgang Reisig: Place or Transition Petri Nets. Petri Nets 1996 : 122-173 Wolfgang Reisig, Ekkart Kindler , Tobias Vesper , Hagen Völzer , Rolf Walter : Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996 : 331-385 Jörg Desel , Wolfgang Reisig: The Synthesis Problem of Petri Nets. Acta Inf. 33 (4): 297-315 (1996) Wolfgang Reisig: Petri Net Models of Distributed Algorithms. Computer Science Today 1995 : 441-454 Wolfgang Reisig: Correctness Proofs of Distributed Algorithms. Dagstuhl Seminar on Distributed Systems 1994 : 164-177 Jörg Desel , Wolfgang Reisig: The Synthesis Problem of Petri Nets. STACS 1993 : 120-129 Wolfgang Reisig: Combining Petri Nets and Other Formal Methods. Application and Theory of Petri Nets 1992 : 24-44 Wolfgang Reisig: Petri Nets and Algebraic Specifications. Theor. Comput. Sci. 80 (1): 1-34 (1991) Helmut Plünnecke , Wolfgang Reisig: Bibliography on Petri nets 1990. Applications and Theory of Petri Nets 1990 : 317-572 Wolfgang Reisig: Temporal Logic and Causality in Concurrent Systems. Concurrency 1988 : 121-139 Wolfgang Reisig: Towards a temporal logic of causality and choice in distributed systems. REX Workshop 1988 : 603-627 Wolfgang Reisig: Concurrency is more fundamental than interleaving. Bulletin of the EATCS 35 : 181-184 (1988) Wilfried Brauer , Wolfgang Reisig, Grzegorz Rozenberg : 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 Springer 1987 Wilfried Brauer , Wolfgang Reisig, Grzegorz Rozenberg : 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 Springer 1987 Wolfgang Reisig: Petrinetze, Eine Einführung, 2. Auflage Springer 1986 Wolfgang Reisig: Place/Transition Systems. Advances in Petri Nets 1986 : 117-141 Wolfgang Reisig: Petri Nets in Software Engineering. Advances in Petri Nets 1986 : 63-96 Wolfgang Reisig: Embedded System Description Using Petri Nets. Embedded Systems 1986 : 18-62 Wolfgang Reisig: A strong part of concurrency. European Workshop on Applications and Theory of Petri Nets 1986 : 238-272 Stefan Drees , Dominik Gomm , Helmut Plünnecke , Wolfgang Reisig, Rolf Walter : Bibliography of Petri nets. European Workshop on Applications and Theory of Petri Nets 1986 : 309-451 Wolfgang Reisig: Petri Nets: An Introduction Springer 1985 Wolfgang Reisig: Systementwurf mit Netzen Springer 1985 Wolfgang Reisig: Petri Nets with Individual Tokens. Theor. Comput. Sci. 41 : 185-213 (1985) Ursula Goltz , Wolfgang Reisig: CSP-programs with individual tokens. European Workshop on Applications and Theory in Petri Nets 1984 : 169-196 Wolfgang Reisig: Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. ICALP 1984 : 403-413 Otthein Herzog , Wolfgang Reisig, Rüdiger Valk : Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. Informatik Spektrum 7 (1): 20-27 (1984) Ursula Goltz , Wolfgang Reisig: Processes of Place/Transition-Nets. ICALP 1983 : 264-277 Wolfgang Reisig: System Design Using Petri Nets. Requirements Engineering 1983 : 29-41 Ursula Goltz , Wolfgang Reisig: The Non-sequential Behavior of Petri Nets Information and Control 57 (2/3): 125-147 (1983) Claude Girault , Wolfgang Reisig: 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 Springer 1982 Wolfgang Reisig: Petrinetze, Eine Einführung Springer 1982 Wolfgang Reisig: Petri Nets with Individual Tokens. European Workshop on Applications and Theory of Petri Nets 1982 : 229-249 Wolfgang Reisig: Deterministic Buffer Synchronization of Sequential Processes. Acta Inf. 18 : 117-134 (1982) Wolfgang Reisig: Overview. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 109-110 Wolfgang Reisig: Recursive Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 125-130 Ursula Goltz , Wolfgang Reisig: Weighted Synchronic Distances. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 289-300 Ursula Goltz , Wolfgang Reisig, P. S. Thiagarajan : Two Alterative Definitions of Synchronic Distance. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981 : 96-103 Wolfgang Reisig: Schemes for Nonsequential Processing Systems. MFCS 1980 : 515-527 Wolfgang Reisig: A Graph Grammar Representation of Non-Sequential Processes. WG 1980 : 318-325 Wolfgang Reisig: Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. Formale Modelle für Informationssysteme 1979 : 220-235 Wolfgang Reisig: A Note on the Representation of Finite Tree Automata. Inf. Process. Lett. 8 (5): 239-240 (1979) 1 [ 59 ] [ 61 ] 2 [ 44 ] 3 [ 56 ] 4 [ 28 ] [ 29 ] 5 [ 63 ] 6 [ 56 ] 7 [ 36 ] [ 39 ] [ 41 ] [ 64 ] 8 [ 22 ] 9 [ 46 ] [ 56 ] [ 60 ] 10 [ 56 ] 11 [ 12 ] 12 [ 5 ] [ 6 ] [ 13 ] [ 15 ] [ 18 ] 13 [ 22 ] 14 [ 16 ] 15 [ 40 ] [ 45 ] [ 47 ] [ 52 ] 16 [ 57 ] 17 [ 56 ] 18 [ 52 ] [ 56 ] [ 62 ] 19 [ 57 ] 20 [ 56 ] 21 [ 22 ] [ 33 ] 22 [ 56 ] 23 [ 28 ] [ 29 ] [ 42 ] [ 48 ] [ 49 ] [ 60 ] [ 64 ] 24 [ 57 ] 25 [ 5 ] 26 [ 16 ] 27 [ 40 ] 28 [ 40 ] [ 45 ] 29 [ 22 ] [ 40 ] [ 45 ] 30 [ 56 ] [ 60 ] 31 [ 56 ] ©2005 Association for Computing Machinery