The Modelling and Analysis of IEEE 802.6 s Configuration Control Protocol with Coloured Petri Nets

Geoffrey R. Wheeler. The Modelling and Analysis of IEEE 802.6 s Configuration Control Protocol with Coloured Petri Nets. In Jonathan Billington, Michel Diaz, Grzegorz Rozenberg, editors, Application of Petri Nets to Communication Networks, Advances in Petri Nets. Volume 1605 of Lecture Notes in Computer Science, pages 69-92, Springer, 1999.

Abstract

Abstract is missing.