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.

Full text not available from this repository.

Abstract

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
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: 03 Apr 2018 12:15
URI: https://create.canterbury.ac.uk/id/eprint/17179

Actions (login required)

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

Downloads

Downloads per month over past year

View more statistics

Share

Connect with us

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