Analysis of RTCP-nets with reachability graphs

Fundamenta Informaticae

Volumn 74, Issue 2-3, 2006, Pages 375-390

  Szpyrka, Marcin ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

Analysis; Coverability graphs; Reachability graphs; RTCP nets

Indexed keywords

COMPUTER SIMULATION; PETRI NETS; REAL TIME SYSTEMS;

COVERABILITY GRAPHS; REACHABILITY GRAPHS; RTCP NETS;

GRAPH THEORY;

EID: 33751008313     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Bowden, F. D. J.: Modelling Time in Petri Nets, Proceedings of the Second Australia-Japan Workshop on Stochastic Models in Engineering, Technology and Management, Gold Coast, Australia, 6-9 July 1996.
2. Christensen, S., Kristensen, L. M., Mailund, T.: Condensed State Spaces for Timed Petri Nets, Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001 (ICATPN 2001), 2075, Newcastle upon Tyne, UK, 2001.
3. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1-3, Springer-Verlag, 1992-1997.
4. Jørgensen, J. B., Kristensen, L. M.: Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes, Proceedings of Workshop on Petri Nets in System Engineering, Modelling, Verification and Validation, Hamburg, Germany, 25-26 September 1997.
5. Jørgensen, J. B., Kristensen, L. M.: Computer Aided Verification of Lamport's Fast Mutual Exclusion 7Algorithm Using Coloured Petri Nets Occurrence Graphs with Symmetries, IEEE Transactions on Parallel and Distributed Systems, 10(7), 1999, 714-732.
6. Murata, T.: Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, 77(4), 1989, 541-580.
7. Samolej, S., Szmuc, T.: Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems, Computer Science, 4, 2002, 55-76.
8. Szpyrka, M.: Fast and Flexible Modelling of Real-time Systems with RTCP-nets, Computer Science, 6, 2004, 81-94.
9. Szpyrka, M., Szmuc, T., Matyasik, P., Szmuc, W.: A Formal Approach to Modelling of Real-time Systems Using RTCP-nets, Foundations of Computing and Decision Sciences, 30(1), 2005, 61-71.
10. Valmari, A.: Stubborn Sets of Coloured Petri Nets, Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 674, Gjern, Denmark, June 1991.