Constructing and Refining Large-Scale Railway Models Represented by Petri Nets

A new method for rapid construction of large-scale executable railway models is presented. Computer systems for railway systems suffer from poor integration and lack of explicit understanding of the large amount of static and dynamic information in the railway. In this paper, we give solutions to bo...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on human-machine systems 2007-07, Vol.37 (4), p.444-460
Main Authors: Hagalisletto, A.M., Bjork, J., Chieh Yu, I., Enger, P.
Format: Article
Language:English
Subjects:
Adaptive and intuitive interfaces
Analytical models
Automatic control
Cities and towns
Computational modeling
Computerized monitoring
Construction
Dynamical systems
Dynamics
Job shop scheduling
Large-scale systems
maintenance
Mathematical models
Petri nets
Rail transportation
Railroads
Railway engineering
railway systems
Railways
refinement
Traffic control
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A new method for rapid construction of large-scale executable railway models is presented. Computer systems for railway systems suffer from poor integration and lack of explicit understanding of the large amount of static and dynamic information in the railway. In this paper, we give solutions to both problems. It is shown how a component-oriented approach makes it easy to construct and refine basic railway models by effective methods, such that a variety of models with important properties can be maintained within the same framework. Basic railway nets are refined into several new kinds: nets that are safe, permit collision detection, include time, and are sensitive to its surroundings. Since the underlying implementation language is Petri nets, large expressibility is combined with simplicity, and in addition, the analysis of the behavior of railway models comes gently.
ISSN:1094-6977
2168-2291
1558-2442
2168-2305
DOI:10.1109/TSMCC.2007.897323