1 All a H,L adet P,Martinez J,Silva.Modeling and Validation of Complex Systems by Colored Petri Nets:Application to an FMS.Lecture Notes in Computer Science,1985,188 2 Narahari Y,Visw anad ham N.A Petri net Approach to Modeling and Analys is of FM S.Annals of Operation Research 1985,3:449~472 3 Beck C L,Krogh B H.Models for Simulation and Discrete Control of Manufacturing Systems.in Proc.1986 IEEE Conf.Robotics and Autom at ion,1986:305~310 4 Kamath M,Vis wanadham N.Application of Petrinet Based Model in the Modeling and Analysis of Flexible Manufacturing Systems.in Proc.1986 IEEE Conf.Robotics and Automation,1986:312~316 5 Zhou M,DiCesare F.A Petrinet Design Method for Automated Manufact uring Systems with Shared Resources.In Proc.1990 IEEE Conf.Robotics and Automation,1990:526~531 6 Zhou M,DiCesare F.Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufact uring Systems with Shared Resources.IEEE Transactions on Robotics and Automation,1991,7(4):515~527 7 Zhou M,DiCesare F,A A Desrochers.A Hybrid Methodology for Synthesis of Petrinet Models for Manufact uring Systems.IEEE Trans actions on Robotics and Automation,1992,8(3):350~3612 8 Visw anad ham N,N arahari Y,T L John son.Deadlock Prevention and Deadlock Avoidance in Flexible Manufact uring System using Petri net Models.IEEE Tran sactions on Robotics and Automation,1990,66:713~723 9 Banaszak Z A,Krogh B H.Deadlock A void ance in Flexible Manufact uring Systems with Concurrently Competin g Process Flows.IEEE Trans actions on Robotics and Automation,1990,6(6):724~734 10 伍乃骐.柔性制造系统无死锁运行的充要条件,第一部分:资源竞争过程的建模,信息与控制,1995,24(5) 11 伍乃骐.柔性制造系统无死锁运行的充要条件,第二部分:资源动态分配规则,信息与控制,1995,24(6):343~355 12 伍乃骐.柔性制造系统中多路径条件下的死锁避免,第一部分:系统建模,信息与控制,1997,26(6):401~408
|