Publications |
---|
Riad Boussetoua; Hammadi Bennoui; Allaoua Chaoui; Khaled Khalfaoui; Elhillali Kerkouche
An automatic approach to transform BPMN models to Pi-Calculus. 12th Int. Conf. of Computer Systems and Applications (AICCSA'15): 1-8 (2015) |
|
Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui
On Structural Analysis Of Interacting Behavioral Petri Nets For Distributed Causal Model-Based Diagnosis. Int. J. Of Foundations Of Computer Science 23(7): 1523-1541 (2012) |
|
Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui
Exploiting P-invariant analysis for distributed systems diagnosis based on interacting behavioral Petri nets. Int. Symp. on Innovation in Informations and Communication Technology (ISIICT'09): 186-196 (2009) |
|
Hammadi Bennoui; Allaoua Chaoui; Kamel Barkaoui
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. 8th Int. Symp. on Parallel and Distributed Computing (ISPDC’09): 99-106 (2009) |
PhD thesis |
---|
Bennoui Hammadi
Distributed Causal Model-based Diagnosis; an Approach by Interacting Petri Nets. Université Constantine 2, Algérie (2012) |