Identify deadlocks in your business process

16 views
Skip to first unread message

Emmanuel Gaudin

unread,
Dec 7, 2020, 8:32:43 PM12/7/20
to BPMN...@googlegroups.com

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

Reply all
Reply to author
Forward
0 new messages