Modelling Functionality of Train Control Systems using Petri Nets

@inproceedings{Hungar2013ModellingFO,
  title={Modelling Functionality of Train Control Systems using Petri Nets},
  author={Hardi Hungar},
  year={2013}
}
Railway safety systems are highly complex systems with respect to functionality as well as dependability. The new European Train Control System (ETCS) as one part of the European Rail Traffic Management System (ERTMS) is the example presented here. A formal model using Coloured Petri Nets (CPN) was prepared by using the existing ERTMS/ETCS specification as a basis. The applied method is an integrated eventand data-oriented approach, which shows the different aspects of the system on their own… CONTINUE READING