Towards a model for integrating process verification in process driven application development

This paper introduces a verification model that integrates Colored Petri Nets (CPN) into the PDA development lifecycle to improve process verification. By converting BPMN models into CPN, the method allows for early detection of errors such as deadlocks and inconsistencies.