Messaouda BOUNEB
ResearchGate DBLP
Details
Publications
Messaouda Bouneb; Djamel Eddine Saidouni; Jean Michel Ilié
Hierarchical System Design Using Refinable Recursive Petri Net. Computing and Informatics (CAI) 37(3): 635-655 (2018)
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)
PhD thesis
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)