Paper Info
Title
Large scale construction of railroad models from specifications
Abstract
ñ In this paper we present techniques for con- structing large scale models of railroads from a simple graphical specication language, using Petri Nets. A proto- type tool based on this analysis has been implemented, allow- ing the user to write specications and generate large Petri Nets automatically. A sufcient amount of algebra for com- position is developed in order to exploit the advantages of both modern GUI programming and Petri Nets.
Year
DOI
Venue
2004
10.1109/ICSMC.2004.1401374
SMC (7)
Keywords
Field
DocType
railroad sys- tems,petri nets,adaptive and intuitive interfaces,systems modeling and control,graphical user interfaces,prototypes,system modeling,petri net,railway engineering
Scale model,Programming language,Petri net,Railway engineering,Computer science,Graphical specification,Scale construction,Process architecture,Exploit,Graphical user interface
Conference
Citations 
PageRank 
References 
2
0.51
0
Authors
2
Name
Order
Citations
PageRank
Anders Moen Hagalisletto1133.95
Ingrid Chieh Yu216418.53