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

摘要

本文介绍了时间Ｐｅｔｒｉ网的分析工具ＰＡＮＴ。我们将首先探讨ＰＡＮＴ所处理Ｐｅｔｒｉ网的结构以及它所表现出的动态行为，并构造出相应的分析算法；其次，我们将通过求并行计算的调度问题，探讨如何利用ＰＡＮＴ对时间Ｐｅｔｒｉ网的分析能力来解决应用问题。