Nonsequential Processes: A Petri Net View

The theory of the processes of concurrent systems is studied using partiallyordered sets. The study is based on Petri net theory. General properties of posets and their relations with properties of concurrent systems are examined.