| Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets DE Saïdouni, N Belala, M Bouneb Second International Workshop on Verification and Evaluation of Computer and …, 2008 | 25 | 2008 |
| Using Maximality-Based Labelled Transition System as a Model for Petri Nets. DE Saidouni, N Belala, M Bouneb International Arab Journal of Information Technology (IAJIT) 6 (5), 2009 | 11 | 2009 |
| Maximality-based structural operational semantics for Petri nets DE Saıdouni, N Belala, M Bouneb Proceedings of INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean …, 2009 | 11 | 2009 |
| A reduced maximality labeled transition system generation for recursive Petri nets M Bouneb, DE Saidouni, JM Ilie Formal Aspects of Computing 27, 951-973, 2015 | 6 | 2015 |
| Maximality Semantic For Recursive Petri Nets. DE Saïdouni, M Bouneb, JM Ilié ECMS, 544-550, 2013 | 6 | 2013 |
| Hierarchical system design using refinable recursive petri net M Bouneb, DE Saidouni, JM Ilie Computing and Informatics 37 (3), 635-655, 2018 | 5 | 2018 |
| Hierarchical design method for multi-agent systems B Messaouda, SD Eddine International Journal of Agent Technologies and Systems (IJATS) 7 (2), 105-134, 2015 | 2 | 2015 |
| Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets (extended version) DE Saıdouni, N Belala, M Bouneb Technical report, Computer Science Dept., University of Mentouri, 25000 …, 2008 | 2 | 2008 |
| Proposition d’une méthode alpha-réduit pour les réseaux de petri récursifs sous une sémantique de vrai parallélisme R Ladouali, O Bougandoura, M Bouneb Université Larbi Ben M'hidi Oum El Bouaghi, 2022 | | 2022 |
| Behavioural verification of limited resources systems under true concurrency semantics B Messaouda, SD Eddine | | 2021 |
| Etude d'accessibilite des reseaux de petri recursifs sous une semantique de maximalite M Bouneb Université Oum El Bouaghi, 2017 | | 2017 |
| Maximality Semantics and Petri Nets N Belala, DE Saïdouni, M Bouneb, JM Ilié International Journal of Computer Science and Technology 3 (3-4), 687-694, 2012 | | 2012 |
| Vérification comportementale des réseaux de Petri sous une sémantique de maximalité M Bouneb Oum-El-Bouaghi, 2009 | | 2009 |
| Réseaux de Petri et Sémantique de Maximalité DE Saıdouni, N Belala, M Bouneb | | |
| On-the-fly Generation Algorithm of a-Reduced Maximality-Based Labeled Transition Systems for Petri Nets DE Saïdouni, M Bouneb, N Belala | | |
