Bouneb, M. et al. 2018. Hierarchical System Design Using Refinable Recursive Petri Net. COMPUTING AND INFORMATICS. 37, 3 (Jul. 2018), 635–655.