论文部分内容阅读
目前，工作流的建模和分析工具有很多，由于Petri网具有坚实的理论基础和易于使用的图形表示，因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术，对其基本的过程和所涉及的问题进行了分析，尤其对模型正确性的判定等问题，进行了详细的阐述了。在文章最后，将给出一个应用的实例；全国高校网上招生录取系统。