MarcusRost

Pinned Repositories

bpmn2constraints
Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
Language:Python0 0 00
bpmn2constraints
Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
Language:Jupyter Notebook00
bpmn2constraints
Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
Language:Python11 6 316

MarcusRost's Repositories

MarcusRost/bpmn2constraints
Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)
Language:Python0 0 00