Event Structures for Resolvable Conflict

  • Rob van Glabbeek
  • Gordon Plotkin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3153)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Boudol, G.: Flow event structures and flow nets. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol. 469, pp. 62–95. Springer, Heidelberg (1990)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and Petri nets (2004), Draft at http://theory.stanford.edu/~rvg/event/
  4. 4.
    Gunawardena, J.: Causal automata. TCS 101, 265–288 (1992)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An event structures semantics for general Petri nets. TCS 153, 129–170 (1996)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Katoen, J.-P.: Quantitative and Qualitative Extensions of Event Structures, PhD thesis, Department of Computer Science, University of Twente (1996)Google Scholar
  7. 7.
    Langerak, R.: Transformations and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente (1992) Google Scholar
  8. 8.
    Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. TCS 13(1), 85–108 (1981)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Rob van Glabbeek
    • 1
  • Gordon Plotkin
    • 1
  1. 1.Laboratory for Foundations of Computer Science, School of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations