Wolfgang Reisig

Bio: Wolfgang Reisig is an academic researcher from Humboldt University of Berlin. The author has contributed to research in topics: Petri net & Process architecture. The author has an hindex of 37, co-authored 155 publications receiving 8799 citations. Previous affiliations of Wolfgang Reisig include Technische Universität München & RWTH Aachen University.

Petri Nets: An Introduction

Abstract: 1. Introductory Examples and Basic Definitions.- 1.1 Examples from Different Areas.- 1.2 Examples from Logic Circuits and Operating Systems.- 1.3 Non-Sequential Programs.- 1.4 An Example for Systems Analysis.- 1.5 Some Basic Definitions.- 1.6 Summary and Overview.- Exercises for Chapter 1.- 1. Condition/Event-Systems.- 2. Nets Consisting of Conditions and Events.- 2.1 Cases and Steps.- 2.2 Condition/Event-Systems.- 2.3 Cyclic and Live Systems.- 2.4 Equivalence.- 2.5 Contact-Free C/E-Systems.- 2.6 Case Graphs.- Exercises for Chapter 2.- 3. Processes of Condition/Event-Systems.- 3.1 Partially Ordered Sets.- 3.2 Occurrence Nets.- 3.3 Processes.- 3.4 The Composition of Processes.- 3.5 Processes and Case Graphs.- Exercises for Chapter 3.- 4. Properties of Systems.- 4.1 Synchronic Distances.- 4.2 Some Quantitative Properties of Synchronic Distances.- 4.3 Synchronic Distances in Sequential Systems.- 4.4 Synchronic Distances in Cyclic Systems.- 4.5 Facts.- Exercises for Chapter 4.- 2. Place/Transition-Nets.- 5. Nets Consisting of Places and Transitions.- 5.1 Place/Transition-Nets.- 5.2 Linear Algebraic Representation.- 5.3 Coverability Graphs.- 5.4 Decision Procedures for Some Net Properties.- 5.5 Liveness.- Exercises for Chapter 5.- 6. Net Invariants.- 6.1 S-Invariants.- 6.2 Nets Covered by S-Invariants.- 6.3 The Verification of System Properties Using S-Invariants.- 6.4 Properties of a Sender-Receiver Model.- 6.5 A Seat-Reservation System.- 6.6 The Verification of Facts in C/E-Systems by Means of S-Invariants.- 6.7 T-Invariants.- Exercises for Chapter 6.- 7. Liveness Criteria for Special Classes of Nets.- 7.1 Marked Nets, Deadlocks and Traps.- 7.2 Free Choice Nets.- 7.3 Marked Graphs.- Exercises for Chapter 7.- 3. Nets with Individual Tokens.- 8. Predicate/Event-Nets.- 8.1 An Introductory Example.- 8.2 Predicate/Event-Nets.- 8.3 An Organization Scheme for Distributed Databases.- 8.4 Facts in P/E-Nets.- 8.5 A Normal Form for P/E-Nets.- Exercises for Chapter 8.- 9. Relation Nets.- 9.1 Introductory Examples.- 9.2 Relation Nets.- 9.3 The Translation of P/E-Nets into Relation Nets.- 9.4 Calculation with Multirelations.- 9.5 A Matrix Representation for Relation Nets.- 9.6 S-Invariants for Relation Nets.- 9.7 An Example for Applying S-Invariants: The Verification of Facts.- 9.8 Relation Net Schemes.- Appendix. Mathematical Notions and Notation.- I. Sets.- II. Relations.- III. Mappings, Functions.- IV. Partial Orders.- VII. Vectors and Matrices.- Further Reading.- 1. Some Landmarks in the Development of Net Theory.- 2. Conferences on Petri Nets.- 3. Text Books.- 4. Bibliographies.- 5. References to Chapter 2.- 6. References to Chapter 3.- 7. References to Chapter 4.- 8. References to Chapter 5.- 9. References to Chapter 6.- 10. References to Chapter 7.- 11. References to Chapter 8.- 12. References to Chapter 9.- 13. Modifications and Generalizations of Place/Transition-Nets.- 14. Applications.- 15. Implementation and Automatic Analysis of Nets.- 16. Related System Models.

The non-sequential behaviour of Petri nets

Abstract: The idea of representing non-sequential processes as partially ordered sets (occurrence nets) is applied to place/transition nets (Petri nets), based on the well known notion of process for condition/event-systems. For occurrence nets some theorems relating K -density, cut finiteness, and discreteness are proved. With these theorems the result that a place/transition net is bounded if and only if its processes are K -dense is obtained.

Petri nets: Properties, analysis and applications

Abstract: Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets. >

Workflow Patterns

Abstract: Differences in features supported by the various contemporary commercial workflow management systems point to different insights of suitability and different levels of expressive power. The challenge, which we undertake in this paper, is to systematically address workflow requirements, from basic to complex. Many of the more complex requirements identified, recur quite frequently in the analysis phases of workflow projects, however their implementation is uncertain in current products. Requirements for workflow languages are indicated through workflow patterns. In this context, patterns address business requirements in an imperative workflow style expression, but are removed from specific workflow languages. The paper describes a number of workflow patterns addressing what we believe identify comprehensive workflow functionality. These patterns provide the basis for an in-depth comparison of a number of commercially available workflow management systems. As such, this paper can be seen as the academic response to evaluations made by prestigious consulting companies. Typically, these evaluations hardly consider the workflow modeling language and routing capabilities, and focus more on the purely technical and commercial aspects.