Wolfgang Reisig

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 33

Top Venues

CoRR

Modellierung

Inform. Spektrum

Comput. Sci. Res. Dev.

Publications

Marc Carwehl, Wolfgang Reisig
Modeling Classes of Body Sensor Networks. Modellierung (2024)
Peter Fettke, Wolfgang Reisig
Towards a Theoretical Foundation of Process Science. CoRR (2024)
Peter Fettke, Wolfgang Reisig
A causal, time-independent synchronization pattern for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Peter Fettke, Wolfgang Reisig
Modellieren mit Heraklit. Modellierung (2022)
Peter Fettke, Wolfgang Reisig
Systems Mining with Heraklit: The Next Step. CoRR (2022)
Peter Fettke, Wolfgang Reisig
Modellieren mit Heraklit. CoRR (2022)
Peter Pfeiffer, Heike Sander, Peter Fettke, Wolfgang Reisig
Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices. HEDA@Petri Nets (2022)
Peter Fettke, Wolfgang Reisig
Towards Axiomatic Foundations for Conceptual Modeling: An Example. CoRR (2022)
Peter Fettke, Wolfgang Reisig
Breathing Life into Models: The Next Generation of Enterprise Modeling. ICSOFT (2022)
Peter Fettke, Wolfgang Reisig
Discrete models of continuous behavior of collective adaptive systems. CoRR (2022)
Peter Fettke, Wolfgang Reisig
Modularization, Composition, and Hierarchization of Petri Nets with Heraklit. CoRR (2022)
Peter Fettke, Wolfgang Reisig
Systems Mining with Heraklit: The Next Step. BPM (Forum) (2022)
Peter Fettke, Wolfgang Reisig
Breathing Life into Models: The Next Generation of Enterprise Modeling. CoRR (2022)
Peter Fettke, Wolfgang Reisig
Discrete Models of Continuous Behavior of Collective Adaptive Systems. ISoLA (3) (2022)
Wolfgang Reisig
Modellierung in der Informatik-Hochschullehre (ein Trauerspiel). Modellierung (Workshops) (2022)
Peter Fettke, Wolfgang Reisig
Modelling service-oriented systems and cloud services with Heraklit. CoRR (2020)
Wolfgang Reisig
Composition of Component Models - A Key to Construct Big Systems. ISoLA (2) (2020)
Wolfgang Reisig
Informatics as a Science. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 15 (2020)
Peter Fettke, Wolfgang Reisig
Modelling Service-Oriented Systems and Cloud Services with Heraklit. ESOCC Workshops (2020)
Wolfgang Reisig
Informatik - eine eigenständige Wissenschaft? Inform. Spektrum 43 (4) (2020)
Wolfgang Reisig
Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme. Modellierung (2020)
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
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Wolfgang Reisig
Conceptual Modeling of Event-Based Systems. DEBS (2019)
Wolfgang Reisig
Associative composition of components with double-sided interfaces. Acta Informatica 56 (3) (2019)
Wolfgang Reisig
Composition: A Fresh Look at an Old Topic. Models, Mindsets, Meta (2018)
Jörgen Brandt, Wolfgang Reisig
Modeling Erlang processes as Petri nets. Erlang Workshop (2018)
Heinrich C. Mayr, Sudha Ram, Wolfgang Reisig, Markus Stumptner
Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471). Dagstuhl Reports 8 (11) (2018)
Wolfgang Reisig
Towards a conceptual foundation of service composition. Comput. Sci. Res. Dev. 33 (3-4) (2018)
Wolfgang Reisig
The 10th advanced summer school on service-oriented computing. Comput. Sci. Res. Dev. 32 (3-4) (2017)
Wolfgang Reisig
The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece. Computing 99 (2) (2017)
Jörgen Brandt, Wolfgang Reisig, Ulf Leser
Computation semantics of the functional scientific workflow language Cuneiform. J. Funct. Program. 27 (2017)
Wolfgang Reisig
Service Orientation as a Paradigm of Computing. ICTERI (2016)
GuanJun Liu, Wolfgang Reisig, Changjun Jiang, Mengchu Zhou
A Branching-Process-Based Method to Check Soundness of Workflow Systems. IEEE Access 4 (2016)
Kim Völlinger, Wolfgang Reisig
Certification of Distributed Algorithms Solving Problems with Optimal Substructure. SEFM (2015)
Jörg Desel, Wolfgang Reisig
The concepts of Petri nets. Softw. Syst. Model. 14 (2) (2015)
Wolfgang Reisig
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies. Bull. EATCS 112 (2014)
Wolfgang Reisig, Jörg Desel
Konzepte der Petrinetze. Inform. Spektrum 37 (3) (2014)
Jörg Desel, Wolfgang Reisig
Petrinetze. Inform. Spektrum 37 (3) (2014)
Ina Koch, Wolfgang Reisig, Falk Schreiber
Petri Nets in the Biosciences. it Inf. Technol. 56 (2) (2014)
Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan
In Memoriam: Carl Adam Petri. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Wolfgang Reisig
The Synthesis Problem. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Wolfgang Reisig
Remarks on Egon Börger: "Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11: 305-318". Softw. Syst. Model. 12 (1) (2013)
Wolfgang Reisig
A Fresh Look at Petri Net Extensions. Software Service and Application Engineering (2012)
Wolfgang Reisig
What Should we Teach About Petri Nets? PNSE (2012)
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Yuri, Logic, and Computer Science. Fields of Logic and Computation (2010)
Wolfgang Reisig
50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen. Modellierung (2010)
Andreas Glausch, Wolfgang Reisig
An ASM-Characterization of a Class of Distributed Algorithms. Rigorous Methods for Software Construction and Analysis (2009)
Wolfgang Reisig
Simple Composition of Nets. Petri Nets (2009)
Wolfgang Reisig
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. Pillars of Computer Science (2008)
Wolfgang Reisig
Towards a Theory of Services. UNISCON (2008)
Wolfgang Reisig
The computable kernel of Abstract State Machines. Theor. Comput. Sci. 409 (1) (2008)
Carl Adam Petri, Wolfgang Reisig
Petri net. Scholarpedia 3 (4) (2008)
Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig
Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM (2007)
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems (2007)
Wil M. P. van der Aalst, Frank Leymann, Wolfgang Reisig
The role of business processes in service oriented architectures (Editorial). Int. J. Bus. Process. Integr. Manag. 2 (2) (2007)
Andreas Glausch, Wolfgang Reisig
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. CALCO (2007)
Wolfgang Reisig
The Decent Philosophers: An Exercise in Concurrent Behaviour. Fundam. Informaticae 80 (1-3) (2007)
Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl
Challenges in a Service-Oriented World. ERCIM News 2007 (70) (2007)
Andreas Glausch, Wolfgang Reisig
How Expressive Are Petri Net Schemata?. ICATPN (2006)
Baver Acu, Wolfgang Reisig
Compensation in Workflow Nets. ICATPN (2006)
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
Analysis Techniques for Service Models. ISoLA (2006)
Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst
06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. The Role of Business Processes in Service Oriented Architectures (2006)
Dirk Fahland, Wolfgang Reisig
ASM-based Semantics for BPEL: The Negative Control Flow. Abstract State Machines (2005)
Wolfgang Reisig, Karsten Schmidt, Christian Stahl
Kommunizierende Workflow-Services modellieren und analysieren. Inform. Forsch. Entwickl. 20 (1-2) (2005)
Wolfgang Reisig
On the Expressive Power of Petri Net Schemata. ICATPN (2005)
Christian Stahl, Wolfgang Reisig, Milos Krstic
Hazard Detection in a GALS Wrapper: A Case Study. ACSD (2005)
Wolfgang Reisig
Modeling- and Analysis Techniques for Web Services and Business Processes. FMOODS (2005)
Adrianna Alexander, Wolfgang Reisig
Compositional Temporal Logic Based on Partial Order. TIME (2004)
Wolfgang Reisig, Axel Martens
Verteilte Geschäftsprozesse und Web Services. Modellierung (2004)
Wolfgang Reisig
The Computable Kernel of ASM. Abstract State Machines (2003)
Adrianna Alexander, Wolfgang Reisig
Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD (2003)
Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems (2003)
Jayadev Misra, Wolfgang Reisig, Michael Schöttner, Laurent Lefèvre
Topic Introduction. Euro-Par (2003)
Wolfgang Reisig
On Gurevich's theorem on sequential algorithms. Acta Informatica 39 (4) (2003)
Wolfgang Reisig
The Expressive Power of Abstract-State Machines. Comput. Artif. Intell. 22 (3-4) (2003)
Wolfgang Reisig
Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". GI Jahrestagung (2002)
Ekkart Kindler, Axel Martens, Wolfgang Reisig
Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management (2000)
Wolfgang Reisig
The Linear Theory of Multiset Based Dynamic Systems. WMP (2000)
Wolfgang Reisig
Towards an ASM Thesis for Unconventional Algorithms. Abstract State Machines (2000)
Wolfgang Reisig
Distributed algorithms: modeling and analysis with Petri nets. SMC (1998)
Ekkart Kindler, Wolfgang Reisig
Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Hartmut Ehrig, Wolfgang Reisig
An Algebraic View on Petri Nets. Bull. EATCS 61 (1997)
Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter
Petri Net Based Verification of Distributed Algorithms: An Example. Formal Aspects Comput. 9 (4) (1997)
Wolfgang Reisig, Grzegorz Rozenberg
Informal Introduction to Petri Nets. Petri Nets (1996)
Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter
Distributed Algorithms for Networks of Agents. Petri Nets (2) (1996)
Jörg Desel, Wolfgang Reisig
Place or Transition Petri Nets. Petri Nets (1996)
Wolfgang Reisig
Modelling and Verification of Distributed Algorithms. CONCUR (1996)
Wolfgang Reisig
Interleaved progress, concurrent progress, and local progress. Partial Order Methods in Verification (1996)
Jörg Desel, Wolfgang Reisig
The Synthesis Problem of Petri Nets. Acta Informatica 33 (4) (1996)
Wolfgang Reisig
Correctness Proofs of Distributed Algorithms. Dagstuhl Seminar on Distributed Systems (1994)
Jörg Desel, Wolfgang Reisig
The Synthesis Problem of Petri Nets. STACS (1993)
Jörg Desel, Wolfgang Reisig
The synthesis problem of Petri nets Forschungsberichte, TU Munich (1992)
Wolfgang Reisig
Elements of a temporal logic coping with concurrency Forschungsberichte, TU Munich (1992)
Wolfgang Reisig
Combining Petri Nets and Other Formal Methods. Application and Theory of Petri Nets (1992)
Wolfgang Reisig
Concurrent temporal logic Forschungsberichte, TU Munich (1991)
Wolfgang Reisig
Petri Nets and Algebraic Specifications. Theor. Comput. Sci. 80 (1) (1991)
Helmut Plünnecke, Wolfgang Reisig
Bibliography on Petri nets 1990. Applications and Theory of Petri Nets (1990)
Wolfgang Reisig
Temporal Logic and Causality in Concurrent Systems. Concurrency (1988)
Wolfgang Reisig
Towards a temporal logic of causality and choice in distributed systems. REX Workshop (1988)
Wolfgang Reisig
Concurrency is more fundamental than interleaving. Bull. EATCS 35 (1988)

Wolfgang Reisig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Reisig