![]() | Up a level |
Boucheneb, H., & Berthelot, G. (2002, April). Contraction of the ITCPN state space [Paper]. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France. Published in Electronic Notes in Theoretical Computer Science, 65(6). Available
Dou, H., Barkaoui, K., Boucheneb, H., Jiang, X., & Wang, S. (2019). Maximal good step graph methods for reducing the generation of the state space. IEEE Access, 7, 155805-155817. Available
Heidari, P., & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, 1-13. Available
Rhazi, A. E., Pierre, S., & Boucheneb, H. (2007). A secure protocol based on a sedentary agent for mobile agent environments. Journal of Computer Science, 3(1), 35-42. Available