Abstract
Petri-object models solve the problem of replicating fragments of Petri nets with given parameters and constructing a model from a large number of elements. The developed visual programming language of Petri-object models gives a possibility to reduce the number of errors during a model construction by automating the coding links between elements and graphical representation of a model. In addition to replicating Petri objects, the visual language implements replication of links between Petri objects. Formalization of the visual programming language grammar is presented in the form of production rules. A conclusion about grammar properties has been drawn.
Publisher
National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (Publications)
Reference14 articles.
1. ISO/IEC 15909-1:2004 Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical nota- tion. [Online] - Available from: https://www. iso.org/standard/38225.html, last accessed 2020/08/28.
2. Zaitsev D.A.(2014) Paradigm of Computations on the Petri Nets, Automation and Remote Control, Vol. 75, No. 8, 1369-1383, https://doi.org/10.1134/S0005117914080025
3. Computer Virus Propagation Petri-Object Simulation;Stetsenko I.V.;Palagin A Anisimov A Morozov A Shkar- let S (eds) Mathematical Modeling and Simulation of Systems MODS 2019 Advances in Intelligent Systems and Computing vol 1019 103-112 Springer Cham https,2020
4. Shmeleva T.R., Stetsenko I.V. (2021) Modeling Unconditional Forwarding Decision Within Switching Lattice. In: Vorobiyenko P., Ilchenko M., Strelkovska I. (eds) Current Trends in Communication and Information Technologies. IPF 2020. Lecture Notes in Networks and Systems, vol 212, 171- 186. Springer, Cham. https://doi.org/10.1007/978- 3-030-76343-5_10
5. Stetsenko I.V., Pavlov A.A., Dyfuchyna O. (2021) Parallel algorithm development and test- ing using Petri-object simulation. International Journal of Parallel, Emergent and Distributed Systems. Taylor & Francis. 1-16. https://doi.or g/10.1080/17445760.2021.1955113
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献