1. and (eds), Petri Nets: I—Central Models and Their Properties and II—Applications and Relationships to Other Models of Concurrency; Lecture Notes in Computer Science, 254–255, Springer-Verlag, 1987.
2. Petri Net Theory and the Modelling of Systems, Prentice-Hall, 1981.
3. Formal specification techniques for parallel and distributed systems—a short review, in J. Teller (ed.) Proceedings of the 3rd Joint Ada Europe/AdaTEC Conference, Brussels, 1984, pp. 281–294.
4. System modelling with high-level Petri nets
5. and , Structured Programming, Academic Press, N. Y., 1972.