3 search results - page 1 / 1 » Verification of the SIP Transaction Using Coloured Petri Net... |
ACSC
2009
IEEE
13 years 8 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
IEAAIE
1995
Springer
13 years 7 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
JSW
2007
13 years 4 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...