Wolfgang Reisig

Wolfgang Reisig's AcademicInfluence.com Rankings

Wolfgang Reisig

Computer Science

#8078

World Rank

#8499

Historical Rank

Database

#5116

World Rank

#5314

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Wolfgang Reisig's Degrees

PhD Computer Science Karlsruhe Institute of Technology

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Wolfgang Reisig Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Wolfgang Reisig's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Lectures on Petri Nets I: Basic Models (1996) (964)
Application and Theory of Petri Nets (1982) (842)
Petri Nets: Applications and Relationships to Other Models of Concurrency (1987) (374)
Petri Nets and Algebraic Specifications (1991) (315)
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies (2013) (312)
Lectures on Concurrency and Petri Nets (2003) (304)
Petri Nets: Central Models and Their Properties (1986) (272)
Place or Transition Petri Nets (1996) (257)
A Primer in Petri Net Design (1992) (253)
The Non-sequential Behavior of Petri Nets (1983) (242)
Understanding Petri nets (1995) (212)
An Operating Guideline Approach to the SOA (2005) (166)
Modeling in Systems Biology, The Petri Net Approach (2010) (127)
Inter-operability of Workflow Applications: Local Criteria for Global Soundness (2000) (122)
Lectures on Petri Nets II: Applications (1996) (118)
Distributed algorithms: modeling and analysis with Petri nets (1998) (108)
ASM-based Semantics for BPEL: The Negative Control Flow (2005) (103)
The synthesis problem of Petri nets (1993) (101)
Applications and Theory of Petri Nets 2004 (2004) (99)
Petri Nets with Individual Tokens (1982) (82)
Petri Nets in Software Engineering (1986) (68)
Place/Transition Systems (1986) (67)
Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness (1984) (64)
Analyzing BPEL4Chor: Verification and Participant Synthesis (2007) (59)
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets (1996) (59)
Application and Theory of Petri Nets 1996 (1996) (49)
Lectures on Petri nets : advances in Petri nets (1998) (44)
Advances in Petri nets 1986, part I on Petri nets: central models and their properties (1987) (42)
Processes of Place/Transition-Nets (1983) (41)
An Algebraic View on Petri Nets (1997) (40)
Carl Adam Petri and "Petri Nets" (2007) (39)
A Branching-Process-Based Method to Check Soundness of Workflow Systems (2016) (39)
Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986 (1987) (38)
On Gurevich's theorem on sequential algorithms (2003) (35)
Temporal Logic and Causality in Concurrent Systems (1988) (34)
The Semantics of a Net is a Net (1987) (33)
Modeling- and Analysis Techniques for Web Services and Business Processes (2005) (33)
Petri Net Models of Distributed Algorithms (1995) (32)
CSP-programs with individual tokens (1985) (31)
Algebraic System Nets for ModellingDistributed Algorithms (1996) (30)
The Expressive Power of Abstract-State Machines (2003) (28)
Bibliography of Petri nets (1986) (26)
Informal Introduction to Petri Nets (1996) (24)
Simple Composition of Nets (2009) (24)
Abstract State Machines for the Classroom (2008) (23)
Towards a temporal logic of causality and choice in distributed systems (1988) (22)
Compensation in Workflow Nets (2006) (22)
The concepts of Petri nets (2015) (21)
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II (1986) (21)
Hazard detection in a GALS wrapper: a case study (2005) (21)
The role of business processes in service oriented architectures (Editorial) (2007) (20)
Embedded System Description Using Petri Nets (1986) (19)
A strong part of concurrency (1986) (18)
Modelling and Analysing Resilient Cyber-Physical Systems (2019) (18)
Distributed Abstract State Machines and Their Expressive Power (2006) (17)
A Graph Grammar Representation of Non-Sequential Processes (1980) (17)
Bibliography on Petri nets 1990 (1990) (17)
Associative composition of components with double-sided interfaces (2018) (17)
An ASM-Characterization of a Class of Distributed Algorithms (2009) (17)
The computable kernel of Abstract State Machines (2008) (17)
Towards a Theory of Services (2008) (14)
Deterministic buffer synchronization of sequential processes (1982) (14)
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1980) (14)
The Role of Business Processes in Service Oriented Architectures Dagstuhl Seminar (2006) (12)
Distributed Algorithms for Networks of Agents (1996) (12)
Interleaved progress, concurrent progress, and local progress (1997) (12)
Combining Petri Nets and Other Formal Methods (1992) (12)
Verification of Distributed Algorithms with Algebraic Petri Nets (1997) (12)
Petri net based verification of distributed algorithms: An example (1997) (11)
Petri Nets and Business Process Management (2008) (11)
Weighted Synchronic Distances (1980) (11)
System Design Using Petri Nets (1983) (11)
Computation semantics of the functional scientific workflow language Cuneiform* (2017) (11)
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (2020) (10)
Modelling service-oriented systems and cloud services with Heraklit (2020) (10)
Place-Transition Nets (1992) (9)
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY (2003) (9)
Services as a Paradigm of Computation (2007) (8)
Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (1987) (8)
Proceedings of the 17th International Conference on Application and Theory of Petri Nets (1996) (7)
Certification of Distributed Algorithms Solving Problems with Optimal Substructure (2015) (7)
Modelling and Verification of Distributed Algorithms (1996) (7)
The Synthesis Problem (2021) (6)
Analysis Techniques for Service Models (2006) (6)
Two Alterative Definitions of Synchronic Distance (1980) (6)
Concurrency is more fundamental than interleaving (1988) (5)
Application and theory of Petri nets : selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23-26 September 1980, Bad Honnef, 28-30 September 1981 (1982) (5)
Correctness Proofs of Distributed Algorithms (1994) (5)
Challenges in a Service-Oriented World (2007) (5)
Nets Consisting of Places and Transistions (1985) (5)
Remarks on Egon Börger: “Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11:305–318” (2013) (4)
On the Expressive Power of Petri Net Schemata (2005) (4)
Petri Net Based Verification of Distributed Algorithms (1996) (4)
The Universal Net Composition Operator (2009) (4)
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines (2007) (4)
Towards a conceptual foundation of service composition (2018) (4)
06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures (2006) (3)
Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings (2004) (3)
A Note on the Representation of Finite Tree Automata (1979) (3)
Compositional temporal logic based on partial order (2004) (3)
Carl Adam Petri: Ideas, Personality, Impact (2019) (3)
Logic of involved variables - system specification with temporal logic of distributed actions (2003) (2)
In Memoriam: Carl Adam Petri (2013) (2)
Inheritance of business processes: Four problems - one solution (1999) (2)
Properties of Systems (1985) (2)
Abstract State Machines for the Classroom – The Basics – (2006) (2)
The Decent Philosophers: An Exercise in Concurrent Behaviour (2007) (2)
Recursive Nets (1980) (2)
Composition of Component Models - A Key to Construct Big Systems (2020) (2)
Introductory Examples and Basic Definitions (1985) (2)
Formal methods for concurrent systems design: a survey (1993) (2)
Associative Composition of Reactive Systems (2017) (2)
Systems Mining with Heraklit: The Next Step (2022) (1)
The Linear Theory of Multiset Based Dynamic Systems (2000) (1)
Nets Consisting of Conditions and Events (1985) (1)
Petri Nets in the Biosciences (2014) (1)
Composition: A Fresh Look at an Old Topic (2018) (1)
Schemes for Nonsequential Processing Systems (1980) (1)
Informatics as a Science (2020) (1)
Basic Concepts (2021) (1)
Marking and Covering Graphs (2013) (1)
Asynchronous Communication (2014) (1)
Principles of System Design with Nets (1992) (1)
Message sequence charts ADVANCES IN PETRI NETS (2004) (1)
The concepts of Petri nets (2014) (0)
The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006 (2006) (0)
Traps and Cotraps of Elementary System Nets (2013) (0)
Modelling and Analysing Resilient Cyber-Physical Systems Conference or Workshop Item (2019) (0)
Verication and Participant Synthesis (2007) (0)
Book Introduction by the Authors (2014) (0)
Associative composition of components with double-sided interfaces (2018) (0)
Service Orientation as a Paradigm of Computing (2016) (0)
State Properties of Elementary System Nets (1998) (0)
Case Studies Continued: Acknowledged Messages (1998) (0)
The 10th advanced summer school on service-oriented computing (2017) (0)
Prädikat/Ereignis-Netze (1982) (0)
The Computable Kernel of ASM (2003) (0)
Towards an ASM Thesis for Unconventional Algorithms (2000) (0)
Further Notations for Elementary System Nets (2013) (0)
The 9th advanced summer school on service-oriented computing, June 28–July 3, Hersonissos, Crete, Greece (2016) (0)
Analysis Techniques for Service Models (Invited Paper) (2007) (0)
Individual-Token Nets (1992) (0)
Liveness Criteria for Special Classes of Nets (1985) (0)
Specification, modelling and verification of concurrent discrete event systems (1993) (0)
Topic 9 Distributed Algorithms (2003) (0)
Traps and Place Invariants of Generic System Nets (2013) (0)
What Should we Teach About Petri Nets? (2012) (0)
On the Expressive Power of Unbounded-Nondeterministic Abstract State Machines (2006) (0)
The 10th advanced summer school on service-oriented computing (2017) (0)
Breathing Life into Models: The Next Generation of Enterprise Modeling (2022) (0)
Formal Analysis of Case Studies (1998) (0)
Concurrent Progress of Elementary System Nets (1998) (0)
Place Invariants of Elementary System Nets (2013) (0)
The 9th advanced summer school on service-oriented computing, June 28–July 3, Hersonissos, Crete, Greece (2017) (0)
Condition-Event Nets (1992) (0)
4.3 System Design Using Petri Nets (2014) (0)
Discrete models of continuous behavior of collective adaptive systems (2022) (0)
Conceptual Modeling of Event-Based Systems (2019) (0)
Modularization, Composition, and Hierarchization of Petri Nets with Heraklit (2022) (0)
Distributed Abstract State Machines (2006) (0)
Reachability in Elementary System Nets (2013) (0)
Case Studies Continued: Network Algorithms (1998) (0)
Processes of Condition/Event-Systems (1985) (0)
Holomorphic Vector Bundles on Ruled Surfaces and Their Blowing Ups (1998) (0)
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed (2008) (0)
The decent philosophers: an exercise in operational semantics of concurrent systems (1989) (0)
Remarks on Egon Börger: “Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11:305–318” (2013) (0)
Topic Introduction (2003) (0)
How Expressive Are Petri Net Schemata? (2006) (0)
Invited Speaker: Deciding Properties of Services (2009) (0)
Sequential and Distributed Runs (2013) (0)
The computable kernel of Sequential Abstract-State Machines (2004) (0)
Application and theory of Petri nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings (1996) (0)
Nets As a Design Method (1992) (0)
Refinement and Embedding (1992) (0)
Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices (2022) (0)
Towards Axiomatic Foundations for Conceptual Modeling: An Example (2022) (0)
Combining Traps and Place Invariants of Elementary System Nets (2013) (0)
Interleaved Progress of Elementary System Nets (1998) (0)
Petri Nets and Business Process Management (Dagstuhl Seminar 98271) (2021) (0)
Channel-Agency Nets (1992) (0)
Common Special Case: Elementary System Nets (2013) (0)
Yuri, Logic, and Computer Science (2010) (0)
Concurrent Progress of System Nets (1998) (0)
On Gurevich ’ s Theorem for Sequential ASM (2002) (0)
ICWS 2020 Organizing Committee (2020) (0)
A Fresh Look at Petri Net Extensions (2012) (0)
Well-Formed System Nets (2013) (0)
Free-Choice Nets (2013) (0)
Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471) (2018) (0)
Predicate/Event-Nets (1985) (0)
State Properties of System Nets (1998) (0)
Towards a conceptual foundation of service composition (2017) (0)
Modeling Erlang processes as Petri nets (2018) (0)
Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations (1981) (0)
Composition of Nets (2013) (0)
Interleaved Progress of System Nets (1998) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Wolfgang Reisig?

Wolfgang Reisig is affiliated with the following schools:

Humboldt University of Berlin

Wolfgang Reisig's Academic­Influence.com Rankings