Software system modeling, Petrі net, WF-net, Formal Petri nets languages, Synchronization tasks


Background. The article presents the reasons for constructing a combined approach to simulation of the dynamics of software systems based on WF-nets and evaluative interpretations of Petri nets. The research of interpretations of Petri nets and formal languages with which they are described for their adaptation to modeling the dynamics of software systems is presented.

Objective. Justification of the applicability of the combined approach based on WF-nets and bounded Petrі nets for modeling software systems, determination the characteristics of tools for describing software systems using the Petri nets, additions of block modeling patterns with structures that allow describing the tasks of synchronization, control, cyclic functioning, and their combinations.

Methods. The paper presents the possibility of using Petri nets, which are described by the L-type and the G-type languages in a single model. The structural options for using the constructs of Petri nets with their parameters to ensure the liveness and safety of the formed model are presented and analyzed. A model of the user interface of a distributed system that provides collaborative editing of a document is presented. Using a generalized model for schedule compilation and distribution, the use of patterns in the analysis of the network representation of a model is demonstrated.

Results. Rules for constructing models of software systems that maintain the structural conflict-free and allow you to analyze the parameters of the elements of the model during simulation were proposed.

Conclusions. The article presents the basis for the development of a combined approach for software systems modeling that are based on the combination of WF-nets and bounded Petri nets, which allows taking into account the features of the description of software systems when forming dynamic models.

Author Biography

Oksana O. Suprunenko, The Bohdan Khmelnytsky National University of Cherkasy

Оксана Олександрівна Супруненко


A.I. Orlov, “Graphs for modeling industrial enterprise management processes”, Large Systems Management, sp. iss. 30-1, pp. 62–75, 2010.

D. Phillips and A. Garcia-Diaz, Network Analуsis Methods (Fundamentals of network analуsis). Moscow, Russia: Mir, 1984, 496 p.

G.A. Ugolnitskij, “Simulation and optimization models of complex systems, taking into account their structures”, Large Systems Management, sp. iss. 30-1, pp. 799–816, 2010.

V.P. Strogalev and I.O. Tolkathova, Simulation Modeling. Moscow, Russia: Bauman Moscow State Technical University Publ., 2008, 280 p.

A.A. Kolobov et al., High Tech Management. Integrated Production-Corporate Structures: Organization, Economics, Management, Design, Efficiency, Sustainability. Moscow, Russia: Ekzamen, 2008, 621 p.

Prisker, Modeling and Analysis Using Q-GERT Networks. J. Willey & Sons, 1977, 312 p.

V.V. Kuzmuk and O.A. Suprunenko, “The means for the description of information flows in dynamic models of medical hardware-software systems”, Theor. Appl. Sci., vol. 15, no. 7, pp. 11–18, 2014.

B.B. Nesterenko and M.A. Novotarskii, “Process algebra for modeling complex systems with real workload”, Data Registration, Storage, and Processing, vol. 9, no. 4, pp. 49–59, 2007.

W. van der Aalst and K. van Hee, Workflow Management: Models, Methods and Systems. Cambridge, Massachusetts, London: The MIT Press, 2002, 359 p.

J. Esparza et al. (2019). Parameterized Analysis of Immediate Observation Petri Nets [Online]. Available:

V.A. Bashkin, “On the resource equivalences in Petri nets with invisible transitions”, in Proc. Petri Nets and Software Engineering (PNSE'17), Zaragoza, Spain, June 25–30, 2017, pp. 51–68.

L.L. Mannel and W.M.P. van der Aalst, “Finding complex process-structures by exploiting the token-game”, in Proc. Int. Conf. Applications and Theory of Petri Nets and Concurrency, vol. 11522, pp. 258–278, 2019. doi: 10/1007/978-3-030-21571-2_15

D.A. Zaicev and A.I. Slepzov, “Equations of state and equivalent transformations of temporary Petri nets”, Cibernetika i Sistemnyi Analis, no. 5, pp. 59–76, 1997.

V.V. Kuzmuk and O.O. Suprunenko, Modified Petri nets and Devices for Modeling Parallel Processes. Kyiv, Ukraine: Maclaut, 2010, 252 p.

J. Peterson, Theory of Petri Nets and System Modeling. Moscow, Russia: Mir, 1984, 264 p.

I.A. Lomazova, Nested Petri Nets: Modeling and Analysis of Distributed Systems with an Object Structure. Moscow, Russia: Nauchnyi Mir, 2004, 208 p.

P. Baldan et al., “Domain and event structure semantics for petri nets with read and inhibitor arcs”, Theor. Comp. Sci., vol. 323, pp. 129–189, 2004. doi: 10.1016/j.tcs.2004.04.001

E.M. Bronshtein et al., Theory of Computational Processes. Ufa, Russia: UGATU, 2012, 198 p.

O.A. Suprunenko, “Combined tools simulation workflow based graph models”, Theor. Appl. Sci., vol. 23, no. 3, pp. 153–158, 2015. doi: 10.15863/TAS.2015.03.23.26