Hierarchical reduction method for analysis and decomposition of Petri nets | IEEE Journals & Magazine | IEEE Xplore