论文部分内容阅读
本文介绍了时间Ｐｅｔｒｉ网的分析工具ＰＡＮＴ．我们将首先探讨ＰＡＮＴ所处理Ｐｅｔｒｉ网的结构以及它所表现出的动态行为，并构造出相应的分析算法；其次，我们将通过求解并行计算的调度问题，探讨如何利用ＰＡＮＴ对时间Ｐｅｔｒｉ网的分析能力来解决应用问题．
This article introduces PANT, an analysis tool for time Petri nets. We will first explore the structure of Petri nets handled by PANT and the dynamic behavior it exhibits, and construct the corresponding analysis algorithms. Secondly, we will explore how to use PANT to analyze Petri nets by solving the scheduling problem of parallel computing Ability to solve application problems.