Structure vs. Trajectory Tracking Methods: Soundness Verification of Business Processes

In this paper we contrast the application of two different methods for verifying soundness of workflow. The first approach considers the structure of the workflow net and proposes an analytical process that takes into account the incidence matrix and a strict positive vector to prove soundness. The second method is based on decision process Petri nets theory showing that the problem of finding an optimum trajectory for validation of well-formed workflow is solvable. The advantage of both solutions is that to tackle the soundness verification problem use the Lyapunov stability theory which corresponds to an analytical method for Petri nets. We validate our statement theoretically and by an application example.