Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. - Wolfgang Reisig (Formale Modelle für Informationssysteme, 1979)

A Note on the Representation of Finite Tree Automata. - Wolfgang Reisig (Inf. Process. Lett., 1979)

Schemes for Nonsequential Processing Systems. - Wolfgang Reisig (MFCS, 1980)

A Graph Grammar Representation of Non-Sequential Processes. - Wolfgang Reisig (WG, 1980)

Weighted Synchronic Distances. - Ursula Goltz; Wolfgang Reisig (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Two Alterative Definitions of Synchronic Distance. - Ursula Goltz; Wolfgang Reisig; P. S. Thiagarajan (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations. - Wolfgang Reisig (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Recursive Nets. - Wolfgang Reisig (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Petrinetze, Eine Einführung - Wolfgang Reisig (Springer, 1982)

Deterministic Buffer Synchronization of Sequential Processes. - Wolfgang Reisig (Acta Informatica, 1982)

Processes of Place/Transition-Nets. - Ursula Goltz; Wolfgang Reisig (ICALP, 1983)

System Design Using Petri Nets. - Wolfgang Reisig (Requirements Engineering, 1983)

The Non-sequential Behavior of Petri Nets - Ursula Goltz; Wolfgang Reisig (Inf. Control., 1983)

CSP-programs with individual tokens. - Ursula Goltz; Wolfgang Reisig (European Workshop on Applications and Theory in Petri Nets, 1984)

Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. - Wolfgang Reisig (ICALP, 1984)

Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. - Otthein Herzog; Wolfgang Reisig; Rüdiger Valk (Inform. Spektrum, 1984)

Systementwurf mit Netzen - Wolfgang Reisig (Springer, 1985)

Petri Nets: An Introduction - Wolfgang Reisig (Springer, 1985)

Petri Nets with Individual Tokens. - Wolfgang Reisig (Theor. Comput. Sci., 1985)

Petrinetze, Eine Einführung, 2. Auflage - Wolfgang Reisig (Springer, 1986)

Petri Nets in Software Engineering. - Wolfgang Reisig (Advances in Petri Nets, 1986)

Place/Transition Systems. - Wolfgang Reisig (Advances in Petri Nets, 1986)

Embedded System Description Using Petri Nets. - Wolfgang Reisig (Embedded Systems, 1986)

Bibliography of Petri nets. - Stefan Drees; Dominik Gomm; Helmut Plünnecke; Wolfgang Reisig; Rolf Walter (European Workshop on Applications and Theory of Petri Nets, 1986)

A strong part of concurrency. - Wolfgang Reisig (European Workshop on Applications and Theory of Petri Nets, 1986)

Das Verhalten verteilter Systeme. - Wolfgang Reisig (Oldenbourg, 1987)

Temporal Logic and Causality in Concurrent Systems. - Wolfgang Reisig (Concurrency, 1988)

Towards a temporal logic of causality and choice in distributed systems. - Wolfgang Reisig (REX Workshop, 1988)

Concurrency is more fundamental than interleaving. - Wolfgang Reisig (Bull. EATCS, 1988)

Bibliography on Petri nets 1990. - Helmut Plünnecke; Wolfgang Reisig (Applications and Theory of Petri Nets, 1990)

Petri Nets and Algebraic Specifications. - Wolfgang Reisig (Theor. Comput. Sci., 1991)

Concurrent temporal logic - Wolfgang Reisig (Forschungsberichte, TU Munich, 1991)

A primer in Petri net design. - Wolfgang Reisig (Springer, 1992)

Combining Petri Nets and Other Formal Methods. - Wolfgang Reisig (Application and Theory of Petri Nets, 1992)

Elements of a temporal logic coping with concurrency - Wolfgang Reisig (Forschungsberichte, TU Munich, 1992)

Correctness Proofs of Distributed Algorithms. - Wolfgang Reisig (Dagstuhl Seminar on Distributed Systems, 1994)

Petri Net Models of Distributed Algorithms. - Wolfgang Reisig (Computer Science Today, 1995)

Place or Transition Petri Nets. - Jörg Desel; Wolfgang Reisig (Petri Nets, 1996)

Distributed Algorithms for Networks of Agents. - Wolfgang Reisig; Ekkart Kindler; Tobias Vesper; Hagen Völzer; Rolf Walter (Petri Nets (2), 1996)

Informal Introduction to Petri Nets. - Wolfgang Reisig; Grzegorz Rozenberg (Petri Nets, 1996)

Modelling and Verification of Distributed Algorithms. - Wolfgang Reisig (CONCUR, 1996)

Interleaved progress, concurrent progress, and local progress. - Wolfgang Reisig (Partial Order Methods in Verification, 1996)

The Synthesis Problem of Petri Nets. - Jörg Desel; Wolfgang Reisig (Acta Informatica, 1996)

Verification of Distributed Algorithms with Algebraic Petri Nets. - Ekkart Kindler; Wolfgang Reisig (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

An Algebraic View on Petri Nets. - Hartmut Ehrig; Wolfgang Reisig (Bull. EATCS, 1997)

Petri Net Based Verification of Distributed Algorithms: An Example. - Ekkart Kindler; Wolfgang Reisig; Hagen Völzer; Rolf Walter (Formal Aspects Comput., 1997)

Elements of distributed algorithms: modeling and analysis with Petri nets - Wolfgang Reisig (Springer, 1998)

Distributed algorithms: modeling and analysis with Petri nets. - Wolfgang Reisig (SMC, 1998)

Towards an ASM Thesis for Unconventional Algorithms. - Wolfgang Reisig (Abstract State Machines, 2000)

Inter-operability of Workflow Applications: Local Criteria for Global Soundness. - Ekkart Kindler; Axel Martens; Wolfgang Reisig (Business Process Management, 2000)

The Linear Theory of Multiset Based Dynamic Systems. - Wolfgang Reisig (WMP, 2000)

Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". - Wolfgang Reisig (GI Jahrestagung, 2002)

Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. - Adrianna Alexander; Wolfgang Reisig (ACSD, 2003)

The Computable Kernel of ASM. - Wolfgang Reisig (Abstract State Machines, 2003)

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. - Herbert Weber; Hartmut Ehrig; Wolfgang Reisig; Alexander Borusan; Sabine Lembke; Juliane Dehnert; Michael Weber 003; Axel Martens; Julia Padberg; Claudia Ermel; Anilda Qemali (Petri Net Technology for Communication-Based Systems, 2003)

Topic Introduction. - Jayadev Misra; Wolfgang Reisig; Michael Schöttner; Laurent Lefèvre (Euro-Par, 2003)

On Gurevich's theorem on sequential algorithms. - Wolfgang Reisig (Acta Informatica, 2003)

The Expressive Power of Abstract-State Machines. - Wolfgang Reisig (Comput. Artif. Intell., 2003)

Verteilte Geschäftsprozesse und Web Services. - Wolfgang Reisig; Axel Martens (Modellierung, 2004)

Compositional Temporal Logic Based on Partial Order. - Adrianna Alexander; Wolfgang Reisig (TIME, 2004)

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

On the Expressive Power of Petri Net Schemata. - Wolfgang Reisig (ICATPN, 2005)

ASM-based Semantics for BPEL: The Negative Control Flow. - Dirk Fahland; Wolfgang Reisig (Abstract State Machines, 2005)

Modeling- and Analysis Techniques for Web Services and Business Processes. - Wolfgang Reisig (FMOODS, 2005)

Kommunizierende Workflow-Services modellieren und analysieren. - Wolfgang Reisig; Karsten Schmidt 004; Christian Stahl (Inform. Forsch. Entwickl., 2005)

Compensation in Workflow Nets. - Baver Acu; Wolfgang Reisig (ICATPN, 2006)

How Expressive Are Petri Net Schemata?. - Andreas Glausch; Wolfgang Reisig (ICATPN, 2006)

06291 Abstracts Collection – The Role of Business Processes in Service-Oriented Architectures. - Frank Leymann; Wolfgang Reisig; Satish R. Thatte; Wil M. P. van der Aalst (The Role of Business Processes in Service Oriented Architectures, 2006)

Analysis Techniques for Service Models. - Wolfgang Reisig; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg; Karsten Wolf; Kathrin Kaschner (ISoLA, 2006)

Services as a Paradigm of Computation. - Wolfgang Reisig; Jan Bretschneider; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl (Formal Methods and Hybrid Real-Time Systems, 2007)

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. - Andreas Glausch; Wolfgang Reisig (CALCO, 2007)

Analyzing BPEL4Chor: Verification and Participant Synthesis. - Niels Lohmann; Oliver Kopp; Frank Leymann; Wolfgang Reisig (WS-FM, 2007)

Challenges in a Service-Oriented World. - Wolfgang Reisig; Karsten Wolf; Jan Bretschneider; Kathrin Kaschner; Niels Lohmann; Peter Massuthe; Christian Stahl (ERCIM News, 2007)

The Decent Philosophers: An Exercise in Concurrent Behaviour. - Wolfgang Reisig (Fundam. Informaticae, 2007)

The role of business processes in service oriented architectures (Editorial). - Wil M. P. van der Aalst; Frank Leymann; Wolfgang Reisig (Int. J. Bus. Process. Integr. Manag., 2007)

The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. - Wolfgang Reisig (Pillars of Computer Science, 2008)

Towards a Theory of Services. - Wolfgang Reisig (UNISCON, 2008)

Petri net. - Carl Adam Petri; Wolfgang Reisig (Scholarpedia, 2008)

The computable kernel of Abstract State Machines. - Wolfgang Reisig (Theor. Comput. Sci., 2008)

Simple Composition of Nets. - Wolfgang Reisig (Petri Nets, 2009)

An ASM-Characterization of a Class of Distributed Algorithms. - Andreas Glausch; Wolfgang Reisig (Rigorous Methods for Software Construction and Analysis, 2009)

Yuri, Logic, and Computer Science. - Andreas Blass; Nachum Dershowitz; Wolfgang Reisig (Fields of Logic and Computation, 2010)

50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen. - Wolfgang Reisig (Modellierung, 2010)

What Should we Teach About Petri Nets? - Wolfgang Reisig (PNSE, 2012)

A Fresh Look at Petri Net Extensions. - Wolfgang Reisig (Software Service and Application Engineering, 2012)

Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. - Wolfgang Reisig (Springer, 2013)

Remarks on Egon Börger: "Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11: 305-318". - Wolfgang Reisig (Softw. Syst. Model., 2013)

The Synthesis Problem. - Wolfgang Reisig (Trans. Petri Nets Other Model. Concurr., 2013)

In Memoriam: Carl Adam Petri. - Wolfgang Reisig; Grzegorz Rozenberg; P. S. Thiagarajan (Trans. Petri Nets Other Model. Concurr., 2013)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies. - Wolfgang Reisig (Bull. EATCS, 2014)

Petrinetze. - Jörg Desel; Wolfgang Reisig (Inform. Spektrum, 2014)

Konzepte der Petrinetze. - Wolfgang Reisig; Jörg Desel (Inform. Spektrum, 2014)

Petri Nets in the Biosciences. - Ina Koch; Wolfgang Reisig; Falk Schreiber (it Inf. Technol., 2014)

Certification of Distributed Algorithms Solving Problems with Optimal Substructure. - Kim Völlinger; Wolfgang Reisig (SEFM, 2015)

The concepts of Petri nets. - Jörg Desel; Wolfgang Reisig (Softw. Syst. Model., 2015)

Service Orientation as a Paradigm of Computing. - Wolfgang Reisig (ICTERI, 2016)

A Branching-Process-Based Method to Check Soundness of Workflow Systems. - GuanJun Liu; Wolfgang Reisig; Changjun Jiang; Mengchu Zhou (IEEE Access, 2016)

Petri Nets. - Wolfgang Reisig (Modeling in Systems Biology, The Petri Net Approach, 2016)

The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece. - Wolfgang Reisig (Computing, 2017)

The 10th advanced summer school on service-oriented computing. - Wolfgang Reisig (Comput. Sci. Res. Dev., 2017)

Computation semantics of the functional scientific workflow language Cuneiform. - Jörgen Brandt; Wolfgang Reisig; Ulf Leser (J. Funct. Program., 2017)

Composition: A Fresh Look at an Old Topic. - Wolfgang Reisig (Models, Mindsets, Meta, 2018)

Modeling Erlang processes as Petri nets. - Jörgen Brandt; Wolfgang Reisig (Erlang Workshop, 2018)

Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471). - Heinrich C. Mayr; Sudha Ram; Wolfgang Reisig; Markus Stumptner (Dagstuhl Reports, 2018)

Towards a conceptual foundation of service composition. - Wolfgang Reisig (Comput. Sci. Res. Dev., 2018)

Conceptual Modeling of Event-Based Systems. - Wolfgang Reisig (DEBS, 2019)

Modelling and analysing resilient cyber-physical systems. - Amel Bennaceur; Carlo Ghezzi; Kenji Tei; Timo Kehrer; Danny Weyns; Radu Calinescu; Schahram Dustdar; Zhenjiang Hu; Shinichi Honiden; Fuyuki Ishikawa; Zhi Jin; Jeffrey Kramer; et al. (SEAMS@ICSE, 2019)

Associative composition of components with double-sided interfaces. - Wolfgang Reisig (Acta Informatica, 2019)

Modelling Service-Oriented Systems and Cloud Services with Heraklit. - Peter Fettke; Wolfgang Reisig (ESOCC Workshops, 2020)

Composition of Component Models - A Key to Construct Big Systems. - Wolfgang Reisig (ISoLA (2), 2020)

Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme. - Wolfgang Reisig (Modellierung, 2020)

Informatics as a Science. - Wolfgang Reisig (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2020)

Informatik - eine eigenständige Wissenschaft? - Wolfgang Reisig (Inform. Spektrum, 2020)

Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices. - Peter Pfeiffer; Heike Sander; Peter Fettke; Wolfgang Reisig (HEDA@Petri Nets, 2022)

Systems Mining with Heraklit: The Next Step. - Peter Fettke; Wolfgang Reisig (BPM (Forum), 2022)

Breathing Life into Models: The Next Generation of Enterprise Modeling. - Peter Fettke; Wolfgang Reisig (ICSOFT, 2022)

Discrete Models of Continuous Behavior of Collective Adaptive Systems. - Peter Fettke; Wolfgang Reisig (ISoLA (3), 2022)

Modellieren mit Heraklit. - Peter Fettke; Wolfgang Reisig (Modellierung, 2022)

Modellierung in der Informatik-Hochschullehre (ein Trauerspiel). - Wolfgang Reisig (Modellierung (Workshops), 2022)

Modularization, Composition, and Hierarchization of Petri Nets with Heraklit. - Peter Fettke; Wolfgang Reisig (CoRR, 2022)

Towards Axiomatic Foundations for Conceptual Modeling: An Example. - Peter Fettke; Wolfgang Reisig (CoRR, 2022)

A causal, time-independent synchronization pattern for collective adaptive systems. - Peter Fettke; Wolfgang Reisig (Int. J. Softw. Tools Technol. Transf., 2023)

Understanding the Digital World - Modeling with HERAKLIT - Peter Fettke; Wolfgang Reisig (Springer, 2024)

Once and for All: How to Compose Modules - The Composition Calculus. - Peter Fettke; Wolfgang Reisig (ISoLA (2), 2024)

Modeling Classes of Body Sensor Networks. - Marc Carwehl; Wolfgang Reisig (Modellierung, 2024)

Towards a Theoretical Foundation of Process Science. - Peter Fettke; Wolfgang Reisig (CoRR, 2024)

Essentials of Petri nets. - Wolfgang Reisig; Peter Fettke (CoRR, 2024)