-
题名基于Petri网的事件协调控制方法研究
- 1
-
-
作者
方欢
王苏城
方贤文
王丽丽
-
机构
安徽理工大学理学院
-
出处
《计算机科学》
CSCD
北大核心
2016年第11期107-110,116,共5页
-
基金
国家自然科学基金项目(61070220
61472003
+5 种基金
61272153
61340003
61402011
61572035)
安徽省教育厅高等学校自然科学研究重点项目(KJ2014A067)
安徽省自然科学基金项目(1608085QF149)资助
-
文摘
事件的协调控制是离散事件系统中一项重要的研究内容,同时包含资源约束和事件约束的混杂约束更是系统设计的难点问题。以DES系统的加权Petri网模型为基础,以DES中变迁库所混杂约束的转换问题为研究对象,将事件协调约束转换为Petri网系统的结构约束,使得库所变迁混合约束问题转化为单一的库所约束问题。首先,提出基于Petri网的事件协调控制方法的设计算法,通过研究变迁约束转换为库所约束的规则与方法,将DES变迁库所混杂约束问题转换为单一的库所约束问题,从库所约束的角度来分析事件协调控制。其次,在3种不同系数约束的变迁≤约束表达式下,利用Petri网结构的特性,将变迁间的协调控制约束转换为系统的库所≤约束,并给出具体的算法步骤。最后,给出基于Petri网的事件协调控制方法的技术难点,剖析进一步分析和研究的主要问题。
-
关键词
协调控制
PETRI网
变迁约束
结构转换
约束条件转换
-
Keywords
Collaborative control
Petri nets
Transition restriction
Structure converting
Restriction converting
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
