A Tool for Checking Soundness of Decision-Aware Business Processes.

Kimon Batoulis Mathias Weske A Tool for Checking Soundness of Decision-Aware Business Processes. 2017 BPM (Demos) https://ceur-ws.org/Vol-1920/BPM_2017_paper_184.pdf conf/bpm/2017d db/conf/bpm/bpmd2017.html#BatoulisW17a