Por favor, use este identificador para citar o enlazar este ítem: http://repositoriodigital.ipn.mx/handle/123456789/19980
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorClepner Kerik, Julio Bernardo-
dc.date.accessioned2014-09-09T18:34:26Z-
dc.date.available2014-09-09T18:34:26Z-
dc.date.issued2014-09-01-
dc.identifier.issn0957-4174-
dc.identifier.urihttp://www.repositoriodigital.ipn.mx/handle/123456789/19980-
dc.description.abstractThis paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage of this approach is its ability to represent the dynamic behavior of the business process. We show that the problem of finding an optimum trajectory for validation of well-formed business processes is solvable. To prove our statement we use the Lyapunov stability theory to tackle the soundness verification problem for decision-process Petri nets. As a result, applying Lyapunov theory, the wellformed verification (soundness) property is solved showing that the workflow net representation using decision process Petri nets is uniformly practically stable. It is important to note that in a complexitytheoretic sense checking the soundness property is computationally tractable, we calculate the computational complexity for solving the problem. We show the connection between workflow nets and partially ordered decision-process Petri net used for business process representation and analysis. Our computational experiment of supply chains demonstrate the viability of the modeling and solution approaches for solving computer science problems.es
dc.description.sponsorshipInstituto Politécnico Nacional. CIECASes
dc.language.isoenes
dc.publisherExpert Systems with Applications, Volume 41es
dc.subjectSoundnesses
dc.subjectWorkflow netses
dc.subjectStabilityes
dc.titleVerifying soundness of business processes: A decision process Petri nets approaches
dc.typeArticlees
dc.description.tipopdfes
Aparece en las colecciones: Artículos

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
b1751041331615fc5cb75b40a3216745-FINAL.pdf1.09 MBAdobe PDFVisualizar/Abrir


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.