An event structure semantics for general Petri nets

Hoogers, P. W. ; Kleijn, H. C. M. ; Thiagarajan, P. S. (1996) An event structure semantics for general Petri nets Theoretical Computer Science, 153 (1-2). pp. 129-170. ISSN 0304-3975

PDF - Author Version

Official URL:

Related URL:


In this paper we address the following question: What type of event structures are suitable for representing the behaviour of general Petri nets? As a partial answer to this question we define a new class of event structures called local event structures and identify a subclass called UL-event structures. We propose that UL-event structures are appropriate for capturing the behaviour of general Petri nets. Our answer is a partial one in that in the proposed event structure semantics, auto-concurrency is filtered out from the behaviour of Petri nets. It turns out that this limited event structure semantics for Petri nets is nevertheless a non-trivial and conservative extension of the (prime) event structure semantics of 1-safe Petri nets provided in [NPW]. We also show that the strong relationship between prime event structures and 1-safe Petri nets established in a categorical framework in [W3] can be extended to the present setting, provided we restrict our attention to the subclass of Petri nets whose behaviours do not exhibit any auto-concurrency. Finally, we show that Winskel's general and stable event structures can be smoothly related to local event structures and that similarly prime event structures can be related to UL-event structures.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:50508
Deposited On:25 Jul 2011 11:44
Last Modified:18 May 2016 04:47

Repository Staff Only: item control page