Soundness analytics of composed logical workflow nets

Liu, W., Wang, L., Feng, X., Qi, M., Yan, C. and Li, M (2017) Soundness analytics of composed logical workflow nets. International Journal of Parallel Programming. ISSN 0885-7458.

17179_Soundness Analytics of Composed Logical Workflow Nets - Man Qi.pdf - Accepted Version

Download (1MB) | Preview


Cooperative systems with passing value indeterminacy and batch processing can be well modeled by composed logical workflow nets. Soundness guarantees no deadlock and livelock and each activity has potential to be executed. The soundness of composed logical workflow nets can be judged by reachability graphs. But reachability graphs can cause state space explosion. Path nets, single line nets, composed path nets and composed single line nets are proposed in the paper. They are used to determine soundness of logical workflow nets and composed logical workflow nets based on net structures and logical expressions avoiding reachability graphs. The presented concepts and techniques are applied to judge soundness of e-commerce transaction processes modeled by composed logical workflow nets, and they are illustrated by an example.

Item Type: Article
Uncontrolled Keywords: Net structure; soundness; composed logical workflow nets; logical expression
Subjects: Q Science > Q Science (General)
Divisions: Faculty of Social and Applied Sciences > School of Law, Criminal Justice and Computing
Depositing User: Dr Man Qi
Date Deposited: 03 Apr 2018 12:15
Last Modified: 07 Feb 2019 15:45

Actions (login required)

Update Item (CReaTE staff only) Update Item (CReaTE staff only)


Downloads per month over past year

View more statistics


Connect with us

Last edited: 29/06/2016 12:23:00