A new technique for behavior and temporal analysis of timed petri nets

Chi Pan Hwang, Cheng Seen Ho

Research output: Contribution to journalArticle

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.

Original languageEnglish
Pages (from-to)481-492
Number of pages12
JournalJournal of the Chinese Institute of Engineers, Transactions of the Chinese Institute of Engineers,Series A/Chung-kuo Kung Ch'eng Hsuch K'an
Volume20
Issue number5
DOIs
Publication statusPublished - 1997 Jan 1

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this