A modeling strategy for control and interlocking of an AMS using Virtual Petri Nets. - Orides Morandin Jr.; Edilson R. R. Kato; G. Rodrigo Araújo; V. Luciano Sasso (SMC, 2007)