Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets

@article{Tiplea2012DecidabilityRF,
  title={Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets},
  author={Ferucio Laurentiu Tiplea and Corina Bocaneala},
  journal={IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans},
  year={2012},
  volume={42},
  pages={238-249}
}
This paper focuses on the decidability status of various forms of behavioral correctness criteria for resource-constrained workflow (RCWF) nets (Petri net models of RCWF systems). These behavioral correctness criteria, usually called soundness criteria, are natural extensions of similar correctness criteria for workflow nets (Petri net models of workflow systems). While all forms of soundness are known to be decidable for workflow nets, only soundness for RCWF nets with just one resource type… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 33 references

Structural analysis of workflow nets with shared resources

  • K. Barkaoui, L. Petrucci
  • Proc. Workshop “Workflow Management—Netbased…
  • 1998
Highly Influential
9 Excerpts

Uniform verification of workflow soundness

  • K. Barkaoui, R. B. Ayed
  • Trans. Inst. Meas. Control, vol. 33, no. 1, pp…
  • 2010
2 Excerpts

System Modeling and Control with Resource- Oriented Petri Nets

  • M. C. Zhou, N. Q. Wu
  • 2009
1 Excerpt

Similar Papers

Loading similar papers…