Analysis of RTCP-nets with Reachability Graphs
2006; IOS Press; Volume: 74; Issue: 2-3 Linguagem: Inglês
10.3233/fun-2006-742-310
ISSN1875-8681
Autores Tópico(s)Formal Methods in Verification
ResumoRTCP-nets are a subclass of timed coloured Petri nets defined for modelling and analysis of embedded real-time systems. One of the main advantages of strongly bounded RTCP-nets is a possibility to present the set of reachable states of an RTCP-net using a finite reachability and/or coverability graph. These graphs can be used to verify most of the net's properties, including the timing ones. The paper discusses analysis methods based on these graphs. A formal definition of RTCP-nets and a survey of their properties are also presented in the paper.
Referência(s)