1. D. Austry, G. Boudol: "Algèbre de processus et synchronisation", Theoret. Comput. Sci. 30 (1984)
2. Lecture Notes in Comput. Sci.,1980
3. G.W. Brams: "Réseaux de Petri: théorie et pratique", (Masson, Paris, 1983)
4. R.H. Campbell, P.E. Lauer: "Formal semantics for a class of high-level primitives for coordinating concurrent processes". Acta Informatica 5 (1975), 247–332
5. Lecture Notes in Comput. Sci.;U. Goltz,1984