Abstract: Specification languages for workflow need to combine practical algorithmic efficiency with high expressive power and the ability to reason about both states and events. We address this question by defining a new temporal logic E-CTL^＊ which integrates bot

Key words: Workflow, Temporal logic, Process change, Synchronization net