Liste des publications

2019

Revue Internationale avec comité de lecture

[LLL19] X. Li , G. Liu, . Li, N. Wu, K. Barkaoui. "Elementary Siphon-based Robust Control for Automated Manufacturing Systems with Multiple Unreliable Resources", IEEE Access, pp. 1-18, 2019, (doi:10.1109/ACCESS.2019.2897753)

2018

Revue Internationale avec comité de lecture

[ BL18] U. Mutarraf , K. Barkaoui, . Li. "Transformation of Business Process Model and Notation models onto Petri nets and their analysis", Advances in Mechanical Engineering, vol. 10(12), pp. 1-21, 2018, (doi:10.1177/1687814018808170)
[BB18] H. Boucheneb, K. Barkaoui. "Delay-dependent partial order reduction technique for real time systems", Real-Time Systems , vol. 54(2), pp. 278-306, 2018, (doi:10.1007/s11241-017-9297-0)

Conférence Internationale avec comité de lecture

[BBL18] K. Barkaoui, H. Boucheneb, . Li. "Exploiting Local Persistency for Reduced State Space Generation", International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, October 2018, Vol. 11181, pp. pp 166-181, Series LNCS, Grenoble, France, (DOI: 10.1007/978-3-030-00359-3_11)
[BB18a] K. Barkaoui, H. Boucheneb. "On Persistency in Time Petri Nets", International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, August 2018, Vol. Volume 11022, pp.108-124, Series Lecture Notes in Computer Science, Beijing, China,

2017

Revue Internationale avec comité de lecture

[CCL17] Li Chengzong, Y. Chen, . Li, K. Barkaoui. "Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-GloballyAct-Locally Approach and Vector Covering for Flexible Manufacturing Systems", IEEE Access, vol. 5(IEEE), pp. 16349-16358, 2017, (doi:10.1109/ACCESS.2017.2720630)
[HB17] Y. Hou, K. Barkaoui. "Deadlock analysis and control based on Petri nets: A siphon approach review", Advances in Mechanical Engineering, vol. 9(5), pp. 1-30, 2017, (doi:10.1177/1687814017693542)
[CLB17] Y. Chen, . Li, K. Barkaoui, M. Zhou. "Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs", IEEE Trans. Systems, Man, and Cybernetics, vol. 47(2), pp. 364-379, 2017, (doi:10.1109/TSMC.2016.2521833)

2016

Revue Internationale avec comité de lecture

[LB16a] G. Liu, K. Barkaoui. "A survey of siphons in Petri nets", Information Sciences, vol. 363, pp. 198-220, 2016
[LB16] A. Louati, K. Barkaoui. "Formal Verification of UML2 Timing Diagrams based on Time Petri Nets", International Journal of Information Systems in the Service Sector (IJISSS), vol. 8(2), pp. 87-97, 2016
[CLB16] Y. Chen, . Li, K. Barkaoui, M. Uzam. "Monitor design with multiple self-loops for maximally permissive supervisors", ISA Transactions, vol. 61, pp. 129-140, 2016
[MB16] B. Marzougui, K. Barkaoui. "Agent Petri Nets Framework for Modeling Staphylococcus epidermidis Biofilm Formation", E-Health Telecommunication Systems and Networks (ETSN), vol. 5(1), pp. 19-30, 2016, (doi:10.4236/etsn.2016.51003 )

Conférence Internationale avec comité de lecture

[BHK16] K. Barkaoui, A. Hicheur-Cairns, A. Kheldoun, D. Liu. "Modelling and analyzing home care plans using high-level Petri nets", 2016 13th International Workshop on Discrete Event Systems (WODES), June 2016, pp.284 - 290, Xian, China, (DOI: 10.1109/WODES.2016.7497861)

2015

Revue Internationale avec comité de lecture

[BBM15] K. Barkaoui, L. Bernardinello,, A. Mokhov. "Application of Concurrency to System Design", ACM Transactions on Embedded Computing Systems (TECS) , vol. 14(4), pp. 62-63, 2015, (doi:http://dx.doi.org/10.1145/2809925)
[CLB15] Y. Chen, . Li, K. Barkaoui, A. Giua. "On the Enforcement of a Class of Nonlinear Constraints on Petri Nets", Automatica, vol. 55(5), pp. 116-124, 2015
[BB15c] H. Boucheneb, K. Barkaoui. "Stubborn Sets for Time Petri Nets.", ACM Trans. Embedded Comput. Syst., vol. 14(1), pp. 11-25, 2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)

Conférence Internationale avec comité de lecture

