1. P. Behm “Rafael: a tool for analyzing parallel systems in the L environment”. 6th European Workshop on applications and Theory of Petri-nets. Espoo 1985 pp227-254.
2. P. A. Bernstein and N. Goodman “Concurrency Control in Distributed Data Base Systems”, Computing Surveys 13(2) (1981) 185–221.
3. G. W. Brams “Réseaux de Pétri: Théorie et Pratique”. Tome 1. Masson. Paris 1982
4. A. Finkel “Control of a Petri net by a finite automaton”. 3rd Conf. on Fond. of Soft. Techn. and Theor. Comp. Sci. Bangalore 1983.
5. A. Finkel “Boundedness and liveness for monogeneous FIFO nets and for free choice FIFO nets. Applications to analysis of protocols”. Internal report L. R. I. Université Orsay Paris-Sud 1985.