*Institut de Robòtica i Informàtica
Industrial. Universitat Politècnica de Catalunya,
C/ Llorens i Artiguas, 4-6, 2ª
planta. 08028 (Barcelona), Catalunya
** Unitat d’Enginyeria de Sistemes
i Automàtica. Universitat Autònoma de Barcelona, Bellaterra
08193 (Barcelona), Catalunya
jvilam@iri.upc.es
This paper describes the design of a coloured petri net (CPN) model that formalizes the concurrent access to shared resources in a train railroad system. A generic methodology is presented to develop simulation models of asynchronous and non-deterministic railroad operations described in the CPN formalism. Models generated by means of the proposed methodology can be used for strategic decision making to improve operational decisions.
Financial support of this work by the CICYT (PACTI COO1999AX032, DPI2001-2051-C02 and DPI2001-2051-C01) is gratefully acknowledged.