Investigating nondeterministic processes

Event structures have widely been proposed as a basis for constructing models of nondeterministic processes. However, not all event structures are turned out to be suitable for this purpose. One way to get around this problem is to adapt Petri's concurrency axioms (including K-density and related properties) to event structures. In this paper we study the above properties in the context of flow event structures.