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 which enables this to occur.
In this paper, we report on the modelling of CCP using Coloured Petri Nets. The complete model is too lengthy to include, so we have illustrated the modelling 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.
Preview
Unable to display preview. Download preview PDF.
References
Distributed Queue Dual Bus (DQDB) Subnetwork of a Metropolitan Area Network (MAN), IEEE P802.6/D15, October 1 1990. Final draft, approved by IEEE standards board on December 6, 1990.
W. Reisig. Petri Nets—An Introduction, Springer-Verlag, 1985.
K. Jensen. Coloured Petri Nets—Basic Concepts, Analysis Methods and Practical Use, Volume 1: Basic Concepts, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.
G. Wheeler. The Configuration Control Protocol of IEEE 802.6 in Coloured Petri Nets, Telecom Australia Research Laboratories Report 8134, May 1992.
G. Wheeler, A. Valmari and J. Billington. Baby TORAS Eats Philosophers but Thinks about Solitaire, Proceedings of the Fifth Australian Software Engineering Conference, Sydney, 22–25 May 1990, p. 283–288, ISBN 0 909394 21 0.
G.J. Holzmann. Design and Validation of Computer Protocols, Prentice-Hall, 1991.
Å. Wikström. Functional Programming Using Standard ML, Prentice-Hall, 1987.
R. Milner, M. Tofte and R. Harper. The Definition of Standard ML, MIT Press, 1990.
R. Harper. Introduction to Standard ML, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213, September 1990.
Design/CPN: A Reference Manual, version 1.75, Meta Software Corporation, June 1991.
J. Billington. Many-sorted High-level Nets, Proceedings of the Third International Workshop on Petri Nets and Performance Models, Kyoto, 11–13 December 1989, pp. 166–179, IEEE CS Press.
P. Huber, K. Jensen and R. Shapiro. Hierarchies in Coloured Petri Nets, Advances in petri Nets 1990, LNCS 483, pp. 313–341, Springer-Verlag, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Wheeler, G. (1999). The modelling and analysis of IEEE 802.6's configuration control protocol with coloured petri nets. In: Billington, J., Diaz, M., Rozenberg, G. (eds) Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol 1605. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0097773
Download citation
DOI: https://doi.org/10.1007/BFb0097773
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65870-2
Online ISBN: 978-3-540-48911-5
eBook Packages: Springer Book Archive