[KBZ15] A. Kheldoun, K. Barkaoui, J. Zhang, M. Ioulalen. "A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems", 5th IFIP International Conference on Computer Science and Its Applications CIIA , May 2015, Vol. 456, pp.551--562, Series IFIP Advances in Information and Communication Technology , SaÃ¯da, Algeria,

2014

Revue Internationale avec comité de lecture

[SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014
[BB14] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", International Journal of Critical Computer-Based Systems (IJCCBS), vol. 5(1/2), pp. 55-77, 2014
[CLB14] Y. Chen, Z. Li, K. Barkaoui, M. Uzam. "New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs", IEEE Transactions on Systems Man and Cybernetics: Systems, vol. 44(10), pp. 1384-1400, 2014

Conférence Internationale avec comité de lecture

[BBc14] H. Boucheneb, K. Barkaoui. "Delay-Dependent Partial Order Reduction Technique for Time Petri Nets", 12th International Conference, FORMATS 2014 - Lecture Notes in Computer Science , September 2014, Vol. 8711, pp. 53-68, Series Lecture Notes in Computer Science, (DOI: 10.1007/978-3-319-10512-3_5)
[CLBb14] Y. Chen, Z. Li, K. Barkaoui. "Maximally Permissive Petri Net Supervisors with a Novel Structure", WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, June 2014, pp.1-8,
[DB 14] L. Ding, K. Barkaoui, M. Zhou. "Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems", IEEE 11th International Conference on Networking, Sensing and Control (ICNSC 2014), April 2014, pp.578-583, Miami, USA,
[LHB14] D. Liu, Y. Hou, K. Barkaoui, M. Zhou. "Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems", 11th IEEE International Conference on Networking, Sensing and Control, April 2014, pp.13-21,

Mémoire de Thèse

[LIU14] G. Liu. "Supervisor Synthesis for Automated Manufacturing Systems Based on Structural Theory of Petri Nets", Soutenue le: 27 November 2014, pp. 182,

2013

Revue Internationale avec comité de lecture

[BB13] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps method", Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013
[LB13] G. Liu, K. Barkaoui. "Necessary and sufficient liveness condition of GS3PR Petri nets", International Journal of Systems Science, pp. 1-14, 2013, (doi:10.1080/00207721.2013.827257)
[LL 13a] D. Liu, Z. Li, M. Zhou. "A Liveness and Ratio-Enforcing Supervisor for Flexible Manufacturing Systems Modeled by a Class of Generalized Petri Nets", Automatica, vol. 49(11), pp. 3167-3179, 2013
[MHB13] B. Marzougui, K. Hassine, K. Barkaoui. "Modeling Migration of Mobile Agents", Lecture Notes in Business Information Processing- Springer, vol. 132, pp. 530-540, 2013, (doi:10.1007/978-3-642-36285-9_54)
[LL 13] D. Liu, Z. Li, M. Zhou. "Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems", IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS: SYSTEMS, vol. 43(1), pp. 85-97, 2013
[BBc13] H. Boucheneb, K. Barkaoui. "Reducing interleaving semantics redundancy in reachability analysis of time Petri nets", ACM Transactions in Embedded Computing Systems (TECS) , vol. 12(1), pp. 1-24, 2013

2012

Revue Internationale avec comité de lecture

[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

Conférence Internationale avec comité de lecture

[DB 12] L. Ding, K. Barkaoui, M. Zhou. "On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS", 11th International Workshop on Discrete Event Systems - WODES 2012, October 2012, pp.187-192, Series IFAC,
[HL 12] Y. Hou, D. Liu, M. Zhou. "On iterative liveness-enforcement for a class of generalized Petri nets", 8th IEEE International Conference on Automation Science and Engineering, August 2012, pp.184-189, Seoul, kr,

2011

Revue Internationale avec comité de lecture

[BB11] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Vectors for Constructing Time Petri Net Reachability Graphs", Discrete Event Dynamic Systems: Theory and Applications, vol. 21(2 - 2011), pp. 171-204 , 2011

Conférence Internationale avec comité de lecture

[MHB11] B. Marzougui, K. Hassine, K. Barkaoui. "Method for Verification of a Multi Agents System", 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), January 2011, pp.62-65, (DOI: http://doi.ieeecomputersociety.org/10.1109/ISMS.2011.21 )

1996

Conférence Internationale avec comité de lecture

[BB96] K. Barkaoui, I. Ben Abdallah. "Analysis of a Resource Allocation Problem in FMS using Structure Theory of Petri Nets", 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, January 1996, pp.1Â–15-125,
[BP96] K. Barkaoui, J. Pradat-Peyre. "On Liveness and Controlled Siphons in Petri Nets", Application and Theory of Petri Nets, January 1996, Vol. 1091, pp.57-72, Series LNCS,