Local Enforceability in Interaction Petri Nets (2007)

by G Decker, M Weske
Venue:In Proc. of BPM’07, volume 4714 of LNCS