Title: Modelling of a PLC-Based Railway Traffic Control System

Appears in: Husberg, N., Janhunen, T., and Niemelä, I. (Eds.), Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports HUT-TCS-A63, Espoo, October 2000.

Pages: 131-140

This paper describes the modelling of a distributed PLC system that was developed by Mipro Oy and controls the traffic in the railway section between Haapamäki and Seinäjoki. The PROD tool of HUT-TCS is used for analysing the model.