Petri Nets for Mobile Agent: Theory and Application. - Walid Ben Mesmia; Borhen Marzougui; Kamel Barkaoui (IntelliSys (2), 2016)

DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets. - Walid Ben Mesmia; Mohamed Escheikh; Kamel Barkaoui (J. Softw. Evol. Process., 2021)

Production chain modeling based on learning flow stochastic petri nets. - Walid Ben Mesmia; Kamel Barkaoui (Soft Comput., 2024)