| 一种基于有色Petri网的DES的控制方法 |
| |
| 引用本文： | 王凯,吴维敏,苏宏业,褚健.一种基于有色Petri网的DES的控制方法[J].科技通报,2005,21(2):180-184. |
| |
| 作者姓名： | 王凯 吴维敏 苏宏业 褚健 |
| |
| 作者单位： | 浙江大学,工业控制技术国家重点实验室;浙江大学,先进控制研究所,杭州,310027 |
| |
| 基金项目： | 高等学校博士点基金(20020335103)
浙江省自然科学基金(Y104081)
浙江省教育厅科研项目(20040149) |
| |
| 摘 要： | 通过有色Petri网来实现具有或逻辑形式约束条件的Petri网控制器是非常有效的,但以往的文献通常假设Petri网中的变迁是不能并发的。本文提出的利用有色Petri网控制离散事件系统(DES)的方法,不但实现了或逻辑形式的约束,而且允许Petri网中的所有变迁都可以并发。
|
| 关 键 词： | 控制理论与工程 离散事件系统 Petri网 有色Petri网 或逻辑 并发 |
| 文章编号： | 1001-7119(2005)02-0180-05 |
| 修稿时间： | 2004年2月13日 |
A Control Method for DES Based on the Colored Petri Nets |
| |
| WANG Kai,WU Wei-min,SU Hong-ye,CHU Jian.A Control Method for DES Based on the Colored Petri Nets[J].Bulletin of Science and Technology,2005,21(2):180-184. |
| |
| Authors: | WANG Kai WU Wei-min SU Hong-ye CHU Jian |
| |
| Abstract: | 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. |
| |
| Keywords: | control theory and engineering discrete event systems colored Petri nets petri nets or-logic concurrent |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
