THE SOFTWARE IMPLEMENTATION FOR AUTOMATIC GENERATION OF PETRI NETS
DOI:
https://doi.org/10.15588/1607-3274-2024-3-3Keywords:
Petri net, artificial neural network, coordinating automatic control system, coordination of transient processes, ratio control, algorithms of settingAbstract
Context. The important task was solved during this scientific research related to specific development and verification of the
fundamental suitability of the software application that provides visualization of the automatic synthesis of Petri nets while setting up
the multi-level control systems. This task is current because the for the first time the integration of means of discrete-continuous networks
from the DC-Net environment in the Labview environment is realized through the implementation of automatic synthesis of
Petri nets. This makes it possible to automate the processes of synthesis for the control algorithms based on the development of appropriate
intelligent systems.
Objective. The purpose of the scientific work is to minimize the time and to automatize process in synthesis of the control algorithms
by integrating the means of discrete-continuous networks and implementing the principles of automatic synthesis of Petri nets.
Method. This scientific article proposes the principle for automatic formation of Petri nets based on logical algorithm for classifying
various uncorrected algorithms. The multilayer neural network in the Labview 2009 software environment was implemented to
realize the appropriate algorithm. This artificial neural network provides algorithm formation, automatic synthesis and operation of
Petri nets. The article is devoted to the study of operating principle of the software application implementing such automatic synthesis
of Petri nets while setting up the multi-level control systems.
Results. A number of experiments were performed on the classification of algorithms and formation of Petri nets based on the
ready-made software application. The control system was automatically set up based on the Labview 2009 environment application
for the determined object.
As a result of these experiments we have determined the fundamental suitability of the software application for the synthesis of
some multi-level automatic control systems. It was also shown during these experiments that all mismatch signals in the system and
deviations from the ratios of values controlled variables are reduced to zero. All parameters of the control systems settings were
noted after the multi-level system setting procedure on the front panel of the virtual stand.
Conclusions. The task related to the software application development based on the Labview 2009 environment which provides
the automatic synthesis of Petri nets was solved in this scientific work. Thus the method of automatic synthesis of Petri nets and
technology for developing certain algorithms based on the functioning of the artificial neural network was further developed.
References
Denisenko A. V., Gursky А. А. Information technology of visualization for technological processes for research modes of functioning of complex technological systems [Теxt], System Research and Information Technologies, 2021, Issue 2, pp. 74– 83. DOI: 10.20535/SRIT.2308-8893.2021.2.06
Barbierato E., Gribaudo M., Iacono M. Modeling hybrid systems in SIMTHESys, Electronic Notes in Theoretical Computer Science, 2016, Issue 327, pp. 5–25. DOI: https://doi.org/10.1016/j.entcs.2016.09.021
Lu X., Zhou M., Ammari A. C., Ji J. Hybrid Petri nets for modeling and analysis of microgrid systems, IEEE/CAA Journal of Automatica Sinica, 2016, Volume 3, Issue 4, pp. 349–356. DOI: 10.1109/JAS.2016.7510070
Yang F., Wu N., Qiao Y., Su R. Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets, IEEE/CAA Journal of Automatica Sinica, 2017, Volume 5, Issue 1, pp. 270–280. DOI: 10.1109/JAS.2017.7510772
Zgurovskii M. Z., Denisenko V. A. Diskretno neprerivnie sistemi s upravlyaemoi strukturoi. Kiev, Naukova dumka, 1998, 350 p. ISBN 966–00–0171–1
Peterson J. L. Petri net theory and the modeling of systems. Prentice Hall PTR, 1981, 290 p. ISBN 0–13–661983–5
He D. W., Strege B., Tolle H., Kusiak A. Decomposition in automatic generation of Petri nets for manufacturing system control and scheduling, International Journal of Production Research, 2000, Volume 38, Issue 6, pp. 1437–1457. DOI: 10.1080/002075400188942
Ndiaye M. A. A. et al. Performance assessment of industrial control system during presales uncertain context using automatic Colored Petri Nets model generation [Теxt], 2016 International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2016, pp. 671–676. DOI: 10.1109/CoDIT.2016.7593643
Durmuş M. S., Yıldırım U., Söylemez M. T. Automatic generation of Petri Net supervisors for railway interlocking design [Теxt], 2012 2nd Australian Control Conference. IEEE, 2012, pp. 180–185. ISBN: 978-1-4244-9588-7 book e-ISBN :978-60501-0013-6
Yu D., Liu Z. Towards the Automatic Generation of Petri nets for the OWL-S-based Complex Processes [Теxt], International Journal of u-and e-Service, Science and Technology, 2014, Volume 7, Issue 2, pp. 179–188. ISSN: 2005-4246 IJUNESST
Gurskiy A. A., Goncharenko A. E., Dubna S. M. Formation of the synthesis algorithms of the coordinating control systems by means of the automatic generation of Petri nets [Теxt], Automation of technological and business processes, 2016, Volume 8, Issue 3, pp. 13–23. DOI: https://doi.org/10.15673/atbp.v8i3.565
Gurskiy A. A., Denisenko A. V., Dubna S. M. Algorithms for tuning of the coordinating automatic control systems [Теxt], Radio electronics, computer science, control, 2020, No. 1, pp. 190–199. DOI: https://doi.org/10.15588/1607-3274-2020-1-19
Gurskiy A. A., Denisenko A. V., Dubna S. M. The automatic synthesis of Petri net based on the functioning of artificial neural network [Теxt], Radio electronics, computer science, control, 2021, No. 2, pp. 84–92. DOI: https://doi.org/10.15588/1607-3274-2021-2-9
Denisenko, A. V. Informacionnaya tehnologiya animacii slozhnyh tehnicheskih kompleksov na osnove diskretnonepreryvnyh setej, Flash-tehnologii i instrumentalnyh sredstv DCNET, Data Recording, Storage & Processing, 2016, Volume 16, Issue 3, pp. 54–60. ISSN 1560-9189
Denisenko A. V. Strukturno-analiticheskoe modelirovanie i animaciya tehnologicheskih processov v inzhenernotehnicheskih kompleksah, Data Recording, Storage & Processing, 2016, Volume 18, Issue 2, pp. 67–74. ISSN 1560-9189
Denisenko A. V., Gursky А.А. Development of principles of dc-net and flash environments interaction, Automation of technological and business-processes, 2016, Volume 8, Issue 2, pp. 22–26. DOI: 10.15673/atbp.v8i2.164.
Du C., Li B., Liu H., Ji Y., Yao R., Yu W. et al. Quantification of personal thermal comfort with localized airflow system based on sensitivity analysis and classification tree model, Energy and Buildings, 2019, July, Volume 194, pp. 1–11. DOI: https://doi.org/10.1016/j.enbuild.2019.04.010
Liang J., Qin Z., Xiao S., Ou L., Lin X. et al. Efficient and secure decision tree classification for cloud-assisted online diagnosis services, IEEE Transactions on Dependable and Secure Computing, 2021, Volume 18, Issue 4, pp. 1632–1644. DOI: 10.1109/TDSC.2019.2922958
Boychuk L. M. Separation of motions and steady balance in the balance dynamic systems of the open type, Journal of Automation, 1991, Issue 6, pp. 55–64. ISSN 0572-2691
Boychuk L. M. Two Approaches to the Structural Synthesis of Control Systems: Dynamical Filtration and Automatic Compensation [Теxt], Journal of Automation and Information Sciences, 1998, Volume 30, Issue 6, pp. 13–22. DOI: 10.1615/JAutomatInfScien.v30.i6.20
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2024 О. О. Гурський, С. М. Дубна
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Creative Commons Licensing Notifications in the Copyright Notices
The journal allows the authors to hold the copyright without restrictions and to retain publishing rights without restrictions.
The journal allows readers to read, download, copy, distribute, print, search, or link to the full texts of its articles.
The journal allows to reuse and remixing of its content, in accordance with a Creative Commons license СС BY -SA.
Authors who publish with this journal agree to the following terms:
-
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License CC BY-SA that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
-
Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
-
Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
