时间Petri网的分析工具PANT及其在调度问题中的应用

被引:11
作者
于达
张钹
陈陈
机构
[1] 清华大学智能技术与系统实验室
关键词
Petri网; 时间Petri网; 调度问题;
D O I
暂无
中图分类号
TP393 [计算机网络];
学科分类号
081201 ; 1201 ;
摘要
本文介绍了时间Petri网的分析工具PANT.我们将首先探讨PANT所处理Petri网的结构以及它所表现出的动态行为,并构造出相应的分析算法;其次,我们将通过求解并行计算的调度问题,探讨如何利用PANT对时间Petri网的分析能力来解决应用问题.
引用
收藏
页码:417 / 423
页数:7
相关论文
empty
未找到相关数据