Refinement of Time Petri Nets Semantics in Conflict Situations

Abstract

This paper deals with time Petri nets, where a firing interval is associated with each transition. Three semantics (intermediate, atomic and persistent atomic) are proposed, in the literature for this model, in the context of single-server/multiserver and strong/weak semantics. This paper shows that, in presence of conflicts, these semantics may exhibit some unexpected behaviours and properties. This paper proposes a new semantics more appropriate to deal with conflicts.

Keywords

Time Petri nets, semantics, conflicts, zone based graph

To see the electronic version of the paper, please

Click Here