Kamel Barkaoui
Kamel Barkaoui
Professor of Computer Science, Conservatoire National des Arts et Metiers
Vahvistettu sähköpostiosoite verkkotunnuksessa cnam.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
2481996
A deadlock prevention method for a class of FMS
K Barkaoui, IB Abdallah
1995 IEEE International Conference on Systems, Man and Cybernetics …, 1995
1621995
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
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
1091995
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
1002016
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
1002014
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
942015
Structural analysis of workflow nets with shared resources
K Barkaoui, L Petrucci
921998
A survey of siphons in Petri nets
GY Liu, K Barkaoui
Information Sciences 363, 198-220, 2016
822016
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
742013
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
651995
Workflow soundness verification based on structure theory of Petri nets
K Barkaoui, R Ben Ayed, Z Sbai
International Journal of Computing and Information Sciences 5 (1), 51-61, 2007
642007
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
641992
An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory
K Barkaoui, B Lemaire
10th Int. Conf. on Application and Theory of Petri Nets ICATPN'89, 1-21, 1989
601989
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
Formal verification of complex business processes based on high-level Petri nets
A Kheldoun, K Barkaoui, M Ioualalen
Information Sciences 385, 39-54, 2017
542017
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
411990
A new formalism for modeling a multi agent systems: Agent petri nets
B Marzougui, K Hassine, K Barkaoui
Journal of Software Engineering and Applications 3 (12), 1118, 2010
402010
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
362002
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20