Download CHOReOSynt Quick User Guide

CHOReOSynt
Quick User Guide
(part 1)
CHOReOSint - Quick User Guide
1
Run CHOReOSynt as an Eclipse Application
CHOReOSint - Quick User Guide
2
Checking BPMN2 Correctness
CHOReOSint - Quick User Guide
3
Transforming BPMN2 to CLTS
CHOReOSint - Quick User Guide
4
Transforming CLTS to LTS
CHOReOSint - Quick User Guide
5
Projecting CLTS to a (set of) selected Role(s)
CHOReOSint - Quick User Guide
6
CHOReOSint - Quick User Guide
7