Métodos de Estructura vs Trayectoria Para La Validación De Consistencia De Procesos De Negocio (Structure vs. Trajectory Tracking Methods: Soundness Verification of Business Processes)

Julio Clempner (julio@k-itech.com)1

1National Polytechnic Institute

This paper appears in: Revista IEEE América Latina

Publication Date: Dec. 2015
Volume: 13,   Issue: 12 
ISSN: 1548-0992

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.

Index Terms:
workflow nets, soundness, stability, Lyapunov, Petri nets   

Documents that cite this document
This function is not implemented yet.

[PDF Full-Text (284)]