1. 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