Zhu, P.; Schnieder, E.:
Integrated Modelling of Railway Traffic with Petri Nets.
In: Troch, I.; Breitenecker, F., Hrsg.: 3rd Mathmod Vienna Proceedings, S. 453-456, ''7 2000. Wien.


This papaer introduces a framework which models in an integrated way the railway system with Coloured Petri Nets (CPN). It is shown how to simplify the modelling by abstraction, modularization and reuse. The constraints upon train operations are treated centralised and exlusively in the model of the train control system so that complicated train operation algorithms can be traken into account such as resource assignment.