Package org.processmining.modelrepair.plugins.uma

Class Summary

Class	Description
DNodeSys_PtNet	A DNodeSys representation of a Petri net for constructing a McMillan prefix of the Petri net.
UmaPromUtil	A helper class for converting ProM framework objects to objects of Uma and its supporting Petri Net API and back
UmaPromUtil.ProMToUmaBridge