Timed Petri nets definitions, properties, and applications

Any “state” description of timed nets must take into account the distribution of tokens in places as well as in (firing) transitions, and the state space of timednets can be quite different from the space of reachable markings.