摘要： Work/low technology is widely used in business process modeling, software process modeling as well as en-terprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, express

关键词: 工作流管理系统 工作流过程 建模方法 Petri网 形式化验证 软件系统