/bpmn2constraints

Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)

Primary LanguagePythonApache License 2.0Apache-2.0

Stargazers