| Dynamical Quantities in Net Systems | 1 | 1.28 | 2002 |
| Executable Petri net models for the analysis of metabolic pathways | 48 | 5.29 | 2001 |
| Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets | 5 | 0.75 | 1994 |
| Formal Verification of an Arbiter Cascade | 14 | 6.42 | 1992 |
| Net Theory and Application (Invited Paper) | 0 | 0.34 | 1986 |
| Projections of C/E systems | 4 | 1.85 | 1985 |
| Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers | 25 | 17.59 | 1985 |
| Generalized Handle Grammars and Their Relation to Petri Nets | 5 | 0.85 | 1984 |
| Petri nets and their relation to graph grammars | 7 | 2.51 | 1982 |
| A Diagram Editor for Line Drawings with Inscriptions | 5 | 1.40 | 1982 |
| Well-Formed Flow Charts for Concurrent Programming. | 0 | 0.34 | 1982 |
| S-Invariance in Predicate/Transition Nets | 15 | 6.81 | 1982 |
| Bipolar Synchronization Systems | 2 | 1.99 | 1980 |
| Substitution Systems - A Family of System Models Based on Concurrency | 2 | 11.53 | 1980 |
| The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets | 45 | 13.10 | 1979 |
| Facts in Place/Transition-Nets | 18 | 17.49 | 1978 |
| The Calculus of Facts | 24 | 22.95 | 1976 |
| Elements of General Net Theory | 66 | 30.59 | 1975 |
| A Dictionary of Some Basic Notions of Net Theory | 45 | 17.07 | 1975 |
| Extended Simple Regular Expressions | 4 | 0.63 | 1975 |
| Belästigung der Menschen durch Computer | 1 | 0.43 | 1975 |
| Synchronisationsgraphen | 3 | 0.96 | 1973 |
