Karatkevich, A., and G. Andrzejewski. “HIERARCHICAL DECOMPOSITION OF PETRI NETS FOR ANALYSIS AND DESIGN OF DIGITAL MICROSYSTEMS”. International Journal of Computing, vol. 5, no. 1, Aug. 2014, pp. 18-25, doi:10.47839/ijc.5.1.376.