Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification | IEEE Conference Publication | IEEE Xplore