Specification and Verification for Integration of a CIM System
暂无分享,去创建一个
Fei-Yue Wang | S. Jagdale | Hongyu Xie | H. Xie | Fei-Yue Wang | S. Jagdale
[1] Norihisa Komoda,et al. A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.
[2] MengChu Zhou,et al. Deadlock Avoidance in a Five-Robot-Five-Assembly-Line System: Petri Net Modeling and Analysis , 1991 .
[3] Frank DiCesare,et al. Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.
[4] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[5] A. Rubenstein,et al. A colored petri net model for connection management services in MMS , 1989, CCRV.
[6] Michael K. Molloy. Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.
[7] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[8] Fei-Yue Wang,et al. A coordination theory for intelligent machines , 1990, Autom..
[9] MengChu Zhou,et al. A Petri net design method for automated manufacturing systems with shared resources , 1990, Proceedings., IEEE International Conference on Robotics and Automation.