1.Formal Methods in Manufacturing Systems: Recent Advances ——Chapter 8, Real-time scheduling and control of single-arm cluster tools with residency time constraint and activity time variation by using resource-oriented Petri nets

Qiao, Yan; Wu, NaiQi; Zhou, MengChu 

9781466640344 IGI Global 2013

1.微型计算机原理与接口技术  

  周孟初 ... [等] 编著.

9787312027994; 7312027997 中国科学技术大学出版社 2012