Timing constraint workflow nets for workflow analysis | IEEE Journals & Magazine | IEEE Xplore