declarative-process-models
There are 6 repositories under declarative-process-models topic.
cdc08x/MINERful
A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints
ivanDonadello/Declare4Py
A Python package for declarative Process Mining with Machine Learning applications
francxx96/declare4py
A Python package for process-mining with DECLARE models.
JUANITACABALLEROV/3DCRGenerator
3DCR is a tool to enhance the comprehension and engagement of declarative process models. It enables a tailored 3D environment where novel representations of process elements (e.g., events and causal relations) can be explored, modified, analyzed, and enriched with domain-specific representations and visual and sound guidance.
kr2023-6949/experiments
Code to reproduce the experiments in "Logic-based Composition of Business Process Models", by Valeria Fionda, Antonio Ielo, Francesco Ricca.
mucaho/lottraveler
LotTraveler: Workflow Management in Failure Analysis