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