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.
|Number of pages||12|
|Journal||Journal of the Chinese Institute of Engineers, Transactions of the Chinese Institute of Engineers,Series A/Chung-kuo Kung Ch'eng Hsuch K'an|
|Publication status||Published - 1997 Jan 1|
All Science Journal Classification (ASJC) codes