1. Blondin, M., Finkel, A., Haase, C., Haddad, S.: The logical view on continuous Petri nets. ACM Trans. Comput. Log. 18(3), 24:1–24:28 (2017)
2. Lecture Notes in Computer Science;C Dufourd,1998
3. Seghrouchni, A.E.F., Haddad, S.: A recursive model for distributed planning. In: ICMAS 1996, Kyoto, Japan, pp. 307–314 (1996)
4. Lecture Notes in Computer Science;A Finkel,2019
5. Finkel, A., Haddad, S., Khmelnitsky, I.: Coverability and termination in recursive Petri nets (2019).
https://hal.inria.fr/hal-02081019