|
 
|
Liste des publications
2017
-
[HB17]
Y. Hou, K. Barkaoui.
"Deadlock analysis and control based on
Petri nets: A siphon approach review",
Advances in Mechanical Engineering,
vol. 9(5), pp. 1-30,
2017, (doi:10.1177/1687814017693542)
Revue Internationale avec comité de lecture
2016
-
[LB16a]
G. Liu, K. Barkaoui.
"A survey of siphons in Petri nets",
Information Sciences,
vol. 363, pp. 198-220,
2016
Revue Internationale avec comité de lecture
2014
- [LIU14] G. Liu. "Supervisor Synthesis for Automated Manufacturing Systems Based on Structural Theory of Petri Nets", Soutenue le: 27 November 2014, pp. 182,
-
[BL14]
K. Barkaoui, D. Liu.
"An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets",
datepub: June 2014,
Mémoire de Thèse
Autres
2013
- [LB13] G. Liu, K. Barkaoui. "Necessary and sufficient liveness condition of GS3PR Petri nets", International Journal of Systems Science, pp. 1-14, 2013, (doi:10.1080/00207721.2013.827257)
- [LL 13] D. Liu, Z. Li, M. Zhou. "Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems", IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS: SYSTEMS, vol. 43(1), pp. 85-97, 2013
- [BAR13] K. Barkaoui. "Liveness, Deadlock-Freeness, and Siphons", Titre du livre: "Embedded Computing Systems: Applications, Optimization, and Advanced Design", April 2013, IGI Global, pp. 65-78 , (doi: 10.4018/978-1-4666-3922-5) (isbn: 13: 9781466639225)
Revue Internationale avec comité de lecture
Chapitres de Livre
2011
- [ZLB11] C. Zhong, Z. Li, K. Barkaoui. "Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View ", International Journal of Innovative Computing, Information and Control (ICIC - ISSN 1349-4198), vol. 7(12), pp. 6677-6690, 2011
Revue Internationale avec comité de lecture
1996
-
[BP96]
K. Barkaoui, J. Pradat-Peyre.
"On Liveness and Controlled Siphons in Petri Nets",
Application and Theory of Petri Nets,
January 1996,
Vol. 1091,
pp.57-72,
Series LNCS,
