Day: November 25, 2020
News
PragmaDev Process V1.2 Released
PragmaDev has released a new version of PragmaDev Process with a new built-in property associated to its powerful exploration engine that can automatically identify deadlocks in business processes. PragmaDev Process aims at verifying business process models described with BPMN (Business Process Model Notation).
Read More