All Classes

Class Summary

Class	Description
AlignmentUtil	Utility class to manage event names, classifiers, etc.
CostBasedCompleteParamProvider_nonUI
DNodeSys_PtNet	A DNodeSys representation of a Petri net for constructing a McMillan prefix of the Petri net.
ModelRepair_Simple
ModelRepair_SubProcess
ModelRepair_SubProcess.MoveOnLog
ModelRepair_SubProcess.PetriNetWithMarkings
ModelRepair_SubProcess.SubLog
Move	Simplified explicit representation of alignment moves for model repair.
PNLogReplayer
PNLogReplayer.ReplayParams
ProMPropertiesPanel
RepairConfiguration	Parameter object for Uma_RepairModel_Plugin
SimpleAlignment	Simplified explicit representation of an alignment for model repair.
Uma_AlignForGlobalRepair_Plugin
Uma_AlignForLoopDiscovery_Plugin
Uma_ExportAlignmentToCSV
Uma_RepairModel_Loops_Plugin
Uma_RepairModel_Loops_Plugin.RepairStats
Uma_RepairModel_Plugin
Uma_RepairModel_RemoveDeadParts_Plugin
Uma_RepairModel_RemoveDeadParts_Plugin.RepairStats
Uma_RepairModel_Subprocess_Plugin
Uma_RepairModel_Subprocess_Plugin.RepairStats
Uma_RepairModel_UI
Uma_RepairModel_UI
UmaPromUtil	A helper class for converting ProM framework objects to objects of Uma and its supporting Petri Net API and back
UmaPromUtil.ProMToUmaBridge