|
Refinement of Time Petri Nets Semantics in Conflict SituationsAbstractThis 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.KeywordsTime Petri nets, semantics, conflicts, zone based graph To see the electronic version of the paper, pleaseClick Here
|
|