Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (Q3510862)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
scientific article

    Statements

    Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (English)
    0 references
    0 references
    0 references
    3 July 2008
    0 references
    Session Initiation Protocol
    0 references
    Coloured Petri Nets
    0 references
    protocol verification
    0 references

    Identifiers