메뉴 건너뛰기




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;

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)
  • 9
    • 84892663105 scopus 로고    scopus 로고
    • Resource reservation protocol (RSVP)-Version 1:Message processing rules
    • February
    • Lindell B., Braden B., and Zhang L. Resource Reservation Protocol (RSVP)-Version 1:Message Processing Rules. IETF Internet Draft, February, 2008.
    • (2008) IETF Internet Draft
    • Lindell, B.1    Braden, B.2    Zhang, L.3
  • 12
    • 0024645936 scopus 로고    scopus 로고
    • Petri nets: Properties, analysis and applications
    • April
    • Murata T., Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, Vol. 77, No. 4, April, 2010 pp 541-580.
    • (2010) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.