Soundness Analytics of Composed Logical Workflow Nets

  title={Soundness Analytics of Composed Logical Workflow Nets},
  author={Wei Liu and Lu Wang and Xin Feng and Man Qi and Chun Yan and Maozhen Li},
  journal={International Journal of Parallel Programming},
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… CONTINUE READING