• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Our projects

BPMNDiffViz: A tool for visual comparison of business processes

Project lead: research fellow  Anna A. Kalenkova


Discovering, analyzing and enhancing BPMN models in ProM

Project lead: research fellow  Anna A. Kalenkova

DPMine: modeling and process mining language and tools

Project lead: research fellow Sergey A. Shershakov.

Gena: Event Log Generator

Carassius: Simple Model Editor

Project lead: Alexey A. Mitsyuk.

 
Transition Systems Reduction

Project lead: research fellow Sergey A. Shershakov.


We are waiting for ones intrerested in process mining and formal verification. We have a good challenges and offer to deal with them as your course works and bachelor/master thesis under the supervision of PAIS Lab fellows.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!