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.