|
 
|
A. Chaoui
Publications
2012
- [BCB12] H. Bennoui, A. Chaoui, K. Barkaoui. "ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS", International Journal of Foundations of Computer Science, vol. 23 (07), pp. 1523-1541, 2012, (doi:10.1142/S0129054112500220)
- [BC12] H. Bennoui, A. Chaoui. "ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS", 2012
Revue Internationale avec comité de lecture
2009
- [BCB09] H. Bennoui, A. Chaoui, K. Barkaoui. "Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets", ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4, June 2009, pp.99-106,
Conférence Internationale avec comité de lecture
2006
- [BBCa06] N. Boudiaf, K. Barkaoui, A. Chaoui. "Applying Reduction Rules to ECATNets", AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, January 2006, pp.42-55, Series ENTCS,
- [BBC06] N. Boudiaf, K. Barkaoui, A. Chaoui. "Implémentation des Régles de Réduction des ECATNets dans MAUDE", MOSIM'06, 6ème Conférence Francophone de MOdélisation et SIMulation, Rabat, Morocco, January 2006, pp.505-514,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
1999
- [CBM99] A. Chaoui, M. Bettaz, M Maouche, K. Barkaoui. "Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE", MOSIM'99, SCS International, January 1999, pp.131-136,
Conférence Internationale avec comité de lecture
1998
- [BCD98] K. Barkaoui, A. Chaoui, K. Djemame. "On the use of Algebraic Petri Nets for Supervisory Evaluation of Discrete Event Systems", IEEE-CESA'98 (IMACS Multiconference), Nabeul, Tunisia, January 1998, pp.465-469,
Conférence Internationale avec comité de lecture
1997
- [BCZ97] K. Barkaoui, A. Chaoui, B. Zouari. "Supervisory control of discrete event systems based on structure theory of Petri nets", IEEE Int. Conf. on Systems, Man and Cybernetics, SMC’97, January 1997, pp.3750-3755,
- [BCB97] K. Barkaoui, A. Chaoui, R. Benamara. "The performance of alternative strategies for dealing with deadlocks in FMS", 6th Int. Conf. on Emerging Technologies and Factory Automation Proceedings (ETFA'97), January 1997, pp.281 - 286,
- [CBR97] A. Chaoui, K. Barkaoui, R. Robbana, B. Zouari. "Towards an efficient structural control policy for automated manufacturing systems", EDA'97, Bangkok, Tailand, January 1997, pp.751-752,
- [BCBa97] K. Barkaoui, A. Chaoui, R. Benamara. "Analyse comparative de stratégies de controle d'interblocage dans les systémes de production flexibles", MOSIM'97, January 1997,
Conférence Internationale avec comité de lecture
1996
- [BBC96] K. Barkaoui, M. Bettaz, A. Chaoui. "On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency", Journal of Computing and Information, vol. 2(1), pp. 470-481, 1996
