Closure properties of deterministic Petri nets

1. H. CARSTENSEN: "Fairness bei nebenläufigen Systemen", doctoral thesis, Universität Hamburg, september 1986

   Google Scholar 

2. M. HACK: "Petri net languages", Comp. Struct. Group Memo 124, Project MAC, MIT, Cambridge MASS., 1975

   Google Scholar 

3. E. PELZ: "ω-languages of Petri nets and logical sentences", proceedings of the 7th european workshop on Petri nets, Oxford, 1986

   Google Scholar 

4. M. PARIGOT, E. PELZ: "A logical formalism for the study of finite behaviour of Petri nets", in Advances in Petri nets 1985, ed. by G. Rozenberg, Springer-Verlag, 1986

   Google Scholar 

5. J.L. PETERSON, "Petri net theory and the modeling of systems", Prentice-Hall, Englewood Cliffs, NJ, 1981

   Google Scholar 

6. G. ROZENBERG, R. VERRAEDT, "Subset languages of Petri nets, Part II: Closure properties", TCS 27, pp 85–108, North-Holland, 1983

   Google Scholar 

7. G. VIDAL-NAQUET, "Deterministic Languages for Petri nets", in the proceedings of of the first european workshop on Petri nets, Strasbourg, 1980, also in Application and theory of Petri Nets, ed. by C. Girault and W. Reisig, Informatik Fachberichte 52, Springer-Verlag, 1982. This article summarizes the 5th section of his thesis: G. VIDAL-NAQUET, "Rationalité et déterminisme dans les réseaux de Petri", thèse d'Etat, Université Pierre et Marie Curie, Paris, 1981

   Google Scholar 

8. G. VIDAL-NAQUET, personal communication, 1986

   Google Scholar 

9. M. YOELI, T. ETZION, "Behavioral equivalence of concurrent systems", in the proceedings of the third european workshop on Petri nets, Varenna, 1982

   Google Scholar 

Download references