A NEW TECHNIQUE FOR BEHAVIOR AND TEMPORAL ANALYSIS OF TIMED PETRI NETS

ABSTRACT

The Firing Sequence Graph (FSG) technique is proposed as a new technique to do behavior analysis and temporal verification of a system modeled by the real-time Petrinet model. It employs simple mechanical procedures to do analysis to reduce the involvement of human beings during firing sequence derivation. It derives firing sequences from local configurations by local sequence accumulation to alleviate the state-space explosion problem. It contains more transition sequencing information in a firing sequence. It allows the efficient derivation of temporal propagation expressions to do various temporal verification, including triggering, deadline, response, and period time constraints check against what the user specifies. All these features make the technique work better in system evaluation than traditional Petri-net languages, reachability tree analysis, incidence matrix technique, marking transition, or state graph technique.