Zobrazeno 1 - 1
of 1
pro vyhledávání: '"N. Yu. Panfilova"'
Autor:
V. A. Bashkin, N. Yu. Panfilova
Publikováno v:
Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 18-30 (2014)
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 consi
Externí odkaz:
https://doaj.org/article/fd9a483b592747bc8e13d217c5b9515c
