Hierarchical decomposition of Petri net languages | IEEE Journals & Magazine | IEEE Xplore