基于传递矩阵的Petri网性质分析

IECON'99. Conference Proceedings. 25th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.99CH37029) Pub Date : 1999-11-29 DOI:10.1109/IECON.1999.816544

Y. Itoh, I. Miyazawa, J.H. Liu, T. Sekiguchi

{"title":"基于传递矩阵的Petri网性质分析","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":"{\"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}","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

摘要

Petri网(PNs)是一种有用的图形和数学工具，用于建模和分析离散事件系统。本文提出了基于图论的PN性质分析的新概念。首先给出了将pn转换为有向图的方法，然后介绍了pn的传递矩阵。其次，利用传递矩阵的特征多项式和特征方程，并应用从信号流图中导出的梅森定理来检验结构性质。此外，利用传递矩阵的幂讨论了与传递触发顺序有关的行为性质。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

On analysis of Petri net properties based on transitive matrix

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

IECON'99. Conference Proceedings. 25th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.99CH37029)

自引率

0.00%

发文量