3.2.4 Modelling and Analysis of Internet Multimedia Protocols
Lin Liu, Jonathan Billington · INCOSE International Symposium · 2001
Abstract ITU‐T recommendation H.323 is the dominant standard for multimedia communications over packet‐based networks, including the Internet. This paper firstly reviews the H.323 standard, then proposes a formal analysis methodology for H.323 using Coloured Petri Nets (CPN). Some initial CPN modelling and analysis results for H.323 are given, and further work is proposed.