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

摘要：

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

关键词：Petri网、自动制造系统、活性和公平性、非冗余严格极小信标

所属期刊栏目：29

分类号：TP278(自动化技术及设备)

资助基金：国家自然科学基金00J16.2.5.D20145

在线出版日期：2004-03-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：62-71