Concurrency axioms and D-continuous posets

A non-sequential process can be modelled by a partially ordered set of basic occurrences. Conversely, one is led to study the properties to be fulfilled by a poset so that it can reasonably be viewed as the model of a non-sequential process. To this end, Petri has proposed a set of concurrency axioms which include D-continuity, a generalised version of Dedekind's completeness property of the reals.

[1]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[2]  P. S. Thiagarajan,et al.  A Theory of Bipolar Synchronization Schemes , 1984, Theor. Comput. Sci..

[3]  César Fernández.  Non-sequential Processes , 1986, Advances in Petri Nets.

[4]  C. A. Petri.  State-transition structures in physics and in computation , 1982 .

[5]  Eike Best,et al.  Frozen tokens and D-continuity: A study in relating system properties to process properties , 1985, European Workshop on Applications and Theory in Petri Nets.

[6]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains , 1979, Semantics of Concurrent Computation.

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

[8]  P. S. Thiagarajan,et al.  A note on observable occurrence nets , 1985, European Workshop on Applications and Theory in Petri Nets.

[9]  Eike Best,et al.  A Theorem on the Characteristics of Non-sequential Processes , 1977 .

[10]  P. S. Thiagarajan,et al.  D-Continuous Causal Nets: A Model of Non-Sequential Processes , 1984, Theor. Comput. Sci..

[11]  Eike Best,et al.  Discreteness, k-density and d-continuity of occurrence nets , 1983, Theoretical Computer Science.

[12]  Eike Best.  A theorem on the characteristics of nonsequential processes , 1980, Fundam. Informaticae.

[13]  P. S. Thiagarajan,et al.  A Note on D-Continuous Causal Nets , 1982, European Workshop on Applications and Theory of Petri Nets.