Erratum to "Liveness of an extended S3PR " [Automatica 46 (2010) 1008-1018]
暂无分享，去创建一个
1. A new definition of circular waitsInLiu,Li,andZhou(2010),thedefinitionofacircularwait(Definition16inLiuetal.(2010))isdirectlyadoptedfromLewis,Gurel,Bogdan,Doganalp,ˇ andPastravanu(1998).However,itisnotappropriatethattheconceptdefinedinordinaryPetrinetsissimplisticallyusedinthecontextofgeneralizedoneswithoutanyextension.Definition 1 (Lewisetal.,1998). Acircularwait(CW)isasetofresourceplacesC
[1] Frank L. Lewis,et al. Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems , 1998, Autom..
[2] MengChu Zhou,et al. Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..
[3] MengChu Zhou,et al. Liveness of an extended S3PR , 2010, Autom..
[4] MengChu Zhou,et al. A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..