@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://www.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://www.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://www.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, Tome 26 (1992) no. 1, pp. 19-44. http://www.numdam.org/item/ITA_1992__26_1_19_0/
1. , Graphs and Hypergraphs, North Holland, 1973. | MR | Zbl
2. and , Notations and Terminology on Petri Net Theory, Arbeitspapiere der GMD 195, Bonn, 1986.
3. , , and , Fully Concurrent Bisimulation Technical report, Université libre de Bruxelles, 1989, and Acta Informatica, 1991, 28, pp. 231-264. | MR | Zbl
4. , 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. , 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. and , Processes of Place/Transition-Nets in Proceedings ICALP 83, LNCS, 154, Springer-Verlag, 1983. | MR | Zbl
8. , On partial languages, Annales Soc. Math. Polonae, series IV: Fund. Inform., 1981, IV. 2, pp. 427-298. | MR | Zbl
9. , Petri net Languages, MIT-Technical Report 159, MIT Press, Cambridge, 1975.
10. and , 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. , Place/Transitions-systems: Concurrent behaviour and logic, Rapport LRI No. 571, Université Paris-Sud, 1990.
12. , 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. , 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. and , 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. , Transformation of a Petri Net into a Petri Net with Incidence Matrix on {0, 1}, Petri Nets Newsletter, 1986, 23, pp. 15-20.
16. , Le contrôle des systèmes asynchrones: Concepts, propriétés, analyse statique, Thèse, U.S.M. Grenoble, 1979.
17. and , Infinite Behaviour and Fairness in Petri Nets, in Advances in Petri nets 1984, LNCS, 188, G. ROZENBERG Ed., Springer-Verlag,, 1985. | MR | Zbl
18. , 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. , Bisimulation and action refinement, in STACS 91, C. CHOFFRUT and M. JANTZEN Eds., LNCS, 480, Springer-Verlag, 1991. | MR | Zbl
