A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets | IEEE Conference Publication | IEEE Xplore