In: Billington, J.; Diaz, M.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 1605: Application of Petri Nets to Communication Networks, pages 69-92. Springer-Verlag, 1999.
Abstract: The IEEE Standard 802.6 (Distributed Queue Dual Bus (DQDB) Subnetwork of a Metropolitan Area Network (MAN)) permits subnetwork reconfiguration, usually without loss of communication ability, whenever there are bus faults. The Configuration Control Protocol (CCP) is the protocol with enables this to occur. This paper reports on the modeling of CCP using colored Petri nets. The complete model is too lengthy to include, so the modeling is illustrated using a number of carefully selected examples. The examples illustrate how CPNs can replace a number of commonly used informal specification practices. They also show how CPNs cope with defining the purpose of the protocol and the intended environment in which it is meant to operate - important features often missing from specifications. Finally, some analysis of CCP which revealed a problem, is described.
Keywords: IEEE Standard 802.6, colored Petri nets, configuration control protocols.