Abstract
We investigate the concurrent behaviour of elementary net systems in terms of partial word languages. We obtain its definability by existential sentences of the monadic second order logic. The class of these languages of λ-free labeled EN systems is closed under conjunction, disjunction and projection but not under complementation. This implies that existential sentences of the considered logic do not necessarly define the behaviour of these EN systems. A similar study is made for unlabeled EN systems, too.
Preview
Unable to display preview. Download preview PDF.
References
W. BRAUER, W. REISIG, G. ROZENBERG, editors, Petri Nets: Central Models and Their Properties, part 1, and, Petri Nets: Applications and Relationships to Other Models, part 2, Proceedings, Advances in petri nets 1986, LNCS 254 and 255, Springer-Verlag (1987)
J.R. BÜCHI, Weak second-order arithmetic and finite automata, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 6 (1960)
J. GRABOWSKI, On partial languages, Annales Soc. Math. Polonae, series IV: Fundamenta Informaticae IV.2 (1981)
P. GRAUBMANN, Construction of EN systems with a given trace behaviour, in Proceedings of the 8th European Workshop ... of Petri Nets, Zaragoza, 1987
M. HACK, Petri net languages, MIT — Technical report 159, (1975)
M. JANTZEN, Language theory of Petri nets, in [Bra,Rei,Roz]
A. KIEHN, On the concurrent behaviour of Petri nets, Universität Hamburg, Informatik-Bericht Nr. 120, (1986)
E. OCHMANSKI, Occurrence traces — Processes of elementary net systems, in Proceedings of the 8th European Workshop ... of Petri Nets, Zaragoza, 1987
M. PARIGOT, E. PELZ, A logical approach of Petri net languages, TCS 39 (1985)
E. PELZ, Infinitary languages of Petri nets and logical sentences, Advances in Petri nets 1987, LNCS 266, ed. by G. Rozenberg, Springer-Verlag (1987)
J.L. PETERSON, Petri net theory and the modeling of systems, Prentice-Hall, (1981)
P. STARKE, Processes in Petri nets, in Fundamentals of Computation theory, LNCS 117, ed. by F. Gécseg, Springer-Verlag (1981) also as full version: Elektronische Informationsverarbeitung und Kybernetik EIK 17, 8/9, (1981)
G. ROZENBERG, Behaviour of elementary net systems, in [Bra,Rei,Roz]
P.S. THIAGARAJAN, Elementary net systems, in [Bra,Rei,Roz]
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pelz, E. (1990). About the concurrent behaviour of EN systems: Definability and closure results. In: Rozenberg, G. (eds) Advances in Petri Nets 1989. APN 1988. Lecture Notes in Computer Science, vol 424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52494-0_37
Download citation
DOI: https://doi.org/10.1007/3-540-52494-0_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52494-6
Online ISBN: 978-3-540-46998-8
eBook Packages: Springer Book Archive