Parallel simulation of Petri nets on desktop PC hardware