Interpreted PN

An interpreted Petri net has the following characteristics :

- it is synchronized,

- it is P-temporized,

- with conditions ( Predicat Petri nets),

- it has an operative part with a set of actions

that modify internal variables

System

Part

Petri

net

part