Skip to main content

This Algorithm implements a version of a process model repair Algorithm inspired by the paper "Repairing process models to reflect reality" by Dirk Fahland and Wil van der Aalst. DOI: 10.1016/j.is.2013.12.007. This implementation was created by Durborough on GitHub. I only added the setup.py file to make it installable via pip.

Project description

This repository contains an implementation of a process model repair algorithm. It can be used to repair a process model to fit an event log.

The file process_model_repair_algorith.py contains the implementation for repairing a Petri net to fit an event log. It repairs the Petri net in place.

Usage:

` event_log = pm4py.read_xes('example.xes') net, im, fm = pm4py.convert_to_petri_net(pm4py.read_bpmn('example.bpmn')) pm4py.view_petri_net(net, im, fm) net_repaired, im_repaired, fm_repaired = repair_process_model(net, im, fm, event_log) pm4py.view_petri_net(net_repaired, im_repaired, fm_repaired) `

The file process_model_repair_with_change_set.py contains the implementation for repairing a BPMN model to fit an event log and obtain a change set. It is the the function used in the integration into the PAIS Customate.

Usage:

` repair_process_model(bpmn, event_log, activity_mappings) `

Activity Mappings map between ids in the BPMN models and the activity ids in the event log.

The file app.py contains the flask server implementation for the integration into the PAIS Customate.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pm4py_model_repair-0.1.5.tar.gz (6.0 kB view hashes)

Uploaded Source

Built Distribution

pm4py_model_repair-0.1.5-py3-none-any.whl (6.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page