Abstract
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary property.We consider the problem of lifting the categorical connection between prime event structures and Mazurkiewicz’ traces to this more general setting. Using a generic approach it is shown how certain subcategories of local event structures and local trace languages can be related. Moreover, every coreflection between subcategories generalizing the connection between prime event structures and Mazurkiewicz’ traces fits into this approach.
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
Degano, P., Gorrieri, R., Vigna, S.: On Relating some Models for Concurrency. TAPSOFT, LNCS 668 (1993) 15–30
Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: A Trace Semantics for Petri Nets. Information and Computation 117 (1995) 98–114
Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An Event Structure Semantics for General Petri Nets. Theoretical Computer Science 153 (1996) 129–170
Kleijn, H.C.M., Morin, R., Rozoy, B.: Event Structures for Local Traces. Electronic Notes in Theoretical Computer Science 16-2 (1998)-16 pages
Mazurkiewicz, A.: Trace Theory. Advanced Course on Petri Nets, Bad Honnef, Germany, LNCS 254 (1987) 269–324
Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, events structures and domains, Part I. Theoretical Computer Science 13 (1981) 85–108
Nielsen, M., Sassone, V., Winskel, G.: Relationships between Models of Concurrency. LNCS 803 (1994) 425–475
Rozoy, B., Thiagarajan, P.S.: Trace monoids and event structures. Theoretical Computer Science 91 (1991) 285–313
Pierce, B.C.: Category Theory for Computer Scientists. (The MIT Press, 1991)
Winskel, G., Nielsen, M.: Models for Concurrency. In Handbook of Logic in Computer Science, Vol. 4: Semantic Modelling, S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, eds (Oxford University Press, Oxford, 1995) 1–148
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kleijn, H.C.M., Morin, R., Rozoy, B. (1999). A general categorical connection between local event structures and local traces. In: Ciobanu, G., Păun, G. (eds) Fundamentals of Computation Theory. FCT 1999. Lecture Notes in Computer Science, vol 1684. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48321-7_28
Download citation
DOI: https://doi.org/10.1007/3-540-48321-7_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66412-3
Online ISBN: 978-3-540-48321-2
eBook Packages: Springer Book Archive