Colored Petri Nets

More complexe semantics

Quantitative complexity

of the

models decrease

Tokens are typed by colors.

The number of color is finished.

These networks permit to represent, in a compact

manner, systems having components with

identical behaviors.

Formal Presentation: Colored Petri nets

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica