Database: Academic Search Index / Journal: aip conference proceedings / Publication Year Range: Last 50 years / Topic: rtcp-nets - Searchworks@Jio Institute Digital Library Search Results

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

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: 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

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