Follow
Kamel Barkaoui
Title
Cited by
Cited by
Year
On liveness and controlled siphons in Petri nets
K Barkaoui, JF Pradat-Peyre
International Conference on Application and Theory of Petri Nets, 57-72, 1996
2611996
A deadlock prevention method for a class of FMS
K Barkaoui, IB Abdallah
1995 IEEE International Conference on Systems, Man and Cybernetics …, 1995
1721995
Supervisory control of discrete event systems based on structure theory of Petri nets
K Barkaoui, A Chaoui, B Zouari
1997 IEEE International Conference on Systems, Man, and Cybernetics …, 1997
1581997
Driver drowsiness detection model using convolutional neural networks techniques for android application
R Jabbar, M Shinoy, M Kharbeche, K Al-Khalifa, M Krichen, K Barkaoui
2020 IEEE International Conference on Informatics, IoT, and Enabling …, 2020
1302020
Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs
YF Chen, ZW Li, K Barkaoui, NQ Wu, MC Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems 47 (2), 364-379, 2016
1232016
New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs
YF Chen, ZW Li, K Barkaoui, M Uzam
IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (10), 1384-1400, 2014
1232014
Deadlock avoidance in FMS based on structural theory of Petri nets
K Barkaoui, IB Abdallah
Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory …, 1995
1131995
A survey of siphons in Petri nets
GY Liu, K Barkaoui
Information Sciences 363, 198-220, 2016
1092016
On the enforcement of a class of nonlinear constraints on Petri nets
YF Chen, ZW Li, K Barkaoui, A Giua
Automatica 55, 116-124, 2015
1092015
Robustness of deadlock control for a class of Petri nets with unreliable resources
GY Liu, ZW Li, K Barkaoui, AM Al-Ahmari
Information Sciences 235, 259-279, 2013
1062013
Structural analysis of workflow nets with shared ressources
K Barkaoui, L Petrucci
Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998
1051998
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity
R Jabbar, N Fetais, M Krichen, K Barkaoui
2020 IEEE International Conference on Informatics, IoT, and Enabling …, 2020
832020
Blockchain for the internet of vehicles: A decentralized IoT solution for vehicles communication using ethereum
R Jabbar, M Kharbeche, K Al-Khalifa, M Krichen, K Barkaoui
Sensors 20 (14), 3928, 2020
762020
On liveness in extended non self-controlling nets
K Barkaoui, JM Couvreur, C Dutheillet
Application and Theory of Petri Nets 1995: 16th International Conference …, 1995
761995
Formal verification of complex business processes based on high-level Petri nets
A Kheldoun, K Barkaoui, M Ioualalen
Information Sciences 385, 39-54, 2017
752017
A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets
K Barkaoui, M Minoux
Application and Theory of Petri Nets 1992: 13th International Conference …, 1992
751992
Workflow soundness verification based on structure theory of Petri nets
K Barkaoui, RB Ayed, Z Sbai
International Journal of Computing and Information Sciences 5 (1), 51-61, 2007
702007
An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory
K Barkaoui, B Lemaire
Proceedings of the 10th International Conference on Application and Theory …, 1989
621989
Parameterized supervisor synthesis for a modular class of discrete event systems
B Zouari, K Barkaoui
SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems …, 2003
582003
Blockchain technology for intelligent transportation systems: A systematic literature review
R Jabbar, E Dhib, AB Said, M Krichen, N Fetais, E Zaidan, K Barkaoui
IEEE Access 10, 20995-21031, 2022
552022
The system can't perform the operation now. Try again later.
Articles 1–20