### Details

#### Title

Tools and Methods for RTCP-Nets Modeling and Verification

#### Journal title

#### Yearbook

#### Numer

#### Publication authors

#### Divisions of PAS

#### Abstract

#### Publisher

Committee of Automatic Control and Robotics PAS

#### Date

#### Identifier

ISSN 1230-2384

#### References

Biernacka (2015), State - based verification of RTCP - nets with nuXmv of Computational Methods in Sciences and Athens Greece, Engineering, 1702. ; Jensen (2007), Colored Petri nets and CPN Tools for modelling and validation of concurrent systems on Software Tools for Technology Transfer, Int J, 9, 213. ; InProc (1993), van derAalst : Interval timed coloured Petri nets and their analysis of the th Int on Application and Theory of Petri London UK, Nets, 14. ; Emerson (1990), Temporal and modal logic In van Leeuwen editor Handbook of Theoretical Computer BElsevier, Science Science, 995. ; Szpyrka (2006), Analysis of RTCP - nets with reachability graphs, Fundamenta Informaticae, 74, 375. ; Samolejand (2002), Time extensions of Petri nets for modelling and verification of hard real - time systems Computer, Science, 4, 55. ; Emerson (1997), Model checking and the mu - calculus InDIMACS Series in Discrete Mathematics American Mathematical, Society, 185. ; Cavada (2014), The nuXmv symbolic model checker InComputer Aided Verification ofLecture Notes in Computer Springer, Science, 8559. ; Jasiul (2014), Szpyrka andJ Malware behavior modelling with colored Petri nets InComputer Information Systems and Industrial Management Proceedings of the th Springer - Verlag, Int, 8, 8838. ; Biernacki (2015), Action - based verification of RTCP - nets with CADP of Computational Methods in Sciences and Athens Greece, Engineering, 1702. ; Cimatti (2000), a new symbolic model checker on Software Tools for Technology Transfer, Int J, 2, 410.

#### DOI

10.1515/acsc-2016-0019