|
AN ALGORITHM FOR DETERMINING THE STRUCTURAL PARTS OF PETRI MODELS-BASED COMPLEX SYSTEMS |
|---|---|
| รหัสดีโอไอ | |
| Creator | Shmyrin Anatoly Mikhailovich, Lukyanova Elena Aleksandrovna |
| Title | AN ALGORITHM FOR DETERMINING THE STRUCTURAL PARTS OF PETRI MODELS-BASED COMPLEX SYSTEMS |
| Contributor | - |
| Publisher | TuEngr Group |
| Publication Year | 2562 |
| Journal Title | International Transaction Journal of Engineering, Management, & Applied Sciences & Technologies |
| Journal Vol. | 10 |
| Journal No. | 18 |
| Page no. | 10A18H: 1-10 |
| Keyword | Petri net, Petri models of complex systems, Model component, Complex systems simulation, reduction, C# (?-Sharp) language. |
| URL Website | http://tuengr.com/Vol10_18.html |
| Website title | ITJEMAST V10(18) 2019 @ TuEngr.com |
| ISSN | 2228-9860 |
| Abstract | Mathematical modeling is a common tool for the study of complex systems. As a formal model for obtaining the most complete information about the system, the formalism of Petri nets is productively used. In doing so, simulated systems can relate to various application areas. Almost any real complex system, as a rule, consists of several or many objects interacting with each other. Therefore, when constructing Petri models of systems and large objects, it is necessary to solve the problem of the exponential growth of the space of the model state. This problem can be solved by developing compression algorithms for the test set of states while maintaining the correctness and adequacy of the model. This work is devoted to the development of a mathematical basis for the software implementation of the determination of structural parts constituent components in Petri models of complex systems. Thus the paper considers the transformation of Petri models, which results in a reduction of the original model of a complex system. It has been established that this transformation is an epimorphism. An algorithm has been developed that allows us to determine structural parts in Petri models of complex systems. |
