Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf) - View it on GitHub
Star
14
Rank
1196146