Wolfgang Reisig

According to our database, Wolfgang Reisig authored at least 127 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of two.

2024

Essentials of Petri nets.

Wolfgang Reisig, Peter Fettke

CoRR, 2024

Towards a Theoretical Foundation of Process Science.

Peter Fettke, Wolfgang Reisig

CoRR, 2024

Modeling Classes of Body Sensor Networks.

Marc Carwehl, Wolfgang Reisig

Proceedings of the Modellierung 2024, Potsdam, Germany, 2024

Once and for All: How to Compose Modules - The Composition Calculus.

Peter Fettke, Wolfgang Reisig

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Understanding the Digital World - Modeling with HERAKLIT

Peter Fettke, Wolfgang Reisig

Springer, ISBN: 978-3-031-61897-0, 2024

2023

A causal, time-independent synchronization pattern for collective adaptive systems.

Peter Fettke, Wolfgang Reisig

Int. J. Softw. Tools Technol. Transf., December, 2023

2022

Towards Axiomatic Foundations for Conceptual Modeling: An Example.

Peter Fettke, Wolfgang Reisig

CoRR, 2022

Modularization, Composition, and Hierarchization of Petri Nets with Heraklit.

Peter Fettke, Wolfgang Reisig

CoRR, 2022

Modellierung in der Informatik-Hochschullehre (ein Trauerspiel).

Wolfgang Reisig

Proceedings of the Modellierung 2022 - Workshop Proceedings, Hamburg, Germany, June 27, 2022

Modellieren mit Heraklit.

Peter Fettke, Wolfgang Reisig

Proceedings of the Modellierung 2022, 27. Juni - 01. Juli 2022, Hamburg, Deutschland., 2022

Discrete Models of Continuous Behavior of Collective Adaptive Systems.

Peter Fettke, Wolfgang Reisig

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Breathing Life into Models: The Next Generation of Enterprise Modeling.

Peter Fettke, Wolfgang Reisig

Proceedings of the 17th International Conference on Software Technologies, 2022

Systems Mining with Heraklit: The Next Step.

Peter Fettke, Wolfgang Reisig

Proceedings of the Business Process Management Forum, 2022

Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices.

Peter Pfeiffer, Heike Sander, Peter Fettke, Wolfgang Reisig

Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), 2022

2020

Informatik - eine eigenständige Wissenschaft?

Wolfgang Reisig

Inform. Spektrum, 2020

Informatics as a Science.

Wolfgang Reisig

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2020

Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme.

Wolfgang Reisig

Proceedings of the Modellierung 2020, 19.-21. Februar 2020, Wien, Österreich., 2020

Composition of Component Models - A Key to Construct Big Systems.

Wolfgang Reisig

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Modelling Service-Oriented Systems and Cloud Services with Heraklit.

Peter Fettke, Wolfgang Reisig

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2020

2019

Associative composition of components with double-sided interfaces.

Wolfgang Reisig

Acta Informatica, 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, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Conceptual Modeling of Event-Based Systems.

Wolfgang Reisig

Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

2018

Towards a conceptual foundation of service composition.

Wolfgang Reisig

Comput. Sci. Res. Dev., 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

Modeling Erlang processes as Petri nets.

Jörgen Brandt, Wolfgang Reisig

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

Composition: A Fresh Look at an Old Topic.

Wolfgang Reisig

Proceedings of the Models, Mindsets, 2018

2017

Computation semantics of the functional scientific workflow language Cuneiform.

Jörgen Brandt, Wolfgang Reisig, Ulf Leser

J. Funct. Program., 2017

The 10th advanced summer school on service-oriented computing.

Wolfgang Reisig

Comput. Sci. Res. Dev., 2017

The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece.

Wolfgang Reisig

Computing, 2017

2016

Petri Nets.

Wolfgang Reisig

Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

A Branching-Process-Based Method to Check Soundness of Workflow Systems.

GuanJun Liu, Wolfgang Reisig, Changjun Jiang, Mengchu Zhou

IEEE Access, 2016

Service Orientation as a Paradigm of Computing.

Wolfgang Reisig

Proceedings of the 12th International Conference on ICT in Education, 2016

2015

The concepts of Petri nets.

Jörg Desel, Wolfgang Reisig

Softw. Syst. Model., 2015

Certification of Distributed Algorithms Solving Problems with Optimal Substructure.

Kim Völlinger, Wolfgang Reisig

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Petri Nets in the Biosciences.

Ina Koch, Wolfgang Reisig, Falk Schreiber

it Inf. Technol., 2014

Konzepte der Petrinetze.

Wolfgang Reisig, Jörg Desel

Inform. Spektrum, 2014

Petrinetze.

Jörg Desel, Wolfgang Reisig

Inform. Spektrum, 2014

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies.

Wolfgang Reisig

