Abstract The dyanamic nature of incident command systems and their requirement for high flexibility raise a challenge to the research and implementation of workflows. The signficance of applying formal approaches to the modeling and analysis of workflows has been well recognized and several such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formalisms, which impacts their application on a larger scale. To address these...