Simulating Petri Nets with Inhibitor and Reset Arcs
| Autor: | Pavel Аlexeevitch Pertsukhov, Alexey Alexandrovitch Mitsyuk |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
симуляция
Theoretical computer science business.industry Event (computing) Computer science Inhibitor arcs cети петри дуги сброса Petri net lcsh:QA75.5-76.95 ингибиторные дуги журналы событий Software Simulation algorithm Test algorithm General Earth and Planetary Sciences lcsh:Electronic computers. Computer science Software system business Reset (computing) General Environmental Science |
| Zdroj: | Труды Института системного программирования РАН, Vol 31, Iss 4, Pp 151-162 (2019) |
| ISSN: | 2220-6426 2079-8156 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|