Modeling of Business processes is essential in many areas. Workflows represent the Business processes. It is possible to identify potential problems while performing verification of workflows. One of the objectives of the verification is to assure reachability. This includes analysis of the deadlock and tempo blocking freeness properties. The paper presents verification approach based on using an adjacency matrix. Spreadsheets are used as a verification tool. The approach is illustrated by the examples which justify the importance of verification in workflow processes.
Pranevičius, H., & Misevičienė, R. (2012). Verification of business process workflows. Technological and Economic Development of Economy, 18(4), 623-635. https://doi.org/10.3846/20294913.2012.740517
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.