Database: Academic Search Index / Publisher: american institute of physics / Topic: ctl - Searchworks@Jio Institute Digital Library Search Results

Showing total 2 results

Start Over Topic ctl Database Academic Search Index Publisher american institute of physics

Author: 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]
Published: 2015
Full Text: View/download PDF

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]
Published: 2015
Full Text: View/download PDF

Searchworks