.png){kind=icon}
Return
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}
Share.png){kind=icon}
Save
Abstract
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.
Keywords:
Compositionality
Petri-nets
incidence matrix
sorting
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
3.6
Papers:
9.8W
Citations:
29.4W
Organization
Cited Papers
ShareSaveA PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems.png)
SENSORSOAAI
SENSORSIF3.5
OAAIShareSaveShareSaveShareSaveDesign of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion ConstraintsOAAI
OAAIShareSave
View more