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
2621996
A deadlock prevention method for a class of FMS
K Barkaoui, IB Abdallah
1995 IEEE International Conference on Systems, Man and Cybernetics …, 1995
1751995
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
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
1492020
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
1272016
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
1252014
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
1192020
A survey of siphons in Petri nets
GY Liu, K Barkaoui
Information Sciences 363, 198-220, 2016
1132016
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
1092013
Structural analysis of workflow nets with shared ressources
K Barkaoui, L Petrucci
Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 1998
1061998
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
1012022
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
952020
Formal verification of complex business processes based on high-level Petri nets
A Kheldoun, K Barkaoui, M Ioualalen
Information Sciences 385, 39-54, 2017
812017
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
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
631989
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
582021
The system can't perform the operation now. Try again later.
Articles 1–20