Temporized Petri Nets
A delay is associated with the places or the transitions,
tokens are unavailable during this delay
For example, if a place represents a machine, the associated delay
represents the time necessary to execute an operation.
Formal Presentation: Temporized Petri nets