文件名称：基于Petri网化简技术的工作流模型正确性研究 (2007年)
文件大小：265KB
文件格式：PDF
更新时间：2024-06-10 21:37:57
工程技术 论文
为了更有效地对工作流模型进行分析验证，提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上，通过对非*选择网结构活性和有界性的分析，给出了针对Petri网中非*选择部分的分析方法。在保持活性和有界性的前提下，给出了将活的且有界的非*选择部分转化为*选择部分的转化方法，从而将非*选择的Petri网验证问题转化为*选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。