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