A modeling strategy for control and interlocking of an AMS using Virtual Petri Nets.

Orides Morandin Jr., Edilson R. R. Kato, G. Rodrigo Arajo, V. Luciano Sasso

Browse the full SMC paper archive.