Distributed simulation of timed Petri nets: basic problems and their resolution | IEEE Journals & Magazine | IEEE Xplore