Abstract
We formulate the notion of a regular event structures and conjecture that they correspond exactly to finite 1-safe Petri nets. We offer a partial result in support of the conjecture. This result is in terms of a natural subclass of regular event structures that admit a sensible labeling with Mazurkiewicz trace alphabets.
A major part of this work was done at BRICS, Computer Science Department, University of Aarhus, Aarhus, Denmark.
On leave from Chennai Mathematical Institute, 92 G.N. Chetty Road, Chennai, India
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
V. Diekert and G. Rozenberg: The Book of Traces, World Scientific, Singapore (1995)
J. Esparza: Model Checking Using Net Unfoldings, Science of Computer Programming 23 (1996) 151–195
J. Esparza, S. Roemer and W. Vogler: An Improvement of McMillan’s Unfolding Algorithm, Proc. of TACAS’96, LNCS 1055 (1996) 87–106.
K.L. McMillan: A Technique of a State Space Search Based on Unfolding, Formal Methods in System Design 6(1) (1995) 45–65.
M. Mukund and M.S. Sohoni: Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice, Proc. FST & TSC’93, LNCS 761 (1993) 388–399.
M. Nielsen: Private communication (2001).
M. Nielsen, G. Plotkin and G. Winskel: Petri Nets, Event Structures and Domains I, Theor. Comput. Sci., 13 (1980) 86–108.
M. Nielsen, G. Rozenberg and P.S. Thiagarajan: Transition Systems, Event Structures and Unfoldings, Information and Computation, 118(2), (1995) 191–207.
W. Penczek and R. Kuiper: Traces and Logic, In: V. Diekert and G. Rozenberg (Eds.), The Book of Traces, World Scientific, Singapore (1995) 307–379.
B. Rozoy and P.S. Thiagarajan: Event Structures and Trace Monoids, Theoretical Computer Science, 91 (1991) 285–313.
P.S. Thiagarajan: Regular Trace Event Structures, Technical Report, BRICS RS-96-32, Computer Science Department, Aarhus University, Aarhus, Denmark (1996).
W. Thomas: Automata on Infinite Objects, In: J. van Leeuwen (Ed.) Handbook of Theoretical Computer Science, Volume B, North-Holland, Amsterdam (1990) 130–191.
I. Walukiewicz. Private communication.
G. Winskel and M. Nielsen: Models for Concurrency, In: Handbook of Logic in Computer Science, Vol.IV, Eds.: S. Abramsky, D. Gabaay and T.S.E. Maibaum, Oxford University Press, (1995).
W. Zielonka: Notes on Finite Asynchronous Automata, R.A.I.R.O.— Inf. Théor. et Appl., 21 (1987) 99–135.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Thiagarajan, P. (2002). Regular Event Structures and Finite Petri Nets: A Conjecture. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds) Formal and Natural Computing. Lecture Notes in Computer Science, vol 2300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45711-9_14
Download citation
DOI: https://doi.org/10.1007/3-540-45711-9_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43190-9
Online ISBN: 978-3-540-45711-4
eBook Packages: Springer Book Archive