Configuration Structures

Abstract

In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the collective token interpretation. To this end we propose a more general form of event structure, matching the expressive power of such nets. These new event structures and nets are… (More)
DOI: 10.1109/LICS.1995.523257

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Glabbeek1995ConfigurationS, title={Configuration Structures}, author={Rob J. van Glabbeek and Gordon D. Plotkin}, booktitle={LICS}, year={1995} }