MicroPM4Py

Process Mining for Microcontrollers in Python

Features

Log importing/exporting

  • XES importer (level A-1, only case ID and activity)
  • XES exporter (level A-1, only case ID and activity)
  • CSV importer (only case ID and activity, support for the specification of the separator)
  • CSV exporter (only case ID and activity, support for the specification of th separator
  • Importing of DFGs from XES (without keeping the log in-memory)
  • Importing of DFGs from CSV (without keeping the log in-memory)
  • Support for the insertion of artificial start-end activities
  • Conversion of log to DFG

Petri Nets

  • Execution semantics
  • Token-based replay (without support for invisible transitions)
  • Importing of PNML files
  • Exporting of PNML files

Conversions

  • Conversion of DFG to Petri net (DFG mining)
  • Conversion of MicroPM4Py DFG to PM4Py DFG
  • Conversion from/to MicroPM4Py log to PM4Py log
  • Conversion from/to MicroPM4Py Petri nets to PM4Py Petri nets

Visualizations

  • DOT visualization of DFGS
  • DOT visualization of Petri nets

Process Discovery

  • Alpha algorithm