Large scale construction of railroad models from speci cations

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 7, Issue , 2004, Pages 6212-6219

  Moen, Anders ^a   Yu, Ingrid Chieh ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

Adaptive and intuitive interfaces; Petri Nets; Railroad systems; Systems modeling and control

Indexed keywords

ADAPTIVE AND INTUITIVE INTERFACES; RAILROAD SYSTEMS; SYSTEMS MODELING AND CONTROL;

COMPUTATIONAL COMPLEXITY; COMPUTER AIDED ANALYSIS; COMPUTER PROGRAMMING; COMPUTER SIMULATION; GRAPHICAL USER INTERFACES; PETRI NETS; SEMANTICS; SYSTEMS ANALYSIS;

RAILROAD PLANT AND STRUCTURES;

EID: 15744367338     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1401374     Document Type: Conference Paper

References (12)

1. K. Jensen, Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, ser. EATCS, Monographs on Theoretical Computer Science. Springer-Verlag, 1997, vol. 1, basic Concepts.
2. T. Kristoffersen, A. Moen, and H. A. Hansen, "Extracting High-Level Information from Petri Nets: A Railroad Case," Proceedings of the Estonian Academy of Physics and Mathematics, vol. 52, no. 4, December 2003.
3. J. Pachl, Railway Operation and Control. VTD Rail Publishing, 2002.
4. C. A. R. Hoare, "Proof of correctness of data representations," Acta Informatica, vol. 1, no. 4, pp. 271-281, 1972.
5. E. Best, R. Devillers, and M. Koutny, Petri Net Algebra. Springer-Verlag, 2001.
6. W. M. P. van der Aalst, K. M. van Hee, and G. J. Houben, "Modelling and Analyzing Workflow using a Petrinet based Approach," in Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, G. D. Michelis, C. Ellis, and G. Memmi, Eds., 1994, pp. 31-50.
7. W. M. P. van der Aalst, "Three Good Reasons for Using a Petrinet based Workflow Management System," in Information and Process Integration in Enterprises: Rethinking Documents, T. Wakayama, S. Kannapan, C. Khoong, S. Navathe, and J. Yates, Eds. Kluwer Academic Publishers, Boston, Massachusetts, 1998, vol. 428.
8. _, "The Application of Petri Nets to Workflow Management," The Journal of Circuits, Systems and Computers, vol. 8, no. 1, pp. 21-66, 1998.
9. W. Hielscher, L. Urbszat, C. Reinke, and W. Kluge, "On Modelling Train Traffic in a Model Train System," in Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN, June 8-12, 1998, Aarhus Denmark, 1998.
10. M. M. zu Hörste, "Modelling and Simulation of Train Control Systems using Petri Nets," in FMRail Workshop 3, 1999.
11. D. Decknatel, "Modelling Train Movement with Hybrid Petri Nets," in FMRail Workshop 4, 1999.
12. G. Malavasi and S. Ricci, "Petri nets theory in the railway signalling models," in FMRail Workshop 5, 1999.