Karatkevich, A.; Andrzejewski, G. HIERARCHICAL DECOMPOSITION OF PETRI NETS FOR ANALYSIS AND DESIGN OF DIGITAL MICROSYSTEMS. IJC 2014, 5, 18-25.