Title :
Large scale construction of railroad models from specifications
Author :
Moen, Anders ; Yu, Ingrid Chieh
Author_Institution :
Dept. of Informatics, Oslo Univ., Norway
Abstract :
In this paper we present techniques for constructing large scale models of railroads from a simple graphical specification language, using Petri nets. A prototype tool based on this analysis has been implemented, allowing the user to write specifications and generate large Petri nets automatically. A sufficient amount of algebra for composition is developed in order to exploit the advantages of both modern GUI programming and Petri nets.
Keywords :
Petri nets; graphical user interfaces; prototypes; railway engineering; specification languages; GUI programming; Petri nets; graphical specification language; large scale construction; prototype tool; railroad model; Adaptive control; Assembly; Informatics; Large-scale systems; Modeling; Network topology; Petri nets; Programmable control; Rail transportation; Railway engineering;
Conference_Titel :
Systems, Man and Cybernetics, 2004 IEEE International Conference on
Print_ISBN :
0-7803-8566-7
DOI :
10.1109/ICSMC.2004.1401374
