In: N. Husberg, T. Janhunen & I. Niemelä (Eds.), Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Report HUT-TCS-A63, pages 131-140. October 2000.
Abstract: 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.
Keywords: programmable logic controllers.