Biernacka, Agnieszka, Biernacki, Jerzy, and Szpyrka, Marcin
Subjects
*PETRI nets, *FINITE state machines, *GRAPH theory, *ALGORITHMS, *MATHEMATICAL models, *VERIFICATION of computer systems
Abstract
The paper deals with an algorithm of translation of RTCP-nets' (real-time coloured Petri nets) coverability graphs into nuXmv state machines. The approach enables users to verify RTCP-nets with model checking techniques provided by the nuXmv tool. Full details of the algorithm are presented and an illustrative example of the approach usefulness is provided. [ABSTRACT FROM AUTHOR]
Biernacka, Agnieszka, Biernacki, Jerzy, and Szpyrka, Marcin
Subjects
*FINITE state machines, *ALGORITHMS, *PETRI nets, *GRAPH theory, *MATHEMATICAL models
Abstract
The paper deals with an algorithm of translation of RTCP-nets' (real-time coloured Petri nets) coverability graphs into nuXmv state machines. The approach enables users to verify RTCP-nets with model checking techniques provided by the nuXmv tool. Full details of the algorithm are presented and an illustrative example of the approach usefulness is provided. [ABSTRACT FROM AUTHOR]