Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations.

Michael Blondin Filip Mazowiecki Philip Offtermatt

Published in: CAV (2) (2022)

Keyphrases

structural information
linear programming
neural network
real time
lower bound
semidefinite
database
information retrieval
business processes
petri net
model checking
convex optimization
loosely coupled
structural analysis
convex relaxation
workflow systems