COMBINED APPROACH TO SIMULATION MODELING OF THE DYNAMICS OF SOFTWARE SYSTEMS BASED ON INTERPRETATIONS OF PETRI NETS
DOI:
https://doi.org/10.20535/kpi-sn.2019.5-6.174596Keywords:
Software system modeling, Petrі net, WF-net, Formal Petri nets languages, Synchronization tasksAbstract
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.References
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: https://arxiv.org/pdf/1902.03025.pdf
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
Downloads
Published
Issue
Section
License
Copyright (c) 2019 The Author(s)
This work is licensed under a Creative Commons Attribution 4.0 International License.
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 CC BY 4.0 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
