Abstract
We propose a generalisation of Winskel’s event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality.
This work was supported by EPSRC under grant number GR/S22097.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Boudol, G.: Flow event structures and flow nets. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol. 469, pp. 62–95. Springer, Heidelberg (1990)
van Glabbeek, R.J., Plotkin, G.D.: Configuration structures (extended abstract). In: Kozen, D. (ed.) Proc. LICS 1995, San Diego, USA, pp. 199–209 (1995)
van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and Petri nets (2004), Draft at http://theory.stanford.edu/~rvg/event/
Gunawardena, J.: Causal automata. TCS 101, 265–288 (1992)
Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An event structures semantics for general Petri nets. TCS 153, 129–170 (1996)
Katoen, J.-P.: Quantitative and Qualitative Extensions of Event Structures, PhD thesis, Department of Computer Science, University of Twente (1996)
Langerak, R.: Transformations and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente (1992)
Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. TCS 13(1), 85–108 (1981)
Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)
Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 364–397. Springer, Heidelberg (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Glabbeek, R., Plotkin, G. (2004). Event Structures for Resolvable Conflict. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds) Mathematical Foundations of Computer Science 2004. MFCS 2004. Lecture Notes in Computer Science, vol 3153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28629-5_42
Download citation
DOI: https://doi.org/10.1007/978-3-540-28629-5_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22823-3
Online ISBN: 978-3-540-28629-5
eBook Packages: Springer Book Archive