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 teeter totter cabernet 2019 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 be created or spent.Two sound RCWF-nets using the same set of resources can be put in callaway mavrik sand wedge for sale 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.