This document discusses two modeling languages - Business Process Model Notation (BPMN) and Little-JIL Process Definition Language - that can be used to model clinical workflows. It compares the benefits and limitations of each language. BPMN is more widely used but has limitations around exception handling and resource management. Little-JIL provides more comprehensive exception handling and resource management capabilities but is less widely used and requires more time for modeling. The document also demonstrates how Little-JIL can be used to verify properties of a clinical workflow model and derive fault trees to check for errors.