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
2651996
A deadlock prevention method for a class of FMS
K Barkaoui, IB Abdallah
1995 IEEE International Conference on Systems, Man and Cybernetics …, 1995
1751995
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
1592020
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
1591997
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
1292016
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
1262014
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
1252020
A survey of siphons in Petri nets
GY Liu, K Barkaoui
Information Sciences 363, 198-220, 2016
1162016
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
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
1112015
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
1102013
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
1092022
Structural analysis of workflow nets with shared ressources
K Barkaoui, L Petrucci
Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998
1071998
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
1002020
Formal verification of complex business processes based on high-level Petri nets
A Kheldoun, K Barkaoui, M Ioualalen
Information Sciences 385, 39-54, 2017
802017
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
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
712007
Blockchain for the Internet of Vehicles: How to use blockchain to secure vehicle-to-everything (V2X) communication and payment?
R Jabbar, N Fetais, M Kharbeche, M Krichen, K Barkaoui, M Shinoy
IEEE Sensors Journal 21 (14), 15807-15823, 2021
662021
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
611989
The system can't perform the operation now. Try again later.
Articles 1–20