In: CPN, Aarhus, Denmark, 10-12 June 1998 / Jensen, K.: Daimi PB-532: Workshop on Practical Use of Coloured Petri Nets and Design, pages 103-115. Aarhus University, 1998.
Abstract: At the Institute of Control and Automation Engineering Design/CPN has been used to model the European Train Control System (ETCS) within a project for the Deutsche Bahn AG (german railways). This paper reports of experiences in modelling this complex, distributed automation system using Coloured Petri Nets and the Design/CPN tools. We will concentrate on some technical issues. However, for motivation we will give a brief overview of the application and will describe the modelling paradigms that we applied.