Analysis of Consistency Problems on Petri Nets Systems

• Main Authors: Liang Chanq-Feng, 梁慶豐
• Other Authors: Yang Chien-Chiao
• Format: Others
• Language: zh-TW
• Published: 1993
• Online Access: http://ndltd.ncl.edu.tw/handle/53746508400774120421

碩士 === 國立臺灣科技大學 === 工程技術研究所 === 81 === Recently, Petri nets is an important and popular tool for system modeling . In this thesis, the consistency problems of the systems modeled by Petri nets will be disscussed . First, the structure and properties of Petri nets and some modeling examples are described. Then, for systems modeled by Petri nets graph , four kinds of structural anomaly, including dead-end nodes, unreachable nodes, looping, and conflict are explored. Finally, for time-dependent systems modeled by timed Petri nets , there are two problems discussed : the problem of over- flow and the problem of timing consistence between refinement level and abstraction level. Some inspection algorithms for detecting the above problems are proposed in this paper. By these algorithms ,the analyst can detect the system errors as early as possible, which can reduce the cost of system development and imporve the system performance.