Soundness of workflow nets: classification, decidability, and analysis

@article{Aalst2010SoundnessOW,
  title={Soundness of workflow nets: classification, decidability, and analysis},
  author={W. V. D. Aalst and K. V. Hee and A. T. Hofstede and N. Sidorova and H. Verbeek and M. Voorhoeve and M. T. Wynn},
  journal={Formal Aspects of Computing},
  year={2010},
  volume={23},
  pages={333-363}
}
  • W. V. D. Aalst, K. V. Hee, +4 authors M. T. Wynn
  • Published 2010
  • Computer Science
  • Formal Aspects of Computing
  • Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. [...] Key Result These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.Expand Abstract
    338 Citations
    A Branching-Process-Based Method to Check Soundness of Workflow Systems
    • 34
    • Highly Influenced
    Complexity of the Soundness Problem of Bounded Workflow Nets
    • 11
    • Highly Influenced
    • PDF
    Complexity of the Soundness Problem of Workflow Nets
    • 14
    • Highly Influenced
    Soundness of workflow nets with reset arcs is undecidable
    • 1
    • PDF
    Soundness of Workflow Nets with Reset Arcs
    • 11
    • PDF
    Soundness of Timed-Arc Workflow Nets
    • 5
    • Highly Influenced
    • PDF
    Assessing SMT and CLP approaches for workflow nets verification
    • 1
    • PDF
    Cost Soundness for Priced Resource-Constrained Workflow Nets
    • 3
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 126 REFERENCES
    Generalised Soundness of Workflow Nets Is Decidable
    • 84
    • PDF
    Soundness of Workflow Nets with Reset Arcs
    • 11
    • PDF
    An Alternative Way to Analyze Workflow Graphs
    • 199
    • PDF
    Model checking of workflow schemas
    • 65
    • PDF
    Verification Of Workflow Task Structures: A Petri-net-baset Approach
    • 300
    • PDF
    Reduction rules for reset workflow nets
    • 17
    • PDF