Petri net languages and infinite subsets of Nm

Journal of Computer and System Sciences

Volumn 59, Issue 3, 1999, Pages 373-391

  Gaubert, Stéphane ^a   Giua, Alessandro ^b  

^a INRIA   (France)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SET THEORY;

PETRI NET LANGUAGES;

COMPUTATIONAL LINGUISTICS;

EID: 0033285153     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1999.1634     Document Type: Article

References (27)

1. Marsan M. Ajmone, Balbo G., Conte G., Donatelli S., Franceschinis G. Modelling with Generalized Stochastic Petri Nets. Parallel Computing Series. 1995;Wiley, New York.
2. Baccelli F., Cohen G., Olsder G. J., Quadrat J. P. Synchronization and Linearity. 1992;Wiley.
3. Berstel J. Transductions and Context-free Languages. 1979;Teubner, Stuttgart.
4. Berstel J., Reutenauer C. Rational Series and Their Languages. EATCS Monographs in Theoretical Computer Science. 1988;Springer-Verlag, New York/Berlin.
5. Conway J. H. Regular Algebra and Finite Machines. 1971;Chapman & Hall, London/New York.
6. David R., Alla H. Petri Nets and Grafcet. 1992;Prentice-Hall, Englewood Cliffs.
7. Eilenberg S., Schützenberger M. P. Rational sets in commutative monoids. J. Algebra. 13:1969;173-191.
8. S. Gaubert and A. Giua, Petri net languages with infinite sets of final markings, in Proc. IEEE of WODES'96, Edinburgh, UK, August 1996, p. 326-331.
9. Gaubert S., Giua A. Deterministic weak-and-marked Petri net languages are regular. IEEE Trans. Automat. Control. 41:1996;1802-1803.
10. Giua A. Technical Report. February 1994.
11. Giua A., DiCesare F. Decidability and closure properties of weak Petri net languages in supervisory control. IEEE Trans. on Automatic Control. 40:1995;906-910.
12. Guaiana G., Restivo A., Salemi S. Star-free trace languages. Theoret. Comput. Sci. 97:1992;301-311.
13. Holloway L. E., Krogh B. H., Giua A. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications. 1997;Kluwer Academic, Dordrecht/Norwell. p. 151-190.
14. Jantzen M. On the hierarchy of Petri net languages. R.A.I.R.O. Theoret. Inform. 13:1979;19-30.
15. Jantzen M., Valk R. Formal properties of place/transition nets. Brauer W. Net Theory and Applications. LNCS. 84:1980;165-212 Springer-Verlag.
16. Jantzen M. Language theory of Petri nets. Advances in Petri Nets, 1986. LNCS. 254-I:1987;Springer-Verlag. p. 397-412.
17. Li Y., Wonham W. M. Control of vector discrete-event systems - Part I: The base model. IEEE Trans. on Automatic Control. 38:1993;1215-1227.
18. Murata T. Petri nets: Properties, analysis and applications. Proc. IEEE. PROC-77:1989;541-580.
19. Parigot M., Pelz E. A logical approach of Petri net languages. Theor. Comp. Sci. 39:1985;155-169.
20. Pelz E. Closure properties of deterministic Petri nets. Proc. STACS 1987. LNCS. 247:1987;Springer-Verlag. p. 371-382.
21. Peterson J. L. Petri Net Theory and the Modeling of Systems. 1981;Prentice-Hall.
22. Pin J. E. Variétés de langages formels. 1984;Masson, Paris.
23. Ramadge P. J., Wonham W. M. The control of discrete event systems. Proc. IEEE. 77:1989;81-98.
24. Reisig W. Petri Nets: An Introduction. 1985;Springer-Verlag.
25. Reutenauer C. Aspects Mathématiques des réseaux de Petri. 1988;Masson, Paris.
26. Sreenivas R. S. A note on deciding the controllability of a language K with respect to a language L. IEEE Trans. on Automatic Control. 38:1993;658-662.
27. Vidal-Naquet G. Deterministic Petri net languages. Girault C., Reisig W. Application and Theory of Petri Nets. Informatick-Fachberichte. 52:1982;198-202 Springer-Verlag.