TCPN的变迁弱规则特有的调度可达决策区域及算法

摘要：

针对时间限制Petri网(TCPN)采用的变迁弱激活规则和基于TCPN的动态标记,引入变迁的调度延时决策变量和决策空间概念刻画TCPN的状态可达可调度规律.这些概念及其算法揭示了TCPN网的并发分布式动态调度特征.特别是变迁弱规则固有的容许含有失败变迁的并行分布式调度问题,描述了涉及具有有效期的可释放资源类实时系统的特殊调度问题及其规律.

关键词：Petri网、时间限制Petri网、变迁激活弱规则、并行分布式调度

所属期刊栏目：25

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

资助基金：高等学校博士学科点专项科研项目9569289;山西省自然科学基金971034

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

页数：共5页

页码：543-547