Extending a Petri Net Simulator as a real-time control simulator | IEEE Conference Publication | IEEE Xplore