Abstract
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.In this paper we give some general characterisations of D-continuous posets. We also study the relationship between D-continuity and the remaining concurrency axioms of Petri.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
