The complexity of soundness in workflow nets.

Michael Blondin Filip Mazowiecki Philip Offtermatt

Published in: LICS (2022)

Keyphrases

databases
decision making
petri net
search engine
multimedia
multiscale
data structure