A resource state-based business process control mechanism for BPM | IEEE Conference Publication | IEEE Xplore