论文部分内容阅读
Petri网是一种系统描述和分析的有力工具,近年来被广泛地应用于计算机科学和离散事件系统等领域。 本文以Petri网作为离散事件系统的模型,对控制理论与方法进行了较深入的研究。引入了Petri网路增益及位置不变量并运算的概念,建立了路增益与位置不变量之间的联系以及路,基本圈与它们对应的位置不变量之间的关系,给出了Petri网图形运算与位置不变量运算之间的关系,从而扩充了Petri网节点语义。基于路增益概念,给出了无回路Petri网位置不变量存在性判别及确定的几何方法,这些不仅对Petri网理论本身有重要的意义,而且为基于Petri网的离散事件动态系统控制器的研究与综合提供了基础。研究了等式约束下的Petri网控制器问题。利用不变量综合了具有不可控变迁离散事件动态系统的Petri网控制器。通过对一类串行加工系统Petri网模型的结构分析,给出了该系统死锁避免的Petri网控制方法,这为一类FMS的活性控制提供了理论基础。