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

TIME PETRI NET ANALYZER PANT AND ITS APPLICATION IN SCHEDULING PROBLEMS

作　　者：于达[1] 张钹[1] 陈陈[1] 

机构地区：[1]清华大学智能技术与系统实验室

出　　处：《计算机学报》1994年第6期417-423,共7页Chinese Journal of Computers

摘　　要：本文介绍了时间Ｐｅｔｒｉ网的分析工具ＰＡＮＴ．我们将首先探讨ＰＡＮＴ所处理Ｐｅｔｒｉ网的结构以及它所表现出的动态行为，并构造出相应的分析算法；其次，我们将通过求解并行计算的调度问题，探讨如何利用ＰＡＮＴ对时间Ｐｅｔｒｉ网的分析能力来解决应用问题．This paper introduces a time Petri net analyzer PANT. At first, the structure and dynamic behaviors of Petri net are described, and some algorithms for analyzing these properties are given. After that, PANT's analyzing ability of time Petri net is used to solve the scheduling problem in parallel computation.

关 键 词：计算机网络 分析工具 PETRI网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]