摘要
本文基于Ｐｅｔｒｉ网建模的混合法，建立了叶片ＦＭＳ控制系统活的、安全和可逆的Ｐｅｔｒｉ同模型，应用该模型开发了叶片ＦＭＳ控制系统仿真器，可成功地避免叶片ＦＭＳ的死锁产生．
Based on a hybrid methodology for synthesis of Petri net models,the Petri net model of a blade FMS which has the important properties of liveness,safeness and reversibility is constructed in this paper.Using the Petri net model,a emulator of the blade FMS control system is developed and the deadlock of the blade FMS can be avoided successfully.
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
1996年第6期763-769,共7页
Control Theory & Applications
关键词
叶片
FMS
控制系统
混合法
Petri nets
flexible manufacturing systems
control
deadlocking
