The translator of Petri-object model visual programming language

А.Yu. Dyfuchyn

Abstract


High-level programming tools are aimed at increasing the development speed of complex programs due to automation within the routine actions of the programmer, reducing the number of coding errors and reducing the code in general. Visual programming involves coding based on a visual representation of a task for the computational process instead of a textual one. The translator of the visual programming language of Petri-object models is designed and built according to the defi ned formal grammar of the language and Petri-object model formalism. It performs the transformation of the visual representation of the model into the calculation of the simulation algorithm. The advantages of the developed language are a small alphabet of symbols, the opportunity for replication of objects and connections between them, and the versatile application for the discrete-event systems models development.

Prombles in programming 2022; 2: 13-21


Keywords


visual programming; translator of the visual programming language; Petri-object model; formal grammar of the language; alphabet of symbols

References


Petri nets : fundamental models, verification, and applications. Michel Diaz (ed.) Willey, 2009. 581 p.

ISO/IEC 15909-1:2004 Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation. [Online] - Available from: https://www.iso.org/standard/38225.html, last accessed 2022/07/2.

CPNTools [Online] - Available from: https://cpntools.org/

Jensen, K., Kristensen, L.M. (2009). CPN ML Programming. In: Coloured Petri Nets. Springer, Berlin, Heidelberg. CrossRef

Стеценко И.В. (2011) Теоретические основы Петри объектного моделирования систем. Математичні машини і системи, 136-148.

Stetsenko I. V., Dorosh V. I., Dyfuchyn A. Petri-object simulation: Software package and complexity. 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2015, pp. 381-385. (Scopus) CrossRef

Дифучин А.Ю., Стеценко І.В., Жаріков Е.В. Граматика мови візуального програмування Петрі-об'єктних моделей // Проблеми програмування. - Київ, 2021. - №4. - С.82-94. CrossRef

Stetsenko, I.V., Dyfuchyn, A.: Petri-object Simulation: Technique and Software. Information, Computing and Intelligent Systems 1, 51-59 (2020). CrossRef

Kimball J. P. The Formal Theory of Grammar Prentice-Hall, 1973 - 127 p.

Becerra-Bonache L., Bel-Enguix G., Jimé- nez-López M. D., Martín-Vide C. (2018). Mathematical Foundations: Formal Grammars and Languages. In: The Oxford Handbook of Computational Linguistics, Second Edition (2nd edn) Ruslan Mitkov (ed.) [Online] - Available from: https://academic. oup.com/edited-volume/42643/chapter-abs tract/358148992?redirectedFrom=fulltext CrossRef

Stetsenko I.V. (2017) Parallel Algorithm for Petri Object Simulation. Cybernetics and Systems Analysis. 53(4), 605-614. CrossRef




DOI: https://doi.org/10.15407/pp2022.02.013

Refbacks

  • There are currently no refbacks.