Controllable deadlocks in parallel resource-constrained workflows
V. A. Bashkin, N. Yu. Panfilova
P. G. Demidov Yaroslavl State University, Sovetskaya str., 14, Yaroslavl, 150000, Russia
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 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 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.
workflow, resource, soundness, parallel composition, deadlock, verification.
PDF file (659 kB)
V. A. Bashkin, N. Yu. Panfilova, “Controllable deadlocks in parallel resource-constrained workflows”, Model. Anal. Inform. Sist., 21:6 (2014), 18–30
Citation in format AMSBIB
\by V.~A.~Bashkin, N.~Yu.~Panfilova
\paper Controllable deadlocks in parallel resource-constrained workflows
\jour Model. Anal. Inform. Sist.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|