Title

Tools and Methods for RTCP-Nets Modeling and Verification

Journal title

Archives of Control Sciences

Yearbook

2016

Issue

No 3

Authors

Szpyrka, Marcin ; Biernacki, Jerzy ; Biernacka, Agnieszka

Divisions of PAS

Nauki Techniczne

Publisher

Committee of Automatic Control and Robotics PAS

Date

2016

Identifier

DOI: 10.1515/acsc-2016-0019 ; ISSN 1230-2384

Source

Archives of Control Sciences; 2016; No 3

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.