Formal semantics of a class of high-level primitives for coordinating concurrent processes

High level programs for generating systems of cooperating concurrent processes are classified according to syntactic criteria. Their semantic characterization by means of Petri Nets, a mathematical theory of system descriptions, induces a corresponding syntactic classification on the latter. This permits the transferal of intuitively important semantical results of Petri Net theory to their corresponding programs. As a consequence it becomes possible to determine a certain kind of semantic correctness of a programm merely by its syntactic classification. Alternate solutions to a well known synchronization problem are treated in this way.