Abstract
This paper is about the two compulsory project assignments set to the students in an undergraduate course on distributed systems. In the first assignment the students design and validate a non-trivial layered protocol by means of Coloured Petri Nets, and in the second they implement the designed protocol in an object-oriented language. From the two assignments the students experience that Coloured Petri Nets, as a formal method, are useful for designing and analysing distributed systems. In the course students are introduced to basic concepts and techniques for distributed systems, and it is explained that such systems are often too complex to manage without using formal methods. In this paper we also report on our experience with teaching the course and describe the didactic methods applied. Based on the obtained experience we conclude that the combination of distributed systems and Coloured Petri Nets is fruitful — the two areas complement each other. Although our experiences origin in Coloured Petri Nets, we believe that many of our observations hold for other formal methods as well.
Preview
Unable to display preview. Download preview PDF.
References
W. Brauer, editor. Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Volume 84 of Lecture Notes in Computer Science, Hamburg, October 1979. Springer-Verlag.
Coloured Petri Nets at the Computer Science Department, University of Aarhus, Denmark. World-Wide Web: http://www.daimi.aau.dk/CPnets/.
Design/CPN Online. World-Wide Web: http://www.daimi.aau.dk/designCPN/.
W. Feurzeig, G. Lukas, and J.D. Lukas. The LOGO Language: Learning Mathematics Through Programming. Entelek, Inc., Portsmouth, NH, 1977.
K. Grønbæk and R.H. Trigg. Design Issues for a Dexter-based Hypermedia System. Communications of the ACM, Vol. 37, 2, 1994.
International Telecommunication Union; Telecommunication Standardization Sector (ITU-T). ITU-T Recommendation Z.120: Message Sequence Chart, Geneva, Switzerland, 1993.
M. Jantzen. Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research. In Brauer [1], pages 507–517.
K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Volume 3, Practical Use. To be published by Springer-Verlag.
K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.
K. Jensen. Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use. Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1994.
K. Jensen, S. Christensen, P. Huber, and M. Holla. Design/CPN Reference Manual. Computer Science Department, University of Aarhus, Denmark, 1996. Available from [3].
T.A. Joseph and K.P. Birman. Reliable Broadcast Protocols. In S. Mullender, editor, Distributed Systems, Frontier Series, chapter 14, pages 293–318. ACM Press, 1989.
N.A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, Inc., 1996.
O.L. Madsen, B. Møller-Pedersen, and K. Nygaard. Object-oriented Programming in the BETA Programming Language. Addison Wesley, 1993. World-Wide Web: http://www.mjolner.com/.
H. Oberquelle. In Teaching and in Terminology Work. In Brauer [1], pages 481–506.
L.C. Paulson. ML for the Working Programmer (2nd Edition). Cambridge University Press, 1996.
A.S. Tanenbaum. Modern Operating Systems. Prentice-Hall International, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christensen, S., Mortensen, K.H. (1997). Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course. In: Azéma, P., Balbo, G. (eds) Application and Theory of Petri Nets 1997. ICATPN 1997. Lecture Notes in Computer Science, vol 1248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63139-9_42
Download citation
DOI: https://doi.org/10.1007/3-540-63139-9_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63139-2
Online ISBN: 978-3-540-69187-7
eBook Packages: Springer Book Archive