Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment