Workflow validation and process mining
I'm new here. I'm doing some research on Bonita BPM product. I was wondering the following: 1. Is there a functionality in BonitSoft BPM to analyze the workflow and detect deadlocks, livelocks, improper completion (like in a petri-net) ? 2. Moreover, is there a functionality for process mining? Thanks!