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.
Back to the Petri Nets Bibliography