Симуляция сетей Петри с ингибиторными дугами и дугами сброса
https://doi.org/10.15514/ISPRAS-2019-31(4)-10
Аннотация
Журналы событий программных систем используются для анализа их поведения и взаимодействия между компонентами. Искусственные журналы событий с подходящими свойствами необходимы для тестирования алгоритмов, используемых для такого анализа. Современные методы позволяют генерировать искусственные журналы событий в результате симуляции обычных сетей Петри. В этой статье мы представляем алгоритм, генерирующий журналы событий для сетей Петри с ингибиторными дугами и дугами сброса. Сети с ингибиторными дугами более выразительны, по сравнению с классическими сетями Петри, и позволяют удобно моделировать условия в реальном программном обеспечении. Операции сброса также распространены в реальных системах. В этой статье описывается алгоритм симуляции сетей Петри с ингибиторными дугами и сбросами, а также показано, каким образом его можно применять для генерации журнала событий.
При поддержке: Работа выполнена при поддержке Программы фундаментальных исследований Национального исследовательского университета Высшая школа экономики.
Об авторах
Павел Алексеевич Перцухов
Национальный исследовательский университет «Высшая школа экономики»
Россия
Студент бакалавриата
Россия
Студент бакалавриата
Алексей Александрович Мицюк
Национальный исследовательский университет «Высшая школа экономики»
Россия
Научный сотрудник лаборатории процессно-ориентированных информационных систем факультета компьютерных наук
Россия
Научный сотрудник лаборатории процессно-ориентированных информационных систем факультета компьютерных наук
Список литературы
1. Wil M.P. van der Aalst. Process mining: Discovery, Conformance and Enhancement of Business Processes. Springer, 2011, 352 p.
2. J. Carmona, B.F. van Dongen, A. Solti, and M. Weidlich. Conformance Checking – Relating Processes and Models. Springer, 2018, 270 p.
3. M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007, 408 p.
4. Wil M.P. van der Aalst. Process mining and simulation: a match made in heaven! In Proc. of the 50th Computer Simulation Conference, 2018, Article No. 4.
5. Burattin and A. Sperduti. PLG: A framework for the generation of business process models and their execution logs. Lecture Notes in Business Information Processing, vol. 66, 2010, pp. 214–219.
6. A. Burattin. PLG2: multiperspective process randomization with online and offline simulations. In Proc. of the BPM Demo Track 2016, CEUR Workshop Proceedings, vol. 1789, 2016.
7. T. Jouck and B. Depaire. Ptandloggenerator: A generator for artificial event data. . In Proc. of the BPM Demo Track 2016, CEUR Workshop Proceedings, vol. 1789, 2016.
8. A. Mitsyuk, I.S. Shugurov, A.A. Kalenkova, and W.M.P. van der Aalst. Generating event logs for high-level process models. Simulation Modelling Practice and Theory, vol. 74, 2017, pp. 1–16.
9. W. Reisig, Understanding Petri Nets – Modeling Techniques, Analysis Methods, Case Studies. Springer, 2013, 260 p.
10. K. Jensen and L. M. Kristensen. Coloured Petri Nets – Modelling and Validation of Concurrent Systems. Springer, 2009, 384 p.
11. A. Lomazova. Nested Petri Nets: Multi-level and Recursive Systems. Fundamenta Informaticae, vol. 47, no. 3-4, 2001, pp. 283–293.
12. R. Valk. Object Petri nets: Using the nets-within-nets paradigm. Lecture Notes in Computer Science, vol. 3098, 2003, pp. 819–848.
13. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002, 384 p.
14. C. Lakos and S. Christensen. A general systematic approach to arc extensions for coloured Petri nets. of Lecture Notes in Computer Science, vol. 815, 1994, pp. 338–357.
15. R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, vol. 123, no. 1, 1995, pp. 1–16.
16. H. C. M. Kleijn and M. Koutny. Process semantics of p/t-nets with inhibitor arcs. Lecture Notes in Computer Science, vol. 1825, 2000, pp. 261–281.
17. S. Shugurov and A. A. Mitsyuk. Generation of a Set of Event Logs with Noise. In Proc. of the 8th Spring/Summer Young Researchers Colloquium on Software Engineering (SYRCoSE 2014), 2014, pp. 88–95.
18. Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents. Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue 3, 2018, pp. 285-302. DOI: 10.15514/ISPRAS-2018-30(3)-20.
Рецензия
Для цитирования:
Перцухов П.А., Мицюк А.А. Симуляция сетей Петри с ингибиторными дугами и дугами сброса. Труды Института системного программирования РАН. 2019;31(4):151-162. https://doi.org/10.15514/ISPRAS-2019-31(4)-10
For citation:
Pertsukhov P.А., Mitsyuk A.A. Simulating Petri Nets with Inhibitor and Reset Arcs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(4):151-162. https://doi.org/10.15514/ISPRAS-2019-31(4)-10
Послать статью по эл. почте 