I am working on CPN ( Colored Petri Nets) to model the fault diagnosis system in BPEL web service. I want to construct a model-based approach. If you have any idea regarding this please tell me.
Depending on the level of detail you want to spend you may also just use a collaboration diagramm of BPMN 2.0 and the attached events/event-driven sub processes to model exceptions and their handlers in business processes,