Publication Details
Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets
Oriented Petri Nets, debugging, tracing, reverse debugging, requirements
validation
Application run tracing and step-by-step execution are an integral part of the
debugging process. In many cases, debugging would be more comfortable and faster
if it was possible to go back in the execution and examine the system state
before getting into the wrong or disabled state. Currently, such a technique is
not widespread, but there are experimental implementations that burden the
application run with logging information needed to restore previous states.
Moreover, many of them increase overhead in a significant way. This paper focuses
on the possibility of reversing the run of systems whose behavior is described by
Petri nets. The work follows the methodology of designing and validating system
requirements using functional models that combine formal notation with objects of
the production environment and can be used as a full-fledged application. Due to
the nature of Petri Nets formalisms, it is possible to define reverse operations
to reduce the overhead of application run.
@article{BUT161470,
author="Radek {Kočí} and Vladimír {Janoušek}",
title="Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets",
journal="International Journal on Advances in Software",
year="2019",
volume="12",
number="3",
pages="191--200",
issn="1942-2628",
url="http://www.iariajournals.org/software/tocv12n34.html"
}