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