Simulating Petri Nets with Inhibitor and Reset Arcs
https://doi.org/10.15514/ISPRAS-2019-31(4)-10
Abstract
Event logs of software systems are used to analyze their behaviour and inter-component interaction. Artificial event logs with desirable specifics are needed to test algorithms supporting this type of analysis. Recent methods allow to generate artificial event logs by simulating ordinary Petri nets. In this paper we present the algorithm generating event logs for Petri nets with inhibitor and reset arcs. Nets with inhibitor arcs are more expressive than ordinary Petri nets, and allow to conveniently model conditions in real-life software. Resets are common in real-life systems as well. This paper describes the net simulation algorithm, and shows how it can be applied for event log generation.
Supporting agencies: This work is supported by the Basic Research Program at the National Research University Higher School of Economics
About the Authors
Pavel Аlexeevitch Pertsukhov
National Research University Higher School of Economics
Russian Federation
A bachelor student
Russian Federation
A bachelor student
Alexey Alexandrovitch Mitsyuk
National Research University Higher School of Economics
Russian Federation
Research fellow at the Laboratory of Process-Aware Information Systems of the Computer Science Faculty
Russian Federation
Research fellow at the Laboratory of Process-Aware Information Systems of the Computer Science Faculty
References
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.
Review
For citations:
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
Email this article 