Work

Behavior consistency computation for workflow nets with unknown correspondence