Messaouda BOUNEB
...
Maître de conférences
Univ. Constantine 2
Equipe : CFSC

Détails
Publications
Messaouda Bouneb; Djamel Eddine Saidouni
Hierarchical Design Method for Multi-Agent Systems. Int. J. of Agent Technologies and Systems (IJATS) 7(2): 105-134 (2015)
Messaouda Bouneb; Djamel Eddine Saidouni; Jean Michel Ilié
A reduced maximality labeled transition system generation for recursive Petri nets. J. on Formal Aspects of Computing 27(5-6): 951-973 (2015)
Djamel Eddine Saidouni; Messaouda Bouneb; Jean Michel Ilié
Maximality Semantic For Recursive Petri Nets. 27th European Conf. on Modelling and Simulation (ECMS'13): 544-550 (2013)
Djamel Eddine Saidouni; Nabil Belala; Messaouda Bouneb
Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. of Information Technology (IAJIT) 6(5): 441-447 (2009)
Thèse de doctorat
Messaouda Bouneb
Définition de la sémantique de maximalité pour les réseaux de Petri récursifs et la relation de bissimulation de maximalité agrégée. Université Constantine 2, Algérie (2016)