Narrow search
Showing 1 - 5 of 5
Cover Image
Formal methods in manufacturing systems : recent advances
Li, Zhiwu (contributor);  … - 2013
"This book explores formal methods and the shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional...
Persistent link: https://www.econbiz.de/10011727759
Cover Image
Think globally act locally approach for the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets
Uzam, Murat; Li, Zhiwu; Abubakar, Umar Suleiman - In: International journal of production research 54 (2016) 15/16, pp. 4634-4657
Persistent link: https://www.econbiz.de/10011518923
Cover Image
Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems
Cheng, YuFeng; Li, Zhiwu; Zhou, MengChu - In: International journal of production research 50 (2012) 22, pp. 6357-6371
Persistent link: https://www.econbiz.de/10009673590
Cover Image
Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control
Li, Shaoyong; Li, Zhiwu - In: International journal of production research 50 (2012) 22, pp. 6203-6218
Persistent link: https://www.econbiz.de/10009673616
Cover Image
On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
Zhao, Mi; Li, Zhiwu - In: International journal of production research 47 (2009) 21, pp. 6085-6107
Persistent link: https://www.econbiz.de/10003892139