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

Oksana O. Suprunenko

doi:10.20535/kpi-sn.2019.5-6.174596

Т. · № 5-6 · 2019 жов 15, 2019 статті

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

Oksana O. Suprunenko Відповідальний The Bohdan Khmelnytsky National University of Cherkasy, Ukraine Україна

Опублікованожов 15, 2019

PDF

НВКПІ 5-6 ТОМ · 5-6

ТОМ · № 5-6 · 2019 Переглянути випуск

Анотація

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.

Ключові слова

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

Посилання

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

Попередня у випуску ТОЧНА МІНІМІЗАЦІЯ ЗАГАЛЬНОГО ЗВАЖЕНОГО ЗАПІЗНЮВАННЯ У ЩІЛЬНОМУ ПРОГРЕСУЮЧОМУ ОДНОМАШИННОМУ ПЛАНУВАННІ З ПЕРЕМИКАННЯМИ БЕЗ ПЕРІОДІВ ПРОСТОЮ Наступна у випуску ЕФЕКТИВНІСТЬ ВИХРОВОГО ТА СТРУМИННОГО КЕРУВАННЯ СТРУКТУРОЮ ТЕЧІЇ В ОБМЕЖЕНИХ ЗАКРУЧЕНИХ ПОТОКАХ

§ 06 — Пов'язані

Схожі статті в цьому журналі

Пов'язані рецензовані дослідження, опубліковані в цьому журналі.

Усі випуски

МЕТОДИКА ФОРМУВАННЯ ІНФОРМАТИВНОГО ПРОСТОРУ ОЗНАК ТЕХНІЧНИХ ІНДИКАТОРІВ ФІНАНСОВИХ ПРОЦЕСІВ НА ОСНОВІ НЕЙРОМЕРЕЖЕВИХ МОДЕЛЕЙ

Роман Тертичний, Денис Чупрін, Петро Бідюк

Проблематика. Фінансові часові ряди характеризуються нелінійністю, нестаціонарністю та високим рівнем шуму, що суттєво ускладнює їх моделювання та прогнозування.…

#методика формування інформативного простору ознак #технічні індикатори #волатильність Паркінсона #нейронні мережі

10.20535/kpisn.2026.3.359610

МЕТОДИ ЗАБЕЗПЕЧЕННЯ ЦІЛІСНОСТІ ОБРОБКИ ТА ПЕРЕДАЧІ ДАНИХ У ПРОМИСЛОВИХ СИСТЕМАХ АВТОМАТИЗАЦІЇ

Ярослав Корпань, Євген Федоров, Ольга Нечипоренко

Проблематика. Сучасні промислові системи контролю характеризуються високим рівнем інтеграції інформаційних і фізичних процесів та використанням розподілених…

#промислові системи автоматизації #SCADA-системи #цілісність даних #кібербезпека ICS

10.20535/kpisn.2026.3.361520

МЕТОДИКА ПАРАМЕТРИЧНОГО СИНТЕЗУ ЗУМ-АФОКАЛЬНИХ СИСТЕМ НА ОСНОВІ НЕРУХОМИХ ВАРІОЛІНЗ

Ігор Г. Чиж

Проблематика Зум-оптичні системи, в яких використовуються механічно нерухомі електрично керовані варіолінзи, не можуть вважатися такими, що мають нерухомі оптичні…

#зум-афокальні системи #головні точки варіолінз #синтез зум-афокальних систем #стабільна афокальність зум-системи

10.20535/kpisn.2026.3.351645

Схожі статті

