For the most recent entries see the Petri Nets Newsletter.

A Trace Semantics for Petri Nets.

Hoogers, P.W.; Kleijn, H.C.M.; Thiagarajan, P.S.

In: 91; 3rd Workshop on Concurrency and Compositionality, 1991, Goslar, Germany / Best, E.; et al.: GMD-Studien Nr. 191; Hildesheimer Informatik-Berichte 6, pages 135-142. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH --- Universität Hildesheim (Germany), Institut für Informatik, May 1991.

Abstract: The authors wish to provide a semantics for Petri nets which takes into account the non-sequential and the branching aspects of their behaviours. They show that by generalizing the trace approach, it is possible to associate a single behavioural object --- ie a poset of traces --- with a Petri net. The authors believe that this semantics is more ``abstract'' in its treatment of tokens. They also provide a characterization of the classs of trace languages called PN-trace languages that arise in this fashion.

Keywords: trace semantics; generalized trace; trace language; behavior representation.

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

Back to the Petri Nets Bibliography