On structural properties of generalized processes

Abstract

The main aim of this paper has been to propose a next step in increasing the level of the presentation of non-sequential processes. Occurrence nets allow to specify and study asynchronous parallelism in processes. The propozed generalization (acyclic nets) gives the additional possibility to include in the specification non-determinism of conflict process elements. New notions arise such as al-sections, L-density, M-density which give topological characterization of distinction "good" and "bad" interrelation between intuitive concepts of sequential, parallel and alternative occurrences of events and conditions. The connection between K-, L-, M-density of process nets and, correspondingly, boundness, fairness and free-choice property of Petri nets has been indicated.

Proofs of the theorems and Lemmas stated above will be presented elsewhere.