Verifying generalised and structural soundness of workflow nets via relaxations
Authors: Michael Blondin, Filip Mazowiecki and Philip Offtermatt
Paper Information
| Title: | Verifying generalised and structural soundness of workflow nets via relaxations |
| Authors: | Michael Blondin, Filip Mazowiecki and Philip Offtermatt |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | petri nets, workflow nets, continuous reachability, free-choice nets, soundness, structural soundness, generalized soundness |
| Pages: | 21 |
| Talk: | Aug 10 16:20 (Session 116A: Synthesis and Concurrency) |
| Paper: |  |