For the most recent entries see the Petri Nets Newsletter.

Workflow Verifications: Finding Control-Flow Errors Using Petri-Net based Techniques.

van der Aalst, W.M.P.

In: van der Aalst, W.M.P.; Desel, J.; Oberweis, A.: Lecture Notes in Computer Science, Vol. 1806: Business Process Managements - models, techniques and empirical studies, pages 161-183. Springer-Verlag, 2000.

Abstract: Workflow mangement systems facilitate the everyday operation of business prccesses by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography