A Modeling Strategy of Shop-Floor Interlocking and Controlling using Virtual Petri Nets and Production Simulation | IEEE Conference Publication | IEEE Xplore