Normalization of place/transition-systems preserves net behaviour
Pelz, E.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992), p. 19-44 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1992-01-01
@article{ITA_1992__26_1_19_0,
     author = {Pelz, E.},
     title = {Normalization of place/transition-systems preserves net behaviour},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {26},
     year = {1992},
     pages = {19-44},
     mrnumber = {1155343},
     zbl = {0753.68075},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1992__26_1_19_0}
}

Pelz, E. Normalization of place/transition-systems preserves net behaviour. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992) pp. 19-44. http://gdmltest.u-ga.fr/item/ITA_1992__26_1_19_0/

1. C. Berge, Graphs and Hypergraphs, North Holland, 1973. | MR 357172 | Zbl 0254.05101

2. E. Best and C. Fernandez, Notations and Terminology on Petri Net Theory, Arbeitspapiere der GMD 195, Bonn, 1986.

3. E. Best, R. Devillers, A. Kiehn and L. Pomello, Fully Concurrent Bisimulation Technical report, Université libre de Bruxelles, 1989, and Acta Informatica, 1991, 28, pp. 231-264. | MR 1093250 | Zbl 0718.68034

4. G.W. Brams, Réseaux de Petri: Théorie et Pratique, Tome 1 et 2, Masson, 1982. | MR 692364 | Zbl 0501.68027

5. W. BRAUER, W. REISIG and G. ROZENBERG Eds., Petri Nets: Central Models and Their Properties, Part I, Proceedings, Advances in Petri Nets 1986, LNCS, 254, Springer-Verlag, 1987. | MR 902651 | Zbl 0619.00023

6. U. Goltz, On Condition/Event Representations of Place/Transition Systems, in: K. Voss, H.J. GENRICH and G. ROZENBERG Eds, Concurrency and Nets, Springer-Verlag, 1987. | MR 911919 | Zbl 0634.68059

7. U. Goltz and W. Reisig, Processes of Place/Transition-Nets in Proceedings ICALP 83, LNCS, 154, Springer-Verlag, 1983. | MR 727662 | Zbl 0523.68046

8. J. Grabowski, On partial languages, Annales Soc. Math. Polonae, series IV: Fund. Inform., 1981, IV. 2, pp. 427-298. | MR 645249 | Zbl 0468.68088

9. M. Hack, Petri net Languages, MIT-Technical Report 159, MIT Press, Cambridge, 1975.

10. M. Parigot and E. Pelz, A logical approach of Petri net languages, T.C.S., 1985, 39, pp. 155-169, and to appear in Proceedings ESDA'92, ASME-Volume. | MR 821199 | Zbl 0605.68049

11. E. Pelz, Place/Transitions-systems: Concurrent behaviour and logic, Rapport LRI No. 571, Université Paris-Sud, 1990.

12. E. Pelz, Normalisation of Place/Transition-Systems Preserves Net Behaviour, in part II of "Réseaux et Logique", Thèse d'État, Université Paris-Sud, 1990.

13. L. Pomello, Some Equivalence Notions for Concurrent Systems. An Overwiew, in K. Voss, H.J. GENRICH and G. ROZENBERG Eds, Concurrency and Nets, Springer-Verlag, 1987. | MR 864526 | Zbl 0611.68037

14. L. Pomello and C. Simone, A survey of Equivalence Notions for Net Based Systems Systems, Conference at ESPRIT-BRA DEMON meeting, Bonn, June 1989, to appear in Advances in Petri Nets, 1991.

15. S. Schwer, Transformation of a Petri Net into a Petri Net with Incidence Matrix on {0, 1}, Petri Nets Newsletter, 1986, 23, pp. 15-20.

16. J. Sifakis, Le contrôle des systèmes asynchrones: Concepts, propriétés, analyse statique, Thèse, U.S.M. Grenoble, 1979.

17. R. Valk and H. Carstensen, Infinite Behaviour and Fairness in Petri Nets, in Advances in Petri nets 1984, LNCS, 188, G. ROZENBERG Ed., Springer-Verlag,, 1985. | MR 807196 | Zbl 0571.68045

18. W. Vogler, Executions: Their relations to Other Partial Order Semantics of Nets and a Compatible C/E-Representation of P/T-systems, Technical report, TUM-18806, TU München, 1988.

19. W. Vogler, Bisimulation and action refinement, in STACS 91, C. CHOFFRUT and M. JANTZEN Eds., LNCS, 480, Springer-Verlag, 1991. | MR 1101180 | Zbl 0773.68052