34 . Configuration Structures

R.J. van Glabbeek (Stanford) & G.D. Plotkin (U. Edinburgh)

June 1995

Configuration structures provide a model of concurrency generalising the families of configurations of event structures. They can be considered logically, as classes of propositional models; then sub-classes can be axiomatised by formulae of simple prescribed forms. Several equivalence relations for event structures are generalised to configuration structures, and also to general Petri nets. Every configuration structure is shown to be ST-bisimulation equivalent to a prime event structure with binary conflict; this fails for the tighter history preserving bisimulation. Finally, Petri nets without self-loops under the collective token interpretation are shown behaviourally equivalent to configuration structures, in the sense that there are translations in both directions respecting history preserving bisimulation. This fails for nets with self-loops.

KEYWORDS: Concurrency, Configuration structures, Event structures, Petri nets, Semantic equivalences, Bisimulation.

Available at ftp://Boole.stanford.edu/pub/TEX/conf.tex.gz, ftp://Boole.stanford.edu/pub/PS/conf.ps.gz and ftp://Boole.stanford.edu/pub/DVI/conf.dvi.gz.
In: Proceedings 10th Annual IEEE Symposium on Logic in Computer Science (LICS 95), San Diego, USA, 1995 (D.Kozen, ed.), IEEE Computer Society Press, Los Alamitos 1995, pp. 199-209.