Process design, verification and simulation: an implementation in a visual modeling tool for a workflow management system - Hong Zhang 043 (2001)