States and events: elementary system modules
摘要
Here, conventional Petri nets with “black” tokens are equipped with interfaces. This kind of system modules can be composed as described in Chapter 2. Partially ordered runs of Chapter 4 serve as semantical background. It is shown that composition of partially ordered runs harmonizes with the composition of system modules.