基于Petri网的作业网络模型的正确性研究

摘要

文章以结构化的作业网络(JNW)为模型,在描述作业控制流中的基本路由结构:顺序、循环、选择和并行的基础上,将Petri网引入到JNW的建模中,并用Petri网的可达图来检验作业网络模型的正确性。