A modeling strategy for control and interlocking of an AMS using Virtual Petri Nets | IEEE Conference Publication | IEEE Xplore