Colored Petri Nets
- Tokens often represent objects (e.g.
resources, goods, humans)
in the modeled system
- To
represent attributes of these objects, the Petri net model is
extended with coloured or typed tokens: each token has a value often referred to as
`color'
.
- Transitions use the values
of the consumed tokens to determine
the values of the produced tokens
: transition describes the relation
between the values of the `input tokens' and the values of the
`output tokens'.
- It is
also possible to specify `preconditions
' which take the colors of tokens to be consumed into
account.