Controllable Deadlocks in Parallel Resource-Constrained Workflows
We study the verification of the soundness property for Fridge Door Reed Switch workflow nets extended with resources.A workflow is sound if it terminates properly (no deadlocks and livelocks are possible).A class of resource-constrained workflow nets (RCWF-nets) is considered, where resources can be used by a process instance, but cannot Aromather