There are 1 repository under declarative-process-models topic.
A fast, two-steps algorithm for the automated discovery and management of declarative business process constraints
A Python package for declarative Process Mining with Machine Learning applications
A Python package for process-mining with DECLARE models.
Code to reproduce the experiments in "Logic-based Composition of Business Process Models", by Valeria Fionda, Antonio Ielo, Francesco Ricca.
LotTraveler: Workflow Management in Failure Analysis