For the most recent entries see the Petri Nets Newsletter.

Behavioural Notions for Elementary Net Systems.

Nielsen, M.; Rozenberg, Grzegorg; Thiagarajan, P.S.

In: Ditributed Computing, Vol. 4, No. 1, pages 45-57. 1990.

Abstract: The authors study the relationships between a number of behavioural notions that have arisen in the theory of distributed computing; they apply the chosen behavioural notions to a basic net-theoretic model of distributed systems called elementary net systems. The behavioural notions that are considered are trace languages, non-sequential processes, unfoldings and event structures. The relationships between these notions are brought out in the process of establishing that for each elementary net system, the trace language representation of its behaviour agrees in a strong way with the event sructure representation of its behaviour.

Keywords: behavioural notion; elementary net system; trace language; unfolding; event structure.


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

Back to the Petri Nets Bibliography