Faster simulation of timed Petri nets via distributed simulation | IEEE Conference Publication | IEEE Xplore