A. Karatkevich and G. Andrzejewski, “HIERARCHICAL DECOMPOSITION OF PETRI NETS FOR ANALYSIS AND DESIGN OF DIGITAL MICROSYSTEMS”, IJC, vol. 5, no. 1, pp. 18-25, Aug. 2014.