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 |