D-continuous causal nets: A model of non-sequential processes (Q788491)

Dedekind's classic definition of the continuity of the reals is generalized to posets and called D-continuity. This concept is next applied to causal nets, i.e. partially ordered sets of conditions and events which represent subhistories of concurrent systems. A number of properties of D-continuous causal nets is developed (among others: K- density, discreteness, countability, coherence and natural order). The paper is a continuation of the approach initiated with \textit{C. A. Petri's} influencing paper: Non-sequential processes [Interner Bericht ISF-77-5, GMD, St. Augustin, Fed. Rep. Germ. (1977)].