Net rewriting system for GSPN a RMS case study. - Samir Tigane; Laid Kahloul; Samir Bourekkache (ICAASE, 2016)

Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems. - Samir Tigane; Laid Kahloul; Samir Bourekkache (SOHOMA, 2016)

Educative and Adaptive System for Personalized Learning: Learning Styles and Content Adaptation. - Samir Bourekkache; Okba Kazar; Laid Kahloul; Samir Tigane; Aïcha-Nabila Benharkat (Int. Arab. J. e Technol., 2017)

Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. - Samir Tigane; Laid Kahloul; Samir Bourekkache; Souheib Baarir (Int. J. Crit. Comput. Based Syst., 2018)

Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems. - Samir Tigane; Laid Kahloul; Saber Benharzallah; Souheib Baarir; Samir Bourekkache (Sci. Comput. Program., 2019)

Configuration-Dependent Stochastic Reward Nets. - Samir Tigane; Laid Kahloul; Samir Bourekkache (MISC, 2020)

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. - Samir Tigane; Laid Kahloul; Souheib Baarir; Samir Bourekkache (VALUETOOLS, 2020)

Dynamic Timed Automata for Reconfigurable System Modeling and Verification. - Samir Tigane; Fayçal Guerrouf; Nadia Hamani; Laid Kahloul; Mohamed Khalgui; Masood Ashraf Ali (Axioms, 2023)

On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets. - Samir Tigane; Laid Kahloul; Nadia Hamani; Mohamed Khalgui; Masood Ashraf Ali (IEEE Trans. Syst. Man Cybern. Syst., 2023)

A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs. - Siham Zroug; Laid Kahloul; Samir Tigane; Nadia Hamani; Saber Benharzallah (Telecommun. Syst., 2023)

A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs. - Samir Tigane; Fayçal Guerrouf; Laid Kahloul (Computing, 2023)