Bull. EATCS, 2014

2013

In Memoriam: Carl Adam Petri.

Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan

Trans. Petri Nets Other Model. Concurr., 2013

The Synthesis Problem.

Wolfgang Reisig

Trans. Petri Nets Other Model. Concurr., 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

Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies.

Wolfgang Reisig

Springer, ISBN: 978-3-642-33277-7, 2013

2012

A Fresh Look at Petri Net Extensions.

Wolfgang Reisig

Proceedings of the Software Service and Application Engineering, 2012

What Should we Teach About Petri Nets?

Wolfgang Reisig

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2010

50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen.

Wolfgang Reisig

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Yuri, Logic, and Computer Science.

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

Proceedings of the Fields of Logic and Computation, 2010

2009

An ASM-Characterization of a Class of Distributed Algorithms.

Andreas Glausch, Wolfgang Reisig

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

Simple Composition of Nets.

Wolfgang Reisig

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

The computable kernel of Abstract State Machines.

Wolfgang Reisig

Theor. Comput. Sci., 2008

Petri net.

Carl Adam Petri, Wolfgang Reisig

Scholarpedia, 2008

Towards a Theory of Services.

Wolfgang Reisig

Proceedings of the Information Systems and e-Business Technologies, 2008

The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed.

Wolfgang Reisig

Proceedings of the Pillars of Computer Science, 2008

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 Decent Philosophers: An Exercise in Concurrent Behaviour.

Wolfgang Reisig

Fundam. Informaticae, 2007

Challenges in a Service-Oriented World.

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl

ERCIM News, 2007

Analyzing BPEL4Chor: Verification and Participant Synthesis.

Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.

Andreas Glausch, Wolfgang Reisig

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Services as a Paradigm of Computation.

Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Analysis Techniques for Service Models.

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner

Proceedings of the Leveraging Applications of Formal Methods, 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

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

How Expressive Are Petri Net Schemata?.

Andreas Glausch, Wolfgang Reisig

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Compensation in Workflow Nets.

Baver Acu, Wolfgang Reisig

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Kommunizierende Workflow-Services modellieren und analysieren.

Wolfgang Reisig, Karsten Schmidt, Christian Stahl

Inform. Forsch. Entwickl., 2005

Modeling- and Analysis Techniques for Web Services and Business Processes.

Wolfgang Reisig

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

ASM-based Semantics for BPEL: The Negative Control Flow.

Dirk Fahland, Wolfgang Reisig

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

On the Expressive Power of Petri Net Schemata.

Wolfgang Reisig

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Hazard Detection in a GALS Wrapper: A Case Study.

Christian Stahl, Wolfgang Reisig, Milos Krstic

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Compositional Temporal Logic Based on Partial Order.

Adrianna Alexander, Wolfgang Reisig

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Verteilte Geschäftsprozesse und Web Services.

Wolfgang Reisig, Axel Martens

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

2003

The Expressive Power of Abstract-State Machines.

Wolfgang Reisig

Comput. Artif. Intell., 2003

On Gurevich's theorem on sequential algorithms.

Wolfgang Reisig

Acta Informatica, 2003

Topic Introduction.

Jayadev Misra, Wolfgang Reisig, Michael Schöttner, Laurent Lefèvre

Proceedings of the Euro-Par 2003. Parallel Processing, 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, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

The Computable Kernel of ASM.

Wolfgang Reisig

Proceedings of the Abstract State Machines, 2003

Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions.

Adrianna Alexander, Wolfgang Reisig

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge".

Wolfgang Reisig

Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002

2000

The Linear Theory of Multiset Based Dynamic Systems.

Wolfgang Reisig

Proceedings of the Multiset Processing, 2000

Inter-operability of Workflow Applications: Local Criteria for Global Soundness.

Ekkart Kindler, Axel Martens, Wolfgang Reisig

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

Towards an ASM Thesis for Unconventional Algorithms.

Wolfgang Reisig

Proceedings of the Abstract State Machines, 2000

1998

Distributed algorithms: modeling and analysis with Petri nets.

Wolfgang Reisig

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Elements of distributed algorithms: modeling and analysis with Petri nets

Wolfgang Reisig

Springer, ISBN: 3-540-62752-9, 1998

1997

Petri Net Based Verification of Distributed Algorithms: An Example.

Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter

Formal Aspects Comput., 1997

An Algebraic View on Petri Nets.

Hartmut Ehrig, Wolfgang Reisig

Bull. EATCS, 1997

Verification of Distributed Algorithms with Algebraic Petri Nets.

Ekkart Kindler, Wolfgang Reisig

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

The Synthesis Problem of Petri Nets.

Jörg Desel, Wolfgang Reisig

Acta Informatica, 1996

Interleaved progress, concurrent progress, and local progress.

Wolfgang Reisig

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Modelling and Verification of Distributed Algorithms.

