Hierarchical decomposition of Petri net languages
Hyung Lee-Kwang, J. Favrel, G.-H. Oh · IEEE Transactions on Systems Man and Cybernetics · 1987
A method for hierarchical decomposition of Petri net languages is proposed. The method provides a hierarchical structure of a dynamic system if the system is modeled by a Petri net and its initial state is given. The method can be used in analyzing the dynamic behavior of systems.