Normalization of place/transition-systems preserves net behaviour
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 26 (1992) no. 1, pp. 19-44.
@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},
     pages = {19--44},
     publisher = {EDP-Sciences},
     volume = {26},
     number = {1},
     year = {1992},
     mrnumber = {1155343},
     zbl = {0753.68075},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_1992__26_1_19_0/}
}
TY  - JOUR
AU  - Pelz, E.
TI  - Normalization of place/transition-systems preserves net behaviour
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1992
SP  - 19
EP  - 44
VL  - 26
IS  - 1
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1992__26_1_19_0/
LA  - en
ID  - ITA_1992__26_1_19_0
ER  - 
%0 Journal Article
%A Pelz, E.
%T Normalization of place/transition-systems preserves net behaviour
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1992
%P 19-44
%V 26
%N 1
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1992__26_1_19_0/
%G en
%F 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, Volume 26 (1992) no. 1, pp. 19-44. http://archive.numdam.org/item/ITA_1992__26_1_19_0/

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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

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 | Zbl

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 | Zbl

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 | Zbl

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 | Zbl