Large scale construction of railroad models from specifications

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.