Local Enforceability in Interaction Petri Nets.

Gero Decker, Mathias Weske

Browse the full BPM paper archive.