In: Proceedings of Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, pages 550-561. Volume 3153 of Lecture Notes in Computer Science / Jirí Fiala, Václav Koubek, Jan Kratochvíl (Eds.) --- Springer-Verlag, August 2004.
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.