- A Primer in Petri Net Design
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 1: Petri Nets: Central Models and Their Properties
- Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
- Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency