Behavioural notions for elementary net systems

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.

[1]  Grzegorz Rozenberg.  Behaviour of Elementary Net Systems , 1986 .

[2]  P. S. Thiagarajan.  Elementary Net Systems , 1986 .

[3]  Wolfgang Reisig,et al.  Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness , 1984, ICALP.

[4]  Grzegorz Rozenberg.  Advances in Petri Nets 1987 , 1986, Lecture Notes in Computer Science.

[5]  C. Petri.  Kommunikation mit Automaten , 1962 .

[6]  Wolfgang Reisig,et al.  Petri Nets: Applications and Relationships to Other Models of Concurrency , 1986, Lecture Notes in Computer Science.

[7]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[8]  Marek Antoni Bednarczyk,et al.  Categories of asynchronous systems , 1987 .

[9]  P. S. Thiagarajan,et al.  Some Behavioural Aspects of Net Theory , 1988, Theor. Comput. Sci..

[10]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[11]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[12]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[13]  W. Brauer,et al.  Advances in Petri nets 1986, part I on Petri nets: central models and their properties , 1987 .

[14]  M. W. Shields,et al.  Behavioural Presentations , 1988, REX Workshop.

[15]  Grzegorz Rozenberg,et al.  Theory of Traces , 1988, Theor. Comput. Sci..

[16]  Eugene W. Stark,et al.  Concurrent transition system semantics of process networks , 1987, POPL '87.

[17]  Eike Best,et al.  Nonsequential Processes: A Petri Net View , 1988 .

[18]  Antoni W. Mazurkiewicz,et al.  Basic notions of trace theory , 1988, REX Workshop.

[19]  S. Lane.  Categories for the Working Mathematician , 1971 .

[20]  Astrid Kiehn.  On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets , 1988, J. Inf. Process. Cybern..

[21]  A. Mazurkiewicz.  Concurrent Program Schemes and their Interpretations , 1977 .

[22]  P. S. Thiagarajan,et al.  Event Structures and Trace Monoids , 1991, Theor. Comput. Sci..

[23]  Wolfgang Reisig,et al.  Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II , 1986 .