@inproceedings{BMO22b,
  author    = {Michael Blondin and Filip Mazowiecki and Philip
                  Offtermatt},
  title     = {Verifying Generalised and Structural Soundness of
                  Workflow Nets via Relaxations},
  booktitle = {Proc.\ $\text{34}^\text{th}$ International Conference
                  on Computer Aided Verification ({CAV})},
  pages     = {468--489},
  year      = {2022},
  doi       = {10.1007/978-3-031-13188-2_23}
}