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