Large scale construction of railroad models from speci cations

A. Moen, Ingrid Chieh Yu
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)  
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.
doi:10.1109/icsmc.2004.1401374 dblp:conf/smc/MoenY04 fatcat:kv5pyv7xffh4vlgx42fbp463xu