Consistency of synchronization nets using P and V operations | IEEE Conference Publication | IEEE Xplore