Skip to main content
Springer Nature Link
Log in

Soundness Analytics of Composed Logical Workflow Nets

  • Published:
International Journal of Parallel Programming Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10

Similar content being viewed by others

References

  1. Liu, W., Wang, L., Du, Y.Y., Li, M.Z.: Deadlock property analysis of concurrent programs based on Petri net structure. Int. J. Parallel Prog. 45(4), 879–898 (2017)

    Article  Google Scholar 

  2. Van Der Aalst, W.M.P., Weske, M.: Reflections on a Decade of Interorganizational Workflow Research. Seminal Contributions to Information Systems Engineering, pp. 307–313. Springer, Berlin (2013)

    Google Scholar 

  3. Li, H.X., Du, Y.Y.: A survey of research issues and key technology for business process management. J. Shandong Univ. Sci. Technol. 34(1), 22–28 (2015)

    Google Scholar 

  4. Tian, Y.H., Du, Y.Y.: A grouping algorithm of optimal alignments. J. Shandong Univ. Sci. Technol. 34(1), 29–34 (2015)

    Google Scholar 

  5. Han, Y.B., Wang, J., Zhang, P.: Business-oriented service modeling: a case study. Simul. Model. Pract. Theory 17(8), 1413–1429 (2009)

    Article  Google Scholar 

  6. Wang, J., Du, Y.Y., Yu, S.X.: Coloured logic Petri nets and analysis of their reachable trees. Enterp. Inf. Syst. 9(8), 900–919 (2015)

    Article  Google Scholar 

  7. Du, Y.Y., Ning, Y.H.: Property analysis of logic Petri nets by marking reachability graphs. Front. Comput. Sci. 8(4), 684–692 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  8. Du, Y.Y., Qi, L., Zhou, M.C.: A vector matching method for analyzing logic Petri nets. Enterp. Inf. Syst. 5(4), 449–468 (2011)

    Article  Google Scholar 

  9. Liu, W., Du, Y.Y., Yan, C.: Soundness preservation in composed logical time workflow nets. Enterp. Inf. Syst. 6(1), 95–113 (2012)

    Article  Google Scholar 

  10. Liu, W., Du, Y.Y., Zhou, M.C., et al.: Transformation of logical workflow nets. IEEE Trans. Syst. Man Cybern. Syst. 44(10), 1401–1412 (2014)

    Article  Google Scholar 

  11. Hu, Q., Du, Y.Y., Yu, S.X.: Service net algebra based on logic Petri nets. Inf. Sci. 268(6), 271–289 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  12. Yan, C., Sun, H.T., Liu, W.: Study of fuzzy association rules and cross-selling toward property insurance customers based on FARMA. J. Intell. Fuzzy Syst. 31(6), 2789–2794 (2016)

    Article  Google Scholar 

  13. Li, Y.Q., Yan, C., Liu, W., Li, M.Z.: A principle component analysis-based random forest with the potential nearest neighbor method for automobile insurance fraud identification. Appl. Soft Comput. (2017). doi:10.1016/j.asoc.2017.07.027

    Google Scholar 

  14. Ding, Z.J., Wang, J.L., Jiang, C.J.: An approach for synthesis petri nets for modeling and verifying composite web service. J. Inf. Sci. Eng. 24(5), 1309–1328 (2008)

    Google Scholar 

  15. Du, Y.Y., Jiang, C.J., Zhou, M.C., et al.: Modeling and monitoring of e-commerce workflows. Inf. Sci. 179(7), 995–1006 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  16. Sun, H.C., Du, Y.Y.: Soundness analysis of inter-organizational workflows. Inf. Technol. J. 7(8), 1194–1199 (2008)

    Article  MathSciNet  Google Scholar 

  17. Liu, W., Wang, P., Du, Y.Y., Zhou, M.C., Yan, C.: Extended logical Petri nets-based modeling and analysis of business processes. IEEE Access (2017). doi:10.1109/ACCESS.2017.2743113

    Google Scholar 

  18. Liu, G.J., Jiang, C.J., Wu, Z.H., et al.: A live subclass of Petri nets and their application in modeling flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 41(1), 66–74 (2009)

    Article  Google Scholar 

  19. Liu, G.J., Reisig, W., Jiang, C.J., et al.: A branching process based method to check soundness of workflow systems. IEEE Access 4, 4104–4118 (2016)

    Article  Google Scholar 

Download references

Acknowledgements

This work was financially supported by the Project of National Natural Science Foundation of China (Nos.61472228, 61502280), Natural Science Foundation of Shandong province (No. ZR2014FM009)

Author information

Authors and Affiliations

  1. Shandong Province Key Laboratory of Wisdom Mine Information Technology, Shandong University of Science and Technology, Qingdao, 266590, China

    Wei Liu

  2. College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, China

    Wei Liu, Lu Wang & Xin Feng

  3. Computing, Digital Forensics and Cybersecurity, Canterbury Christ Church University, Canterbury, Kent, CT1 1QU, UK

    Man Qi

  4. College of Mathematics and System Science, Shandong University of Science and Technology, Qingdao, China

    Chun Yan

  5. Department of Electronic and Computer Engineering, Brunel University London, Uxbridge, UB8 3PH, UK

    Maozhen Li

  6. Key Laboratory of Embedded Systems and Service Computing, Ministry of Education, Tongji University, Shanghai, 200092, China

    Maozhen Li

Authors
  1. Wei Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lu Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xin Feng
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Man Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Chun Yan
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Maozhen Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chun Yan.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Liu, W., Wang, L., Feng, X. et al. Soundness Analytics of Composed Logical Workflow Nets. Int J Parallel Prog 47, 709–724 (2019). https://doi.org/10.1007/s10766-017-0536-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10766-017-0536-8

Keywords