一类FMS的最佳活Petri网模型的综合

？利用Petri网为一类柔性制造系统建模,并讨论避免系统死锁问题.通过Petri网模型的结构分析,证明了系统产生死锁的一个充分必要条件.给出了避免死锁的最佳控制器,它可以通过给系统的Petri网模型增加一些新的位置与相应的弧来实现.从而导出了这类制造系统的最佳活Petri网模型.