Model Railway

Abstract

The example presented here has been used within a course on specification and validation of concurrent systems. After theoretical lectures and exercise courses, the students have to carry out a project on a model railway. They have to specify the railway, to validate their model and translate it into a program running a physical model railway.

The paper presents the problem and describes how it is handled step by step by the students. It shows how the analysis results lead to change policies for the trains moves and finally gives some hints about the implementation.

The files contain the complete CPN for the model railway.

Developed and Maintained by

Laure Petrucci, LSV, CNRS UMR 8643, ENS de Cachan, France (petrucci@lsv.ens-cachan.fr)
Last modified: Wed Jul 5 13:11:56 MET DST 2000 -- Design/CPN Online admin