On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net (RWF-net) is a workflow net supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. We constrain neither the intermediate nor fin...
Váldodahkkit: | , |
---|---|
Materiálatiipa: | Artihkal |
Giella: | English |
Almmustuhtton: |
Yaroslavl State University
2013-08-01
|
Ráidu: | Моделирование и анализ информационных систем |
Fáttát: | |
Liŋkkat: | https://www.mais-journal.ru/jour/article/view/182 |