Structural sensitivity for the conflicts analysis in Petri nets
Dimitri Lefebvre, Catherine Delherm · 2004
Petri nets are a suitable tool for the modeling, analysis, and control design of hybrid systems because they offer the opportunity to combine discrete dynamics with continuous ones in a comprehensive way. This paper is about the structural sensitivity of the nodes (places or transitions) with respect to the firing and staying conditions attached to the Petri nets. The sensitivity of subnets is also concerned. The proposed results are interesting to decide if the marking of a given place or the firing sequence of a given transition depends or not on the value of a given parameter that is attached to a particular node or subnet. Conflicts are considered as a particular class of subnets. As a consequence, the structural sensitivity provides some information about the influence and dependence areas of conflicts.