Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

@inproceedings{Hee2003SoundnessAS,
  title={Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach},
  author={K. V. Hee and N. Sidorova and M. Voorhoeve},
  booktitle={ICATPN},
  year={2003}
}
  • K. V. Hee, N. Sidorova, M. Voorhoeve
  • Published in ICATPN 2003
  • Computer Science
  • Workflow nets are recognized as a modelling paradigm for the business process modelling. We introduce and investigate several correctness notions for workflow nets, ranging from proper termination of cases to their mutual independence. We define refinement operators for nets and investigate preservation of correctness through these operators. This gives rise to a class of nets that are provably correct. 
    132 Citations
    Instantiating nets and their applications to workflow nets
    • F. Ţiplea, Aurora Tiplea
    • Computer Science
    • Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)
    • 2005
    • 6
    • Highly Influenced
    • PDF
    Soundness of Resource-Constrained Workflow Nets
    • 47
    • PDF
    Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!
    • 8
    • PDF
    Workflow Model Compositions Preserving Relaxed Soundness
    • 21
    • PDF
    Resource-Constrained Workflow nets ( extended abstract )
    • 1
    Verification of WF-nets
    • 59
    • PDF
    Soundness of Workflow Nets with Reset Arcs
    • 11
    • PDF
    Soundness of workflow nets with reset arcs is undecidable
    • 1
    • PDF
    Invariant Analysis for the Task Refinement of Workflow Nets
    • J. Ge, H. Hu, J. Lu
    • Computer Science
    • 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06)
    • 2006
    • 5

    References

    SHOWING 1-10 OF 12 REFERENCES
    Verification of Workflow Nets
    • 900
    • PDF
    Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
    • W. V. Aalst
    • Computer Science
    • Business Process Management
    • 2000
    • 472
    • PDF
    Inter-operability of Workflow Applications: Local Criteria for Global Soundness
    • 120
    Relaxed Soundness of Business Processes
    • 156
    • PDF
    Diagnosing Workflow Processes using Woflan
    • 399
    • PDF
    Operational and Algebraic Semantics of Concurrent Processes
    • R. Milner
    • Computer Science, Mathematics
    • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
    • 1990
    • 347
    Development and Evolution of Software Architectures for Product Families
    • 75
    Free Choice Petri Nets
    • 863
    • PDF
    Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
    • 6,399
    • PDF
    Distributed Databases: Principles and Systems
    • 776
    • PDF