一种基于有色Petri网的DES的控制方法  

A Control Method for DES Based on the Colored Petri Nets

作　　者：王凯[1] 吴维敏[1] 苏宏业[1] 褚健[1] 

机构地区：[1]浙江大学工业控制技术国家重点实验室

出　　处：《科技通报》2005年第2期180-184,共5页Bulletin of Science and Technology

基　　金：高等学校博士点基金(20020335103)浙江省自然科学基金(Y104081)浙江省教育厅科研项目(20040149)

摘　　要：通过有色Petri网来实现具有或逻辑形式约束条件的Petri网控制器是非常有效的,但以往的文献通常假设Petri网中的变迁是不能并发的。本文提出的利用有色Petri网控制离散事件系统(DES)的方法,不但实现了或逻辑形式的约束,而且允许Petri网中的所有变迁都可以并发。It is effective to synthesis a controller to satisfy the constrains with the forms of OR-logic based on colored Petri nets (CPN). However there is usually an assumption in the reported literatures that the transitions in the net are not concurrent. In this paper, a control method for discrete event systems (DES) based on colored Petri nets is proposed. The constrains with the forms of OR-logic are enforced and all of the transitions in the net are permitted to be concurrent.

关 键 词：控制理论与工程 离散事件系统 PETRI网 有色PETRI网 或逻辑 并发 

分 类 号：TP27[自动化与计算机技术—检测技术与自动化装置]