Petri net extensions
Operational safety of control systems- Examples of applications and reminders on the PNs

Timed Petri nets [15]

In P-temporized networks, the temporization associated with places applies to the availability of the mark: when it enters a place, it will only be available after a delay. Once this delay has elapsed, the marker is available to determine whether transitions can be crossed, as in autonomous networks.

In T-temporized networks, when a marker enters a square, it is immediately taken into account (reserved) for the crossing of transitions, but will only be deposited in the finishing square after a certain delay. The transition is therefore shot in two stages.

Synchronized Petri nets

A synchronized Petri net (RdPSy)