Dynamic and Static Properties of Coloured Petri Nets
- 77 Downloads
Dynamic properties characterize the behaviour of individual CP-nets, e.g., whether it is possible to reach a marking in which no step is enabled. It is often rather difficult to verify dynamic properties — in particular when relying only on informal arguments. However, in Chap. 5 we shall introduce a number of formal analysis methods which can be used to prove dynamic properties. The details of these analysis methods will be the prime contents of Vol. 2.
Unable to display preview. Download preview PDF.