Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
From MaRDI portal
Publication:6487345
DOI10.1007/978-3-031-13188-2_23zbMath1514.68123MaRDI QIDQ6487345
Filip Mazowiecki, Philip Offtermatt, Michael Blondin
Publication date: 7 December 2022
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)
This page was built for publication: Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
