Bouneb, M.; Saidouni, D. E.; Ilie, J. M. Hierarchical System Design Using Refinable Recursive Petri Net. Comput. Inform. 2018, 37, 635-655.