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.
Keywords:
Petri nets, inhibitor arcs, reset arcs, simulation, event logs.
\Bibitem{PerMit19}
\by P.~А.~Pertsukhov, A.~A.~Mitsyuk
\paper Simulating Petri nets with inhibitor and reset arcs
\jour Proceedings of ISP RAS
\yr 2019
\vol 31
\issue 4
\pages 151--162
\mathnet{http://mi.mathnet.ru/tisp445}
\crossref{https://doi.org/10.15514/ISPRAS-2019-31(4)-10}
Linking options:
https://www.mathnet.ru/eng/tisp445
https://www.mathnet.ru/eng/tisp/v31/i4/p151
This publication is cited in the following 2 articles:
John Albert R. Castillo, Jasmine A. Malinao, Lecture Notes in Computer Science, 14799, Generative Intelligence and Intelligent Tutoring Systems, 2024, 193
Joscha Grüger, Tobias Geyer, David Jilg, Ralph Bergmann, Lecture Notes in Business Information Processing, 468, Process Mining Workshops, 2023, 328
Citation in format AMSBIB
Contact us: