论文部分内容阅读
信标的重要性在Petri网的死锁预防分析和控制中已经被充分地认识。本论文就是致力于研究一般Petri网系统,并以其一种特殊子类S4PR在柔性制造系统中的死锁问题为例,提出了一种基于信标的结构简化的活性控制器设计方法。同时,该方法具有一定的普遍性可以将其应用到一般Petri网的其它特殊子类中。在本论文中我们依据以前的工作,首先将一个原始的网模型中的信标区分为基本信标和从属信标,然后通过只给每一个基本信标添加控制库所使其满足最大可控信标的性质从而使网模型具有活性,以达到结构简化的