Abstraction-based workflow cooperation using Petri net theory | IEEE Conference Publication | IEEE Xplore