未找到相关数据
TCPN的状态可达及可调度决策空间算法
被引：5
作者：
杨根科
曾建潮
孙国基
机构：
[1] 西安交通大学系统工程研究所!西安
[2] 太原重型机械学院自动化与计算机工程系!太原
来源：
关键词：
Petri网（PN）;
时间限制Petri网（TCPN）;
决策变量;
D O I：
暂无
中图分类号：
TP393 [计算机网络];
学科分类号：
081206 [计算机网络与安全];
摘要：
Tsai等提出了时间限制Petri网（TCPN），并讨论变迁可激活、可调度规律及其计算公式．然而，由于网拓扑和动态的复杂性，某些概念的逻辑关系及公式有矛盾．本文通过引入调度决策变量、动态标记准确地刻画调度规律，修正澄清了Tsai文中的问题，完善了TCPN的调度分析．另外，讨论了TCPN沿含有失败变迁激活路径的调度问题，
引用
收藏
页码：34 / 39
页数：6
相关论文