КОМБІНОВАНИЙ ПІДХІД ДО ІМІТАЦІЙНОГО МОДЕЛЮВАННЯ ДИНАМІКИ ПРОГРАМНИХ СИСТЕМ НА ОСНОВІ ІНТЕРПРЕТАЦІЙ МЕРЕЖ ПЕТРІ

Oksana O. Suprunenko

doi:10.20535/kpi-sn.2019.5-6.174596

Vol. · Issue 5-6 · 2019 Oct 15, 2019 article

COMBINED APPROACH TO SIMULATION MODELING OF THE DYNAMICS OF SOFTWARE SYSTEMS BASED ON INTERPRETATIONS OF PETRI NETS

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

PublishedOct 15, 2019

PDF (Ukrainian)

KPISN 5-6 VOL · 5-6

VOL · ISS 5-6 · 2019 View issue

Abstract

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.

Keywords

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

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

Previous in issue ACCURATE TOTAL WEIGHTED TARDINESS MINIMIZATION IN TIGHT-TARDY PROGRESSIVE SINGLE MACHINE SCHEDULING WITH PREEMPTIONS BY NO IDLE PERIODS Next in issue EFFICIENCY OF VORTICAL AND JET CONTROL OF CURRENT STRUCTURE IN LIMITED SWIRLING FLOWS

§ 06 — Related

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

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

[3] 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.

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

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

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

[7] 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.

[8] 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.

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

[10] J. Esparza et al. (2019). Parameterized Analysis of Immediate Observation Petri Nets [Online]. Available: https://arxiv.org/pdf/1902.03025.pdf

[11] 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.

[12] 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

[13] 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.

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

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

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

[17] 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

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

[19] 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

COMBINED APPROACH TO SIMULATION MODELING OF THE DYNAMICS OF SOFTWARE SYSTEMS BASED ON INTERPRETATIONS OF PETRI NETS

Abstract

Keywords

References

Similar articles in this journal

METHODOLOGY FOR THE PARAMETRIC SYNTHESIS OF ZOOM-AFOCAL SYSTEMS BASED ON FIXED VARIOFOCAL LENSES

MODIFICATION OF THE SEPARABLE PHYSICS-INFORMED NEURAL NETWORK METHOD FOR THE APPROXIMATE SOLUTION OF A MIXED PROBLEM FOR THE HEAT CONDUCTION EQUATION IN AN ELLIPTICAL DOMAIN

TWO-STAGE SEGMENTATION PIPELINE FOR SATELLITE PARKING LOT PAVED AREA ESTIMATION

Similar Articles

Similar Articles

SIMULATION MODEL OF A DIGITAL TWIN FOR AN NPP POWER UNIT TECHNOLOGICAL PROCESS

MACHINE LEARNING MODEL FOR RECOGNITION OF UKRAINIAN SIGN LANGUAGE HAND CONFIGURATIONS

AUTONOMOUS INDEX RECOMMENDATION SYSTEM FOR RELATIONAL DATABASES BASED ON COST-MODEL AND PLAN COVERING

DEEP REINFORCEMENT LEARNING-BASED MAPLESS NAVIGATION ALGORITHM FOR HUSKY ROBOT WITH ADAPTIVE CURRICULUM LEARNING

MICROSERVICE ARCHITECTURE AND ALGORITHMS OF A MODULAR AUTOMATION SYSTEM FOR SMALL BUSINESS TECHNOLOGICAL PROCESSES

AN UPLINK POWER CONTROL ROUTINE FOR QUALITY-OF-SERVICE EQUALIZATION IN WIRELESS DATA TRANSFER NETWORKS CONSTRAINED TO EQUIDISTANT POWER LEVELS

SIMPLIFICATION OF THE MEASUREMENT MODEL IN ALGORITHM OF THE STRAPDOWN ATTITUDE AND HEADING REFERENCE SYSTEM BASED ON THE QUATERNION KALMAN FILTER

QUANTUM-MECHANICAL CALCULATIONS OF THE CARBONATE-CONTAINING CALCIUM APATITES ATOMIC AND ELECTRONIC STRUCTURE

ANALYSIS OF APPLICATION OF NEURAL NETWORKS TO IMPROVE THE RELIABILITY OF ACTIVE THERMAL NDT

A SPARSE ANP FORMALIZATION WITH DATA-DRIVEN BINARY COMPARISONS AMONG HOMOGENEOUS COMPONENTS FOR RESOURCE ALLOCATION PRIORITIZATION