Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу
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...
Збережено в:
| Дата: | 2024 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
2024
|
| Теми: | |
| Онлайн доступ: | http://journal.iasa.kpi.ua/article/view/309718 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | System research and information technologies |
Репозитарії
System research and information technologies| _version_ | 1856543598506409984 |
|---|---|
| author | Gurskiy, Alexander Denisenko, Andrey Goncharenko, Alexander |
| author_facet | Gurskiy, Alexander Denisenko, Andrey Goncharenko, Alexander |
| author_sort | Gurskiy, Alexander |
| baseUrl_str | |
| collection | OJS |
| datestamp_date | 2024-08-11T01:12:49Z |
| 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. |
| first_indexed | 2025-07-17T10:28:34Z |
| format | Article |
| id | journaliasakpiua-article-309718 |
| institution | System research and information technologies |
| language | English |
| last_indexed | 2025-07-17T10:28:34Z |
| publishDate | 2024 |
| publisher | The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" |
| record_format | ojs |
| spelling | journaliasakpiua-article-3097182024-08-11T01:12:49Z Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу Gurskiy, Alexander Denisenko, Andrey Goncharenko, Alexander мережі Петрі система з керованою структурою дискретно-неперервна мережа автоматичний синтез мереж Петрі Petri nets system with controlled structure discrete-continuous network automatic synthesis of Petri nets 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. Подано певний етап розроблення моделі інтелектуальної системи, пов’язаної з автоматичним синтезом мереж Петрі. Розглянуто розширений математичний опис складних систем на основі засобів дискретно-неперервних мереж, який покладено в основу розроблення такої інтелектуальної системи, спрямованої передусім на формування алгоритмів логічного керування. Особливість розширеного математичного апарату полягає у тому, що у його складі є комбінація матриць інцидентності мереж Петрі для подання різноманітних алгоритмів. Ця комбінація матриць входить до складу рівнянь, що описує пристрій логічного керування складної системи. Відповідно подано відомий математичний опис дискретно-неперервних систем із керованою структурою, що включають певні пристрої логічного керування. Цей математичний опис на основі засобів дискретно-неперервних мереж, пов’язаний з матрицею інцидентності мережі Петрі, що формується в результаті певного алгоритму синтезу. Сформовано мережу Петрі — відповідний алгоритм логічного керування для забезпечення процесу ефективного функціонування відповідної системи. Подано різні структурні схеми логіко-динамічних моделей систем з автоматичним синтезом мереж Петрі. Визначено особливість розширеного математичного апарату на основі дискретно-неперервних мереж для розроблення інтелектуальної системи, що формує алгоритми логічного керування. Такі системи можна використовувати для формування певних алгоритмів керування, які забезпечують підвищену ефективність функціонування деяких об’єктів. The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2024-06-28 Article Article application/pdf http://journal.iasa.kpi.ua/article/view/309718 10.20535/SRIT.2308-8893.2024.2.07 System research and information technologies; No. 2 (2024); 93-99 Системные исследования и информационные технологии; № 2 (2024); 93-99 Системні дослідження та інформаційні технології; № 2 (2024); 93-99 2308-8893 1681-6048 en http://journal.iasa.kpi.ua/article/view/309718/301145 |
| spellingShingle | мережі Петрі система з керованою структурою дискретно-неперервна мережа автоматичний синтез мереж Петрі Gurskiy, Alexander Denisenko, Andrey Goncharenko, Alexander Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу |
| title | Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу |
| title_alt | Expansion of the mathematical apparatus of discrete-continuous networks for the automation of their synthesis procedures |
| title_full | Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу |
| title_fullStr | Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу |
| title_full_unstemmed | Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу |
| title_short | Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу |
| title_sort | розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу |
| topic | мережі Петрі система з керованою структурою дискретно-неперервна мережа автоматичний синтез мереж Петрі |
| topic_facet | мережі Петрі система з керованою структурою дискретно-неперервна мережа автоматичний синтез мереж Петрі 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 gurskiyalexander expansionofthemathematicalapparatusofdiscretecontinuousnetworksfortheautomationoftheirsynthesisprocedures AT denisenkoandrey expansionofthemathematicalapparatusofdiscretecontinuousnetworksfortheautomationoftheirsynthesisprocedures AT goncharenkoalexander expansionofthemathematicalapparatusofdiscretecontinuousnetworksfortheautomationoftheirsynthesisprocedures AT gurskiyalexander rozširennâmatematičnogoaparatudiskretnoneperervnihmereždlâavtomatizacííproceduríhsintezu AT denisenkoandrey rozširennâmatematičnogoaparatudiskretnoneperervnihmereždlâavtomatizacííproceduríhsintezu AT goncharenkoalexander rozširennâmatematičnogoaparatudiskretnoneperervnihmereždlâavtomatizacííproceduríhsintezu |