|
 
|
Gaiyun Liu
|
Equipe SYS Mail : gaiyunliu  gmail.com
|
Publications
2019
- [LLL19] X. Li , G. Liu, . Li, N. Wu, K. Barkaoui. "Elementary Siphon-based Robust Control for Automated Manufacturing Systems with Multiple Unreliable Resources", IEEE Access, pp. 1-18, 2019, (doi:10.1109/ACCESS.2019.2897753)
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,
Mémoire de Thèse
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)
- [LLB13] G. Liu, Z. Li, K. Barkaoui, A. Al-Ahmari. "Robustness of deadlock control for a class of Petri nets with unreliable resources", Information Sciences, vol. 235, pp. 259-279, 2013
- [CL13] Y. Chen, G. Liu. "Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams", ACM Transactions on Embedded Computing Systems, vol. 12(1), pp. 3:1-3:15, 2013
- [CLL13] Y. Chen, D. Liu, G. Liu, K. Barkaoui. "Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, April 2013, pp.1-6, Hammamet, Tunisia,
