.png){kind=icon}
返回
A Compositional Analysis Method for Petri-Net Models
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2017.2772829.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Compositional analysis aims to reveal the underlying structures of a large-scale system or network by analyzing its constituent components and their relationships. Today's mathematical modeling languages, such as Petri nets, are useful for describing distributed systems and complex networks. However, the flat model architecture of Petri nets makes it difficult for them to depict the compositional structures of a large-scale model. Therefore, an enhanced compositionality feature has become a significant demand in large-scale modeling with Petri nets. This paper explores the underlying compositional structures of a given Petri net model by using a proposed sorting algorithm. The algorithm analyses compositional structures by sorting an incidence matrix that is generated from the Petri net model. Finally, the proposed sorting algorithm is applied to a traffic network model that was built with Petri nets to analyze its compositional structures, which represent different traffic lines, with the aim of optimizing the traffic network.
Keyword:
Compositionality
Petri-nets
incidence matrix
sorting
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems.png)
SENSORSOAAI
SENSORSIF3.5
OAAI分享收藏Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints析取广义互斥约束的最优Petri网控制器设计OAAI
OAAI分享收藏
查看更多内容