Next: Qualitative analysis Up: Analysis techniques Previous: Consistency check

Classification

Classification aims at the embedded CPN. This net is unfolded to an uncoloured Place/Transition net and classified in terms of: marked graph, state machine, free choice, extended free choice, simple or extended simple. This classification supports the choice of a suitable analysis algorithm for qualitative analysis, because for certain net classes special algorithms are available.



Next: Qualitative analysis Up: Analysis techniques Previous: Consistency check


bause
Tue Jan 9 09:20:20 MET 1996