For the most recent entries see the Petri Nets Newsletter.

Modelling of a PLC-Based Railway Traffic Control System.

Varpaaniemi, Kimmo

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography