1. Agerwala T.: Putting Petri Nets to Work. Computer, December, pp. 85–94.
2. Andre C., Armand P., Boeri F. Synchronic relations and applications in parallel computation. Digital Process. Vol.5, n°2, pp. 99–113.
3. Berthomieu B.: Analyse structurelle des réseaux de Pétri, Méthodes et outils. Thèse Doc. Ing., Univ. Paul Saba-tier, Toulouse, Septembre.
4. Jensen K.: How to find invariants for Colored Petri Nets. DAIMI PB-120 Computer Science Departament, Aarhus University, May, pp. 1–20.
5. Lautenbach K., Schmid H.A.: Use of Petri Nets for proving correctness of concurrent process systems. IFIP 74 North Holland Pub. Co., pp. 187–191.