Properties of Colored PN
Properties of Colored Petri nets
A colored Petri net is only a condensed
representation of an ordinary net
Properties of a colored Petri Net are the same
that those of ordinary net
Bounded net
A colored Petri net is bounded if, for every reachable marking,
every place contains a finite number of marks
Liveness
A colored Petri net is liveness if its unfolded Petri net is liveness
Deadlock free
A colored Petri net is dead lock free if for every reachable marking
there is at least one enabled transition for at least one color
Diapositiva precedente
Diapositiva successiva
Torna alla prima diaposiva
Visualizza versione grafica