On a normal form of Petri nets

Acta Cybernetica

Volumn 12, Issue 3, 1996, Pages 295-308

  Ţiplea, Ferucio Laurenţiu ^a,b   Katsura, Masashi ^a   Ito, Masami ^a  

^a KYOTO SANGYO UNIVERSITY   (Japan)

^b ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 3342911519     PISSN: 0324721X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. E. Best, C. Fernandez: Notations and Terminology on Petri Net Theory, Arbeitspapiere der GMD 195, 1986.
2. E. Best, C. Fernandez: Nonsequential Processes. A Petri Net Point of View, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1988.
3. S. Crespi-Reghizzi, D. Mandrioli: Petri Nets and Szilard Languages, Information and Control 33, 1977, 177-192.
4. M. Jantzen: Language Theory of Petri Nets, LNCS 254, Springer-Verlag, 1986, 379-412.
5. M. Parigot, E. Pelz: A Logical Approach of Petri Net Languages, Theoretical Computer Science 39, 1985, 155-169.
6. E. Pelz: Normalization of Place/Transition-Systems Preserves Net Behaviour, in: Reseaux et logique. L'etude des semantique de la concurrence dans le cadre des reseaux de Petri (These d'etat), Universite de Paris-Sud, 1990 (also in: RAIRO Informatique Theorique 26, no.1, 1992, 19-44).
7. E. Pelz: Normalization of Place/Transition-Systems Preserves Net Behaviour, in: Reseaux et logique. L'etude des semantique de la concurrence dans le cadre des reseaux de Petri (These d'etat), Universite de Paris-Sud, 1990 (also in: RAIRO Informatique Theorique 26, no.1, 1992, 19-44).
8. E. Pelz: Place/Transition-Systems. Concurrent Behaviour and Logic, Report LRI 571, 1990.
9. J.L. Peterson. Computation Sequence Sets, Journal of Computer and System Sciences, vol. 13, 1976, 1-24.
10. J.L. Peterson: Petri Net Theory and the Modelling of Systems, Prentice-Hall, 1981.
11. W. Reisig: Petri Nets. An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
12. W. Reisig: Place Transition Systems, LNCS 254, Springer-Verlag, Berlin, Heidelberg, 1986.
13. G. Rozenberg, R. Verraedt: Restricting the In-Out Structure of Graphs of Petri Nets. A Language Theoretic Point of View, Fundamenta Informaticae VII.2, 1984, 151-189.
14. F.L. Tiplea, C. Ene: Hierarchies of Petri Net Languages and a Super-Normal Form, in Proc. of the 2nd Intern. Conf. "Developments in Languages Theory", 1995, Magdeburg (Germany).
15. R. Valk: Infinite Behaviour of Petri Nets, Theoretical Computer Science 25, 1983, 311-341.
16. R. Valk: Infinite Behaviour and Fairness, in: Advances in Petri Nets 1986, LNCS 254, Springer-Verlag, 1986, 377-396.