A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
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