A carregar...
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...
Na minha lista:
| Main Authors: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Yaroslavl State University
2013-01-01
|
| Colecção: | Modelirovanie i Analiz Informacionnyh Sistem |
| Assuntos: | |
| Acesso em linha: | http://mais-journal.ru/jour/article/view/182 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|