Runs
摘要
This chapter covers aspects of dynamics, discussing occurrences of states and events and their interplay. In particular, partially ordered runs and their properties are described and analyzed in detail. All this is based on concepts of Petri nets.