Soundness of reset workflow nets
Workflow nets are a well-established variant of Petri nets for the modeling of process activities such as business processes. The standard correctness notion of workflow nets is soundness, which comes in several variants. Their decidability was shown decades ago, but their complexity was only identi...
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2503.04440 http://arxiv.org/abs/2503.04440 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|