An approach towards distributed simulation of timed Petri nets | IEEE Conference Publication | IEEE Xplore