Monitoring and forecasting of railway traffic regularity by a Petri nets model

The paper describes current results and potential applications, particularly in the field of the traffic regularity monitoring and forecasting, of an ongoing research concerning the development of a model to simulate the operation of complex railway systems based on working criteria and operational rules of safety systems, as interlocking system and line signalling systems, though independent by applied technologies. Modelling is based on object oriented approach by the Petri nets formalism that allows high processing openness and modular building without breaking away from the safety systems logic. During the research many logical models for traditional and innovative safety systems (BACC, BCA, ERTMS, ACS, level crossing) were built up. These models were designed and developed by the software Artifex© (by Artis), in the meantime the applicability of CPN tools© (by Department of Computer Science of University of Aarhus) is under evaluatio