{"title":"On analysis of Petri net properties based on transitive matrix","authors":"Y. Itoh, I. Miyazawa, J.H. Liu, T. Sekiguchi","doi":"10.1109/IECON.1999.816544","DOIUrl":null,"url":null,"abstract":"Petri nets (PNs) are a useful graphical and mathematical tool to model and analyze discrete event systems. In this paper, the authors provide a new concept to analyze PN properties based on graph theory. First, they show the method to convert PNs into directed graphs, and then introduce the transitive matrices of PNs. Second, structural properties are examined using the characteristic polynomial and equation of the transitive matrices, and applying the Mason's theorem derived from signal-flow-graphs. Furthermore, behavioral properties concerning the transition firing orders are discussed using the power of the transitive matrices.","PeriodicalId":378710,"journal":{"name":"IECON'99. Conference Proceedings. 25th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.99CH37029)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IECON'99. Conference Proceedings. 25th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.99CH37029)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IECON.1999.816544","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Petri nets (PNs) are a useful graphical and mathematical tool to model and analyze discrete event systems. In this paper, the authors provide a new concept to analyze PN properties based on graph theory. First, they show the method to convert PNs into directed graphs, and then introduce the transitive matrices of PNs. Second, structural properties are examined using the characteristic polynomial and equation of the transitive matrices, and applying the Mason's theorem derived from signal-flow-graphs. Furthermore, behavioral properties concerning the transition firing orders are discussed using the power of the transitive matrices.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
