Temporized Petri Nets
An autonomous PN describes a relation of causality between
events. The model is a logical time model, the time is taken in
account in a qualitative manner.
In temporized PNs, the time is taken in account in a
the model is continuous explicit time model,
two successive markings are separated by a period
Formal Presentation: Temporized Petri nets