A BPMN-based automated approach for the analysis of healthcare processes