In: 11th Annual International Symposium of the International Council on Systems Engineering (INCOSE 2001), pages 1-8. 1-5 July 2001. Melbourne, Australia.
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.