A trace semantics for petri nets

Hoogers, P. W. ; Kleijn, H. C. M. ; Thiagarajan, P. S. (1995) A trace semantics for petri nets Information and Computation, 117 (1). pp. 98-114. ISSN 0890-5401

Full text not available from this repository.

Official URL: http://www.sciencedirect.com/science/article/pii/S...

Related URL: http://dx.doi.org/10.1006/inco.1995.1032


A generalization of the notion of trace is proposed. This enables us to associate with each Petri net a single behavioural object, namely a poset of (generalized) traces. A characterization is given of the trace languages defined by Petri nets. We show that the general event structures of Winskel and the stable event structures can also be characterized in terms of our trace languages. One consequence is that in this framework, stable event structures, general event structures, and Petri nets constitute a strictly ascending chain in terms of expressive power.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:50500
Deposited On:25 Jul 2011 11:44
Last Modified:25 Jul 2011 11:44

Repository Staff Only: item control page