未找到相关数据
时间约束Petri网的可达性分析研究
被引：7
作者：
李慧芳
李人厚
机构：
[1] 西安交通大学系统工程研究所
来源：
关键词：
时间约束Petri网;
Petri网;
可调度分析;
决策变量;
D O I：
暂无
中图分类号：
TP393 [计算机网络];
学科分类号：
081206 [计算机网络与安全];
摘要：
时间约束 Petri网是具有广义时间约束的一类 Petri网。目前有关 TCPN状态可达性的研究仅局限于一些较简单的网 ,本文通过对 TCPN的进一步研究 ,给出了更一般的状态可达性分析方法 ,并讨论了一般拓扑结构 TCPN的可调度分析。
引用
收藏
页码：60 / 63
页数：4
相关论文