Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures
The paper deals with a model of an intelligent system related to the automatic synthesis of Petri nets and presents a certain stage of developing this model. The peculiarity of the extended mathematical apparatus is that it contains a combination of Petri net incidence matrices to represent various...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Igor Sikorsky Kyiv Polytechnic Institute
2024-06-01
|
| Series: | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
| Subjects: | |
| Online Access: | http://journal.iasa.kpi.ua/article/view/309718 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1839649169484021760 |
|---|---|
| author | Олександр Гурський Андрій Денисенко Олександр Гончаренко |
| author_facet | Олександр Гурський Андрій Денисенко Олександр Гончаренко |
| author_sort | Олександр Гурський |
| collection | DOAJ |
| description |
The paper deals with a model of an intelligent system related to the automatic synthesis of Petri nets and presents a certain stage of developing this model. The peculiarity of the extended mathematical apparatus is that it contains a combination of Petri net incidence matrices to represent various algorithms. This combination of matrices is part of the equations describing the logic control device of a complex system. Accordingly, the work also presents a well-known mathematical description of discrete-continuous systems with a controlled structure, which includes certain logical control devices. This mathematical description, based on means of discrete-continuous networks, is associated with the incidence matrix of the Petri net, which is formed as a result of a particular synthesis algorithm. At the same time, the formed Petri net represents the corresponding logical control algorithm that should ensure the effective functioning of the corresponding system. The final part of the work presents various structural schemes of logic-dynamic models of systems related to the automatic synthesis of Petri nets. Here, we determine the features of the advanced mathematical apparatus based on discrete-continuous networks to develop an intelligent system that forms logical control algorithms. It is also noted that such systems can be used to create certain control algorithms that ensure increased efficiency of the functioning of some objects in difficult and unpredictable conditions.
|
| format | Article |
| id | doaj-art-370dd1b46f12446ebf8e75e5bcd6a2b2 |
| institution | Matheson Library |
| issn | 1681-6048 2308-8893 |
| language | Ukrainian |
| publishDate | 2024-06-01 |
| publisher | Igor Sikorsky Kyiv Polytechnic Institute |
| record_format | Article |
| series | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
| spelling | doaj-art-370dd1b46f12446ebf8e75e5bcd6a2b22025-06-27T10:30:03ZukrIgor Sikorsky Kyiv Polytechnic InstituteSistemnì Doslìdženâ ta Informacìjnì Tehnologìï1681-60482308-88932024-06-01210.20535/SRIT.2308-8893.2024.2.07348206Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis proceduresОлександр Гурський0Андрій Денисенко1Олександр Гончаренко2Odesa National University of Technology, OdesaOdesa Polytechnic National University, OdesaOdesa National University of Technology, Odesa The paper deals with a model of an intelligent system related to the automatic synthesis of Petri nets and presents a certain stage of developing this model. The peculiarity of the extended mathematical apparatus is that it contains a combination of Petri net incidence matrices to represent various algorithms. This combination of matrices is part of the equations describing the logic control device of a complex system. Accordingly, the work also presents a well-known mathematical description of discrete-continuous systems with a controlled structure, which includes certain logical control devices. This mathematical description, based on means of discrete-continuous networks, is associated with the incidence matrix of the Petri net, which is formed as a result of a particular synthesis algorithm. At the same time, the formed Petri net represents the corresponding logical control algorithm that should ensure the effective functioning of the corresponding system. The final part of the work presents various structural schemes of logic-dynamic models of systems related to the automatic synthesis of Petri nets. Here, we determine the features of the advanced mathematical apparatus based on discrete-continuous networks to develop an intelligent system that forms logical control algorithms. It is also noted that such systems can be used to create certain control algorithms that ensure increased efficiency of the functioning of some objects in difficult and unpredictable conditions. http://journal.iasa.kpi.ua/article/view/309718Petri netssystem with controlled structurediscrete-continuous networkautomatic synthesis of Petri nets |
| spellingShingle | Олександр Гурський Андрій Денисенко Олександр Гончаренко Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï Petri nets system with controlled structure discrete-continuous network automatic synthesis of Petri nets |
| title | Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures |
| title_full | Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures |
| title_fullStr | Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures |
| title_full_unstemmed | Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures |
| title_short | Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures |
| title_sort | expansion of the mathematical apparatus of discrete continuous networks for the automation of their synthesis procedures |
| topic | Petri nets system with controlled structure discrete-continuous network automatic synthesis of Petri nets |
| url | http://journal.iasa.kpi.ua/article/view/309718 |
| work_keys_str_mv | AT oleksandrgursʹkij expansionofthemathematicalapparatusofdiscretecontinuousnetworksfortheautomationoftheirsynthesisprocedures AT andríjdenisenko expansionofthemathematicalapparatusofdiscretecontinuousnetworksfortheautomationoftheirsynthesisprocedures AT oleksandrgončarenko expansionofthemathematicalapparatusofdiscretecontinuousnetworksfortheautomationoftheirsynthesisprocedures |