Abstract
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.
Cite
CITATION STYLE
van der Aalst, W. M. P. (1997). Verification of workflow nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1248, pp. 407–426). Springer Verlag. https://doi.org/10.1007/3-540-63139-9_48
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
