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

Chipan 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

Petri nets
Explosions

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

@article{b77dd5f5056042f2baf5cadc968074d1,
title = "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.",
author = "Chipan Hwang and Ho, {Cheng Seen}",
year = "1997",
month = "1",
day = "1",
doi = "10.1080/02533839.1997.9741855",
language = "English",
volume = "20",
pages = "481--492",
journal = "Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers",
issn = "0253-3839",
publisher = "Chinese Institute of Engineers",
number = "5",

}

TY - JOUR

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

AU - Hwang, Chipan

AU - Ho, Cheng Seen

PY - 1997/1/1

Y1 - 1997/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0031223945&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031223945&partnerID=8YFLogxK

U2 - 10.1080/02533839.1997.9741855

DO - 10.1080/02533839.1997.9741855

M3 - Article

AN - SCOPUS:0031223945

VL - 20

SP - 481

EP - 492

JO - Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers

JF - Chung-kuo Kung Ch'eng Hsueh K'an/Journal of the Chinese Institute of Engineers

SN - 0253-3839

IS - 5

ER -