Parallel algorithm for computation of deadlocks and traps in Petri nets | IEEE Conference Publication | IEEE Xplore