Wolfgang Reisig

Proceedings of the CONCUR '96, 1996

Informal Introduction to Petri Nets.

Wolfgang Reisig, Grzegorz Rozenberg

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

Distributed Algorithms for Networks of Agents.

Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter

Proceedings of the Lectures on Petri Nets II: Applications, 1996

Place or Transition Petri Nets.

Jörg Desel, Wolfgang Reisig

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

Petri Net Models of Distributed Algorithms.

Wolfgang Reisig

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Correctness Proofs of Distributed Algorithms.

Wolfgang Reisig

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1992

Elements of a temporal logic coping with concurrency

Wolfgang Reisig

Forschungsberichte, TU Munich, 1992

Combining Petri Nets and Other Formal Methods.

Wolfgang Reisig

Proceedings of the Application and Theory of Petri Nets 1992, 1992

A primer in Petri net design.

Wolfgang Reisig

Springer Compass International, Springer, ISBN: 978-3-540-52044-3, 1992

1991

Concurrent temporal logic

Wolfgang Reisig

Forschungsberichte, TU Munich, 1991

Petri Nets and Algebraic Specifications.

Wolfgang Reisig

Theor. Comput. Sci., 1991

1990

Bibliography on Petri nets 1990.

Helmut Plünnecke, Wolfgang Reisig

Proceedings of the Advances in Petri Nets 1991, 1990

1988

Concurrency is more fundamental than interleaving.

Wolfgang Reisig

Bull. EATCS, 1988

Towards a temporal logic of causality and choice in distributed systems.

Wolfgang Reisig

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

Temporal Logic and Causality in Concurrent Systems.

Wolfgang Reisig

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987

Das Verhalten verteilter Systeme.

Wolfgang Reisig

GMD-Bericht 170, Oldenbourg, ISBN: 978-3-486-20516-9, 1987

1986

A strong part of concurrency.

Wolfgang Reisig

Proceedings of the Advances in Petri Nets 1987, 1986

Bibliography of Petri nets.

Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter

Proceedings of the Advances in Petri Nets 1987, 1986

Embedded System Description Using Petri Nets.

Wolfgang Reisig

Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

Place/Transition Systems.

Wolfgang Reisig

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Petri Nets in Software Engineering.

Wolfgang Reisig

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Petrinetze, Eine Einführung, 2. Auflage

Wolfgang Reisig

Springer, ISBN: 3-540-16622-X, 1986

1985

Petri Nets with Individual Tokens.

Wolfgang Reisig

Theor. Comput. Sci., 1985

Petri Nets: An Introduction

Wolfgang Reisig

EATCS Monographs on Theoretical Computer Science 4, Springer, ISBN: 978-3-642-69968-9, 1985

Systementwurf mit Netzen

Wolfgang Reisig

Springer, ISBN: 3-540-13786-6, 1985

1984

Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen.

Otthein Herzog, Wolfgang Reisig, Rüdiger Valk

Inform. Spektrum, 1984

Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.

Wolfgang Reisig

Proceedings of the Automata, 1984

CSP-programs with individual tokens.

Ursula Goltz, Wolfgang Reisig

Proceedings of the Advances in Petri Nets 1984, 1984

1983

The Non-sequential Behavior of Petri Nets

Ursula Goltz, Wolfgang Reisig

Inf. Control., 1983

System Design Using Petri Nets.

Wolfgang Reisig

Proceedings of the Requirements Engineering, 1983

Processes of Place/Transition-Nets.

Ursula Goltz, Wolfgang Reisig

Proceedings of the Automata, 1983

1982

Deterministic Buffer Synchronization of Sequential Processes.

Wolfgang Reisig

Acta Informatica, 1982

Petrinetze, Eine Einführung

Wolfgang Reisig

Springer, ISBN: 3-540-11478-5, 1982

1981

Recursive Nets.

Wolfgang Reisig

Proceedings of the Application and Theory of Petri Nets, 1981

Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations.

Wolfgang Reisig

Proceedings of the Application and Theory of Petri Nets, 1981

Two Alterative Definitions of Synchronic Distance.

Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan

Proceedings of the Application and Theory of Petri Nets, 1981

Weighted Synchronic Distances.

Ursula Goltz, Wolfgang Reisig

Proceedings of the Application and Theory of Petri Nets, 1981

1980

A Graph Grammar Representation of Non-Sequential Processes.

Wolfgang Reisig

Proceedings of the Graphtheoretic Concepts in Computer Science, 1980

Schemes for Nonsequential Processing Systems.

Wolfgang Reisig

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

A Note on the Representation of Finite Tree Automata.

Wolfgang Reisig

Inf. Process. Lett., 1979

Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion.

Wolfgang Reisig

Proceedings of the Formale Modelle für Informationssysteme, 1979