MarcusRost

Pinned Repositories

bpmn2constraints
Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
Language:Python00
bpmn2constraints
Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
Language:Python95
bpmn2constraints
Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
Language:Jupyter Notebook00

MarcusRost's Repositories

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