Abstract
The paper discusses an RTCP-net approach to design and analysis of an example of VMEbus communication protocol. RTCP-nets are a novel Petri net class, based on time coloured Petri nets but were defined to give users powerful tools for easy and rapid design of real-time systems. Page templates are one of the main advantages of the new nets' design stage. Just modifying values of parameters in the page hierarchy graph is enough to change some features of a modelled system. Therefore, it is easy to experiment on different versions of the same model with very little additional effort. It is also very easy to reorganize page templates in order to model a different structure of a system.
Relevant definitions and main properties of RTCP-nets are presented in the paper. A VMEbus communication protocol case study is used to demonstrate some applications of this approach.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Cheng AMK (2002) Real-time systems. Scheduling, Analysis, and Verification. Wiley Interscience, New Jersey
Heath S (ed) (1995) VME bus a practical companion. Butterworth-Heinemann Ltd., Oxford
Heitmeyer C, Mandrioli D (eds) (1996) Formal methods for real-time computing. John Wiley & Sons, Chichester
Jensen K (1992) Coloured Petri nets. Basic concepts, Analysis Methods and Practical Use. Vol. 1, Springer-Verlag
Kristensen LM, Christensen S, Jensen K (1998) The practitioner’s guide to coloured Petri nets. Intern J Softw Tools Techn Trans: Spec Sect Coloured Petri Nets 2(2):98–132
Sommerville I (2004) Software engineering. Pearson Education Limited, London
Szpyrka M (2004) Fast and flexible modelling of real-time systems with RTCP-nets. Comp Sci, 6:81–94
Szpyrka M, Szmuc, T (2005) New time model and design method for RTCP-nets. In: Colnaric M, Halang WA and Węgrzyn M (eds), Real-time programming 2004. Elsevier Science Ltd., pp 121–126
Szpyrka M, Szmuc T (2006) D-nets – Petri net form of rule-based systems. Found Comp Dec Sci 31(2):157–167
Author information
Authors and Affiliations
Corresponding author
Additional information
The work is carried out within KBN Research Project, Grant No. 4 T11C 035 24.
Marcin Szpyrka received the M.S. degree in mathematics from the Rzeszów University (Poland) in 1997. He received the Ph. D. degree in computer science from AGH University of Science and Technology in Kraków (Poland) in 2000.
Marcin Szpyrka is currently an assistant professor at the Institute of Automatics, AGH-UST. His research interests include: formal methods (Petri nets, process algebras), real-time systems and safety-critical systems. He has published over 40 papers and one book.