PragmaDev provides tools focusing on model verification. The tool PragmaDev Process
aims at helping business process modelers to verify their models.
PragmaDev Process latest release V1.2 identifies deadlocks in business processes. A deadlock is a situation where there are no further actions to be performed even though the process is not finished. The built-in deadlock property will automatically identify possible deadlocks in a model.
More information on: https://www.pragmadev.com/product/process.html