1. Fattouch, N., Lahmar, I.B., Boukadi, K.: A comprehensive architecture for an iortaware business process outsourcing into fog and cloud computing 3067, 164–172 (2021)
2. Kheldoun, A., Barkaoui, K., Ioualalen, M.: Formal verification of complex business processes based on high-level petri nets 385, 39–54 (2017)
3. Boukadi, K., Ghedira, C., Maamar, Z., Benslimane, D.: Specification and verification of views over composite web services using high level petri-nets. In: ICEIS (4), pp. 107–112 (2007)
4. Seddari, N., Boukelkoul, S., Bouras, A., Belaoued, M., Redjimi, M.: A new transformation approach for complex systems modelling and simulation: application to industrial control system 16(1), 34–48 (2021)
5. Boukelkoul, S., Maamri, R.: Optimal model transformation of BPMN to DEVS, pp. 1–8 (2015)