279 followers
RT @NiekTax: @hillelogram Verification of process models (BPMN or other) has been an active area of research for quite a while now. There a…
RT @NiekTax: @hillelogram Verification of process models (BPMN or other) has been an active area of research for quite a while now. There a…
@hillelogram Verification of process models (BPMN or other) has been an active area of research for quite a while now. There are many papers and tools. Just two examples: https://t.co/RPsyFxUL4v https://t.co/xKpFjW8O6f