Distributed simulation of timed Petri nets. A modular approach using actors and Time Warp | IEEE Journals & Magazine | IEEE Xplore