Synthesis of extended resource control nets using siphons | IEEE Conference Publication | IEEE Xplore