Soundness of Resource-Constrained Workflow Nets

@inproceedings{Hee2005SoundnessOR,
  title={Soundness of Resource-Constrained Workflow Nets},
  author={K. V. Hee and Alexander Serebrenik and N. Sidorova and M. Voorhoeve},
  booktitle={ICATPN},
  year={2005}
}
  • K. V. Hee, Alexander Serebrenik, +1 author M. Voorhoeve
  • Published in ICATPN 2005
  • Computer Science
  • We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient initial number of resources, all cases in the net are guaranteed to terminate successfully, no matter which schedule is used. We give a necessary and sufficient condition for soundness and an algorithm that checks it. 
    47 Citations
    Resource equivalence in workflow nets ?
    • 6
    • Highly Influenced
    Decidability of k -Soundness for Workflow Nets with an Unbounded Resource
    • 5
    Soundness for Resource-Constrained Workflow Nets Is Decidable
    • N. Sidorova, C. Stahl
    • Computer Science
    • IEEE Transactions on Systems, Man, and Cybernetics: Systems
    • 2013
    • 9
    • PDF
    On the deadlock control in parallel resource-constrained workflows
    • PDF
    Dynamic Soundness in Resource-Constrained Workflow Nets
    • 17
    • PDF
    Soundness of Workflow Nets with an Unbounded Resource is Decidable
    • 5
    • Highly Influenced
    • PDF
    Cost Soundness for Priced Resource-Constrained Workflow Nets
    • 3
    • PDF
    Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
    • 1
    • PDF
    Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets
    • 15
    • Highly Influenced
    Analyzing Compatibility of Services via Resource Conformance
    • 9
    • PDF

    References

    SHOWING 1-10 OF 26 REFERENCES
    Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
    • 132
    • PDF
    Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
    • W. V. Aalst
    • Computer Science
    • Business Process Management
    • 2000
    • 472
    • PDF
    Verification of Workflow Nets
    • 900
    • Highly Influential
    • PDF
    A Petri net based deadlock prevention policy for flexible manufacturing systems
    • 1,071
    • PDF
    The Resource Allocation Problem in Flexible Manufacturing Systems
    • 56
    The Application of Petri Nets to Workflow Management
    • W. V. Aalst
    • Computer Science
    • J. Circuits Syst. Comput.
    • 1998
    • 2,851
    • PDF
    Applications and Theory of Petri Nets 2003
    • 164
    Advances in Petri Nets 1989
    • G. Rozenberg
    • Computer Science
    • Lecture Notes in Computer Science
    • 1988
    • 38
    Petri Nets for the Design and Operation of Manufacturing Systems
    • 104
    Petri Nets for Systems Engineering
    • 171
    • PDF