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

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: V. A. Bashkin, I. A. Lomazova
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