Värvitud Petri võrgud CPN eksami konspekt
significantly reduced.
Symmetry Method represents symmetric markings and symmetric binding elements using
equivalence classes. State spaces can be condensed by factoring out this symmetry, and the symmetry-
condensed state space is typically orders of magnitude smaller than the full state space.
The equivalence method is a generalisation of the symmetry method, where the constraint that
the equivalence relations are induced by symmetries is removed. Instead, arbitrary equivalence relations
on the markings and binding elements can be used provided that they are consistent.
19.Timed CPN
With a timed CPN performance measures can be calculated and also verifying if real-time
system operations meet deadlines.
Times examples are non-hierarchical CPN model and in hierarchical CPN models can use timing
constructs.
annaabi.ee 
