In: Real-Time Systems, 2006. 2006. URL: http://dx.doi.org/10.1007/s11241-006-9003-0.
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.
Keywords: RTCP-nets; VME-Bus.