|
Volumn , Issue , 2013, Pages 197-204
|
Protocol modelling and validation using coloured petri nets
|
Author keywords
coloured Petri nets; Protocol verification; RSVP
|
Indexed keywords
COLOURED PETRI NETS;
LIVENESS;
PROTOCOL MODELLING;
PROTOCOL SPECIFICATIONS;
PROTOCOL VERIFICATION;
RESOURCE RESERVATION PROTOCOL;
RSVP;
TRANSFORMATION RULES;
ARTIFICIAL INTELLIGENCE;
FORMAL METHODS;
SEMANTICS;
SOFTWARE AGENTS;
SPECIFICATIONS;
PETRI NETS;
|
EID: 84892657837
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/CICN.2013.50 Document Type: Conference Paper |
Times cited : (1)
|
References (12)
|