Fast Termination and Workflow Nets.

Piotr Hofman Filip Mazowiecki Philip Offtermatt

Published in: CAV (1) (2023)

Keyphrases

workflow management systems
term rewriting
document management
workflow systems
business processes
workflow model
web services
active rules
data flow
control flow
rewrite systems
database
mobile robot
search algorithm
database systems
image processing
information retrieval
machine learning