Search

Showing total 4 results
4 results

1. Action-based Verification of RTCP-nets with CADP.

Author

Biernacki, Jerzy, Biernacka, Agnieszka, and Szpyrka, Marcin

Subjects
*GRAPH theory, *ALGORITHMS, *PETRI nets, *MATHEMATICAL models, *CONTROL boards (Electrical engineering)
Abstract

The paper presents an RTCP-nets' (real-time coloured Petri nets) coverability graphs into Aldebaran format translation algorithm. The approach provides the possibility of automatic RTCP-nets verification using model checking techniques provided by the CADP toolbox. An actual fire alarm control panel system has been modelled and several of its crucial properties have been verified to demonstrate the usability of the approach. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

2. State-based Verification of RTCP-nets with nuXmv.

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

3. Action-based Verification of RTCP-nets with CADP.

Author

Biernacki, Jerzy, Biernacka, Agnieszka, and Szpyrka, Marcin

Subjects
*PETRI nets, *GRAPH coloring, *ALGORITHMS, *CONTROL boards (Electrical engineering), *SYSTEMS design
Abstract

The paper presents an RTCP-nets' (real-time coloured Petri nets) coverability graphs into Aldebaran format translation algorithm. The approach provides the possibility of automatic RTCP-nets verification using model checking techniques provided by the CADP toolbox. An actual fire alarm control panel system has been modelled and several of its crucial properties have been verified to demonstrate the usability of the approach. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

4. State-based Verification of RTCP-nets with nuXmv.

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