Constructing and Refining Large-Scale Railway Models Represented by Petri Nets. - Anders Moen Hagalisletto; Joakim Bjørk; Ingrid Chieh Yu; På Enger (IEEE Trans. Syst. Man Cybern. Part C, 2007)