For the most recent entries see the Petri Nets Newsletter.

Event Structures for Resolvable Conflict.

van Glabbeek, Rob; Plotkin, Gordon

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography