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