An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: conformance-checking

datagram-db/knobab

Fast LTLf Log-SAT Solver with Data Payload!

Language: C++ - Size: 204 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

BenjaminOyarzun17/ProcessProphet

Process Prophet is a process minig tool that generates a process twin able to imitate existing behavior and make predictions

Language: Python - Size: 15.6 MB - Last synced at: 18 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

process-analytics/bpmn-visualization-pm4py 📦

Example of integration between bpmn-visualization and pm4py

Language: JavaScript - Size: 5.51 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 12 - Forks: 7

francescovitale/token_replay

Java implementation of the token replay conformance checking algorithm

Language: Java - Size: 2.44 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

IDEA-Research-Group/conformancechecking4spark

CC4Spark enables to generate XES event logs from distributed data sources, and solve conformance checking alignment problems in distributed environments.

Language: Python - Size: 85.9 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

DataSystemsGroupUT/ConformanceCheckingUsingTries

A Trie-based approach to efficiently compute alignment approximations

Language: Java - Size: 127 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 2

rhnfzl/performance-analysis-of-international-travel-bpic2020

Performance Analysis of submitted International Travel Declarations from the BPIC2020 dataset

Size: 3.55 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

giacomolanciano/PlanningBasedAlignment

Automated planning for alignment-based conformance checking - Mirror of the official SVN repository of the ProM package "PlanningBasedAlignment".

Language: Java - Size: 167 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

gemmadifederico/VIOLA

A streaming conformance checking approach

Language: Jupyter Notebook - Size: 1.92 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0