Controllable Deadlocks in Parallel Resource-Constrained Workflows

Controllable Deadlocks in Parallel Resource-Constrained Workflows

Blog Article

We study the verification of the soundness property for workflow nets extended with resources.A workflow is sound if it terminates bar vac 7 somnus 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 be created or spent.Two sound RCWF-nets using the peak thca vape same set of resources can be put in parallel.This parallel composition may in some cases produce additional deadlocks.

A problem of deadlock avoidance in parallel workflows is studied, some methods of deadlock search and control are presented.