Siphon-based deadlock prevention policy for interorganizational WorkFlow net design | IEEE Conference Publication | IEEE Xplore