1. Krzysztof R. Apt: Logics and Models of Concurrent Systems. Springer-Verlag (1985)
2. W. Brauer, W. Reisig, G. Rozenberg: Advanced Course on Petri Nets. Lecture Notes in Computer Science, Springer-Verlag to appear 1987
3. Michel Diaz: Modeling and Analysis of Communication and Cooperation Protocols using Petri Net Based Models. Tutorial Paper, Proc. of the IFIP WG 6.1. Second Int. Workshop on Protocol Specification, Testing, and Verification, Idyllwild-CA, May 1982, C. Sunshine (ed.) North Holland (1982) also: Computer Networks, vol. 6 no 6 (1982)
4. Edsger W. Dijkstra: Hierarchical Ordering of Sequential Processes. Acta Informatica, 1, S. 115–138 (1971)
5. Stefan Drees et al: Bibliography on Petri Nets. Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin (Germany) internal report 222 (1986)