Workflow validation and process mining

Q&A
1

Hallo,

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!