基于Petri网的工作流合法性验证综述

【引言】随着办公自动化、计算机集成制造、文件管理及数据库技术等相关领域的发展，越来越多的人开始关注日常工作中具有固定程序的活动，这些活动有序地结合在一起来完成一项工作，在此基础上很多学者提出了通过计算机的有效管理进行自动化工作的概念，即工作流。工作流的目的是通过将工作分解成定义良好的任务或角色，按照一定的规则和过程来执行这些任务并对其进行监控，达到提高工作效率、更好地控制过程、增强对客户的服务、有效管理业务流程等目的。工作流概念的提出引起了很多厂商和科研工作者的关注，并开发出了很多相关的产品，如美国IBM 公司Almaden 研究所提出的能够完成分布执行的基于持久消息的Extica /FMQM、瑞士苏黎世大学提出的基于事件的工作流执行平台中间件体系结构EVE、美国佐治亚大学的LSDIS 实验室开发的基于Web和CORBA 的Meteor 及美国Dartmouth 大学开发的基于可移动代理的Darflow 等。针对复杂的现实世界进行定义和模拟容易产生错误，这些错误将导致实现上出错，给系统运行带来巨大的损失。因此，验证合理性成为工作流执行过程中的一个重要环节，这一点也得到了很多科研人员和工业界人员的认可。为了降低这种损失，将在工作流执行之前对其进行合理性验证，保证其在运行逻辑上的合法性。