
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.
No reviews yet — be the first to write one from the Log screen.
No quotes yet.