基于Petri网工作流模型的分析(1)

基于Petri网工作流模型的分析晋　蓓，冯卫兵（1. 西北大学　计算机科学系，陕西 西安　710069；2. 西安科技大学　基础部，陕西 西安　710054）摘要：通过模型分析发现所描述的过程定义中的