B. Mazigh

A Decomposition-based Approach of Global Norms for Hierarchical Normative Systems

Vincent Hilaire, Sami Bhiri, Ezzine Missaoui, 2018, KES.

GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system

J. Gresser, B. Mazigh, F. Simon, 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

Well suited modelling and evaluation techniques based on GSPN for real production systems

J. Gresser, B. Mazigh, F. Simon, 1993, Proceedings of IEEE 2nd International Workshop on Emerging Technologies and Factory Automation (ETFA '93).

A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP

Ezzine Missaoui, Belhassen Mazigh, Aida Boudhaouia, 2017, 2017 IEEE/ACS 14th International Conference on Computer Systems and Applications (AICCSA).

Multi-formalism Based Specification Language: Syntax, Semantics, Verification and Simulation

Belhassen Mazigh, B. Mazigh, 2014 .

A Normative Model for Holonic Multi-agent Systems

Vincent Hilaire, Sami Bhiri, Ezzine Missaoui, 2017, 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).

Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations

A. Abbas-Turki, B. Mazigh, 2012 .

Modeling and quantitative analysis of discrete event systems: A statecharts based approach

Abder Koukam, Pablo Gruer, Belhassen Mazigh, 1998, Simul. Pract. Theory.