Proceedings of ISP RAS


Simulating Petri Nets with Inhibitor and Reset Arcs

Pertsukhov P.A. (HSE, Moscow, Russia)
Mitsyuk A.A. (HSE, Moscow, Russia)

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

Edition

Proceedings of the Institute for System Programming, vol. 31, issue 4, 2019, pp. 151-162.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2019-31(4)-10

For citation

Pertsukhov P.A., Mitsyuk A.A. Simulating Petri Nets with Inhibitor and Reset Arcs. Proceedings of the Institute for System Programming, vol. 31, issue 4, 2019, pp. 151-162. DOI: 10.15514/ISPRAS-2019-31(4)-10.

Full text of the paper in pdf Back to the contents of the volume