【摘要】 本文基于Ｐｅｔｒｉ网建模的混合法，建立了叶片ＦＭＳ控制系统活的、安全和可逆的Ｐｅｔｒｉ同模型，应用该模型开发了叶片ＦＭＳ控制系统仿真器，可成功地避免叶片ＦＭＳ的死锁产生．更多还原

【Abstract】 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.更多还原