signavio / bpmn2constraints

Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
10Updated last month

Related projects

Alternatives and complementary repositories for bpmn2constraints