Костянтин Бровко, Павло Буданов, Олег Великогорський, Юлія Олійник, Наталія Винокурова, Сергій Войтенко, ІМІТАЦІЙНА МОДЕЛЬ ЦИФРОВОГО ДВІЙНИКА ТЕХНОЛОГІЧНОГО ПРОЦЕСУ ЕНЕРГОБЛОКУ АЕС , Наукові вісті КПІ: Том 143 № 2 (2026)
Костянтин Д. Грішин, Nadezhda Nedashkovskaya, МОДЕЛЬ МАШИННОГО НАВЧАННЯ ДЛЯ РОЗПІЗНАВАННЯ КОНФІГУРАЦІЙ РУК УКРАЇНСЬКОЇ ЖЕСТОВОЇ МОВИ , Наукові вісті КПІ: Том 143 № 2 (2026)
Віталій Голубінка, АВТОНОМНА СИСТЕМА РЕКОМЕНДАЦІЇ ІНДЕКСІВ ДЛЯ РЕЛЯЦІЙНИХ БАЗ ДАНИХ НА ОСНОВІ COST-MODEL ТА PLAN COVERING , Наукові вісті КПІ: Том 143 № 2 (2026)
Дмитро Петренко, Анатолій Протасов, АЛГОРИТМ БЕЗКАРТОГРАФІЧНОЇ НАВІГАЦІЇ РОБОТА HUSKY НА ОСНОВІ МОДЕЛЕЙ ГЛИБОКОГО НАВЧАННЯ З ПІДКРІПЛЕННЯМ ТА АДАПТИВНОГО НАВЧАЛЬНОГО ПЛАНУ , Наукові вісті КПІ: Том 143 № 2 (2026)
Євген Панкратов, Григорій Тимчик, МІКРОСЕРВІСНА АРХІТЕКТУРА ТА АЛГОРИТМИ МОДУЛЬНОЇ СИСТЕМИ АВТОМАТИЗАЦІЇ ТЕХНОЛОГІЧНИХ ПРОЦЕСІВ МАЛОГО БІЗНЕСУ , Наукові вісті КПІ: Том 143 № 2 (2026)
Vadim V. Romanuke, ПРОГРАМА КОНТРОЛЮ ПОТУЖНОСТІ У ВИСХІДНОМУ НАПРЯМКУ ДЛЯ ВИРІВНЮВАННЯ ЯКОСТІ СЕРВІСУ В БЕЗПРОВОДОВИХ МЕРЕЖАХ ПЕРЕДАЧІ ДАНИХ З ОБМЕЖЕННЯМ ДО РІВНОВІДДАЛЕНИХ РІВНІВ ПОТУЖНОСТІ , Наукові вісті КПІ: № 2 (2019)
Yevhen I. Bilous, Oleh I. Nesterenko, СПРОЩЕННЯ МОДЕЛІ ВИМІРЮВАННЯ В АЛГОРИТМІ КВАТЕРНІОННОГО ФІЛЬТРА КАЛМАНА БЕЗПЛАТФОРМНОЇ КУРСОВЕРТИКАЛІ , Наукові вісті КПІ: № 1 (2019)
Anastas A. Romansky, Lyubov I. Karbivska, Volodymyr L. Karbivskyy, Olena Ya. Kuznetsova, Viktor V. Stonis, Arsen P. Soroka, КВАНТОВОМЕХАНІЧНІ РОЗРАХУНКИ АТОМНОЇ СТРУКТУРИ ТА ЕЛЕКТРОННОЇ БУДОВИ КАРБОНАТВМІСНИХ АПАТИТІВ КАЛЬЦІЮ , Наукові вісті КПІ: № 1 (2019)
Roman M. Galagan, Andrii S. Momot, АНАЛІЗ ЗАСТОСУВАННЯ НЕЙРОННИХ МЕРЕЖ ДЛЯ ПІДВИЩЕННЯ ДОСТОВІРНОСТІ АКТИВНОГО ТЕПЛОВОГО НЕРУЙНІВНОГО КОНТРОЛЮ , Наукові вісті КПІ: № 1 (2019)
Вадим Романюк, ФОРМАЛІЗАЦІЯ РОЗРІДЖЕНОГО ANP З БІНАРНИМИ ПОРІВНЯННЯМИ НА ОСНОВІ ДАНИХ У КОЛІ ОДНОРІДНИХ КОМПОНЕНТІВ ДЛЯ ПРІОРИТИЗАЦІЇ РОЗПОДІЛУ РЕСУРСІВ , Наукові вісті КПІ: Том 144 № 3 (2026)

1-10 з 76 Наступне

Ви також можете розпочати розширений пошук схожих статей для цієї статті.

[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