Parallel simulation of performance Petri nets: extending the domain of parallel simulation | IEEE Conference Publication | IEEE Xplore