Behavioural notions for elementary net systems

Nielsen, M. ; Rozenberg, G. ; Thiagarajan , P. S. (1990) Behavioural notions for elementary net systems Distributed Computing, 4 (1). pp. 45-57. ISSN 0178-2770

Full text not available from this repository.

Official URL:

Related URL:


We study the relationships between a number of behavioural notions that have arisen in the theory of distributed computing. In order to sharpen the under-standing of these relationships we apply the chosen behavioural notions to a basic net-theoretic model of distributed systems called elementary net systems. The behavioural notions that are considered here 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 structure representation of its behaviour.

Item Type:Article
Source:Copyright of this article belongs to Springer.
Keywords:Net Theory; Trace Languages; Non-sequential Processes; Event Structures
ID Code:50493
Deposited On:25 Jul 2011 11:43
Last Modified:25 Jul 2011 11:43

Repository Staff Only: item control page