EN FR
EN FR


Section: New Software and Platforms

DarkSider

Functional Description

DarkSider computes anti-alignments between a Petri net model and a log of observed traces, as described in [15], [25].