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
A colored Petri net is bounded if, for every reachable marking,
every place contains a finite number of marks
A colored Petri net is liveness if its unfolded Petri net is liveness
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