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