Algorithmic Tools for the Transformation of Petri Nets to DEVS. - Mohammed Redjimi; Sofiane Boukelkoul (Informatica (Slovenia), 2013)

Using of DEVS and MAS Tools for Modeling and Simulation of an Industrial Steam Generator. - Noureddine Seddari; Mohammed Redjimi; Sofiane Boukelkoul (J. Comput. Inf. Technol., 2014)

Optimal model transformation of BPMN to DEVS. - Sofiane Boukelkoul; Ramdane Maamri (AICCSA, 2015)

Model-based DEVS for modeling and simulation of resource-constrained business processes. - Sofiane Boukelkoul; Ramdane Maamri (ICAASE, 2016)

A discrete event model for analysis and verification of time-constrained business processes. - Sofiane Boukelkoul; Ramdane Maamri; Mohammed Chihoub (Concurr. Comput. Pract. Exp., 2021)

A new transformation approach for complex systems modelling and simulation: application to industrial control system. - Noureddine Seddari; Sofiane Boukelkoul; Abdelghani Bouras; Mohamed Belaoued; Mohammed Redjimi (Int. J. Simul. Process. Model., 2021)