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...

Full description

Bibliographic Details
Main Authors: V. A. Bashkin, N. Yu. Panfilova
Format: Article
Language:English
Published: Yaroslavl State University 2014-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
workflow
resource
soundness
parallel composition
deadlock
verification
Online Access:https://www.mais-journal.ru/jour/article/view/68

Similar Items

Similar Items