M. Bouneb, D. E. Saidouni, and J. M. Ilie, “Hierarchical System Design Using Refinable Recursive Petri Net”, Comput. Inform., vol. 37, no. 3, pp. 635–655, Jul. 2018.