自动制造系统Petri网的公平活性控制策略(英文)

基于Petri网的不变式理论 ,针对典型的自动制造系统 ,提出了Petri模型强制公平性和活性的方法 .首先 ,基于网论T 不变式的概念 ,把系统的网模型设计为一个公平网 .此后 ,利用P 不变式把一个公平网设计为一个活的且公平网 .同时 ,提出了非冗余严格极小信标的概念 ,大大简化了系统的分析与设计 .一般说来 ,非冗余严格极小信标是系统严格极小信标一个小的子集 ,尤其对于复杂系统的网模型 .研究结果表明 ,只要使非冗余的严格极小信标受控 ,则系统所有的严格极小信标就不会被清空 .文中举例说明了这些控制方法的应用 .研究结果适用于一大类柔性制造系统 ,具有相当的普遍性 .这种方法对于自动制造系统的调度设计也具有一定意义和价值 .