- A Primer in Petri Net Design
- Petri Nets: An Introduction
- 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
- Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets