1. Breuer W. (ed.), Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol.80, Springer 1980.
2. Elrad T., Francez N., Decomposition of Distributed Programs into Communication-Closed Layers, Science of Programming 2, 1982, pp.155–173.
3. Hoare C.A.R., Communicating Sequential Processes, In: McKeag R.H. and Macnaghten A.M. (eds.), On the Construction of Programs, Cambridge Univ. Press, Cambridge-New-York, 1980, pp. 229–254.
4. Janicki R., Lauer P.E., Devillers R., Maximally Concurrent Evolution of Non-Sequential Systems, Proc. of the 4th European Workshop on Applications and Theory of Petri Nets, Toulouse, 1983, pp. 188–202.
5. Janicki R., A Formal Semantics for Concurrent Systems with a Priority Relation (Revised Version), Report R 86-1, Institute of Electronic Systems, Aalborg University, 1986.