Suivre
Kamel Barkaoui
Titre
Citée par
Citée par
Année
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
2531996
A deadlock prevention method for a class of FMS
K Barkaoui, IB Abdallah
1995 IEEE International Conference on Systems, Man and Cybernetics …, 1995
1671995
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
1521997
New Petri net structure and its application to optimal supervisory control: Interval inhibitor arcs
YF Chen, Z Li, K Barkaoui, M Uzam
IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (10), 1384-1400, 2014
1152014
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
1101995
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
1062016
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
1042015
Structural analysis of workflow nets with shared resources
K Barkaoui, L Petrucci
991998
A survey of siphons in Petri nets
GY Liu, K Barkaoui
Information Sciences 363, 198-220, 2016
932016
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
892013
Formal verification of complex business processes based on high-level Petri nets
A Kheldoun, K Barkaoui, M Ioualalen
Information Sciences 385, 39-54, 2017
682017
On liveness in extended non self-controlling nets
K Barkaoui, JM Couvreur, C Dutheillet
International Conference on Application and Theory of Petri Nets, 25-44, 1995
681995
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
672007
A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets
K Barkaoui, M Minoux
International Conference on Application and Theory of Petri Nets, 62-75, 1992
671992
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
632020
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
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
On the equivalence between liveness and deadlock-freeness in Petri nets
K Barkaoui, JM Couvreur, K Klai
International Conference on Application and Theory of Petri Nets, 90-107, 2005
482005
Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
M Minoux, K Barkaoui
Discrete Applied Mathematics 29 (2-3), 195-210, 1990
421990
Verification and optimisation of an operating room workflow
K Barkaoui, P Dechambre, R Hachicha
Proceedings of the 35th annual hawaii international conference on system …, 2002
402002
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20