ECA Rule and Colored Petri Nets Based Workflow Modeling Research | IEEE Conference Publication | IEEE Xplore