The grammar of Petri-object model visual programming language

А.J. Dyfuchyn, I.V. Stetsenko, E.V. Zharikov

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.

Prombles in programming 2021; 1: 82-94


Keywords


formal grammar; visual programming; stochastic Petri nets; simulation

References


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.

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

https://doi.org/10.1134/S0005117914080025

Stetsenko I.V., Lytvynov V. (2020) Computer Virus Propagation Petri-Object Simulation. In: 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://doi. org/10.1007/978-3-030-25741-5_11

https://doi.org/10.1007/978-3-030-25741-5_11

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

https://doi.org/10.1007/978-3-030-76343-5_10

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

https://doi.org/10.1080/17445760.2021.1955113

Dahl, O.-J., Myhrhaug, B., Nygaard, K. (1970). Simula information. Common base language. (Report).NorwegianComputingCenter.[Online]

Johnson M., Zelenski J. Formal Grammars. (2012) [Online] - Available from: https:// web.stanford.edu/class/archive/cs/cs143/cs143.1128/handouts/080%20Formal%20 Grammars.pdf

Prochaska, K., Thiesing R. M. Introduction to Simio. (2016). Proceedings of the 2016 Winter Simulation Conference T. M. K. Roeder, P. I. Frazier, R. Szechtman, E. Zhou, T. Huschka, and S. E. Chick, eds.

https://doi.org/10.1109/WSC.2017.8248147

Simio. The future of Simulation, Growing with you. [Online] - Available from: https://www. simio.com/about-simio/why-simio/simio-is- the-future-of-simulation-software-growing- with-you.php

Simul8. Visual Logic Tutorial. [Online] - Available from: https://www.simul8.com/ support/help/doku.php?id=features:visual_ logic:tutorial

CPNTools. [Online] - Available from: http:// cpntools.org/, last accessed 2020/04/26.

Jensen, K., Kristensen L. M. (2015) Colored Petri nets: a graphical language for formal modeling and validation of concurrent sys- tems. Communications of the ACM 58(6), 61- 70. DOI: 10.1145/2663340

https://doi.org/10.1145/2663340

Stetsenko I.V., Dyfuchyn A. (2021) Petri-object Simulation Two Level Visual Programming Language. In: Palagin A., Anisimov A., Morozov A., Shkarlet S. (eds) Mathematical Modeling and Simulation of Systems. MODS 2020. Advances in Intelligent Systems and Computing, vol 1265. Springer, Cham. P. 266- 276. (Scopus) https://doi.org/10.1007/978-3- 030-58124-4_26

https://doi.org/10.1007/978-3-030-58124-4_26

Stetsenko, I.V., Dyfuchyn, A.: Petri-object Simulation: Technique and Software. Information, Computing and Intelligent Systems 1, 51-59 (2020). https://doi.org/10.20535/2708- 4930.1.2020.216057

https://doi.org/10.20535/2708-4930.1.2020.216057




DOI: https://doi.org/10.15407/pp2021.04.082

Refbacks

  • There are currently no refbacks.