Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
VMEbus: A Practical Companion
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification
Software Engineering (7th Edition)
Software Engineering (7th Edition)
Hi-index | 0.00 |
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.