Cargando…

PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets

Asymmetric-choice workflow nets (ACWF-nets) are an important subclass of workflow nets (WF-nets) that can model and analyse business processes of many systems, especially the interactions among multiple processes. Soundness of WF-nets is a basic property guaranteeing that these business processes ar...

Descripción completa

Detalles Bibliográficos
Autor principal: Liu, Guanjun
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324217/
http://dx.doi.org/10.1007/978-3-030-51831-8_10

Ejemplares similares