Corpus ID: 46317338

Resource-Constrained Workflow Nets

@article{Hee2006ResourceConstrainedWN,
  title={Resource-Constrained Workflow Nets},
  author={K. V. Hee and N. Sidorova and M. Voorhoeve},
  journal={Fundam. Informaticae},
  year={2006},
  volume={71},
  pages={243-257}
}
  • K. V. Hee, N. Sidorova, M. Voorhoeve
  • Published 2006
  • Computer Science
  • Fundam. Informaticae
  • We study concurrent processes modelled as workflow Petri nets extended with resource constrains. [...] Key Method We define structural criteria based on traps and siphons for the correctness of workflow nets with resource constraints. We also extend the soundness notion for workflow nets to the workflow nets with resource constraints; extra conditions concern the durability of resources. We prove some properties of sound resource-constrained workflow nets.Expand Abstract
    39 Citations
    Resource requirement analysis for cyclic workflows
    • X. Li, G. Liu, Jun Wang, J. Wang
    • Computer Science
    • 2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC)
    • 2016
    Resource Oriented Workflow Nets and Workflow Resource Requirement Analysis
    • 16
    Petri net based resource modeling and analysis of workflows with task failures
    • J. Wang
    • Computer Science
    • 2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC)
    • 2013
    Priority Workflow Nets
    • 8
    The Analysis of Resource Constrained Workflows using Petri Nets
    • 3
    • PDF
    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
    Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair
    • 1
    • PDF
    Resource Relocation in Workflow Nets With Time, Resource, and Task Priority Constraints
    • 3

    References

    SHOWING 1-10 OF 14 REFERENCES
    Resource-Constrained Workflow nets ( extended abstract )
    • 1
    Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
    • 132
    • PDF
    Generalised Soundness of Workflow Nets Is Decidable
    • 84
    • PDF
    Verification of Workflow Nets
    • 900
    • PDF
    The Resource Allocation Problem in Flexible Manufacturing Systems
    • 56
    • Highly Influential
    A Petri net based deadlock prevention policy for flexible manufacturing systems
    • 1,071
    • PDF
    Petri Nets for the Design and Operation of Manufacturing Systems
    • 104
    Flexible Manufacturing Systems
    • 5
    • PDF
    Structural Analysis of Workflow Nets with Shared Resources
    • 55