Controllable Deadlocks in Parallel Resource-Constrained Workflows

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 workflow nets (RCWF-nets) is considered, where resources can be used by a process in...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: V. A. Bashkin, N. Yu. Panfilova
Formáid: Alt
Teanga:English
Foilsithe / Cruthaithe: Yaroslavl State University 2014-12-01
Sraith:Моделирование и анализ информационных систем
Ábhair:
workflow
resource
soundness
parallel composition
deadlock
verification
Rochtain ar líne:https://www.mais-journal.ru/jour/article/view/68

Ar líne

https://www.mais-journal.ru/jour/article/view/68

Míreanna comhchosúla