Nets, sequential components and concurrency relations

A lattice of unmarked nets is introduced and studied. It is proved that unmarked nets representing the static structure of sequential systems are atoms of that lattice. Marking classes defined by the decomposition of nets into sequential components are introduced and properties (safeness, fireability, etc.) of nets with those marking classes are investigated. The notion of concurrency relation on the system level is defined and discussed. Two …