Verification of Workflow Nets

Verification of Workflow Nets
复制标题

DOI：
10.1007/3-540-63139-9_48
复制
发表时间：
1997-06
期刊：
--
影响因子：
--
通讯作者：
Wil M.P. van der Aalst
Wil M.P. van der Aalst
中科院分区：
其他
文献类型：
--
作者：
Wil M.P. van der Aalst

文献摘要

被引文献

相似文献

工作流管理系统将极大地改变未来信息系统的体系结构。业务过程的显式表示是引入工作流管理系统时的主要问题之一。在本文中，我们专注于一类Petri网适合这些程序的表示，确认和验证。我们将表明，由这样的Petri网表示的程序的正确性可以通过使用标准的基于Petri网的技术进行验证。基于这个结果，我们提供了一套全面的转换规则，可用于构建和修改正确的程序。
Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main issues when introducing a workflow management system. In this paper we focus on a class of Petri nets suitable for the representation, validation and verification of these procedures. We will show that the correctness of a procedure represented by such a Petri net can be verified by using standard Petri-net-based techniques. Based on this result we provide a comprehensive set of transformation rules which can be used to construct and modify correct procedures.