org.processmining.projectedrecallandprecision.framework

Class ComparePetriNet2PetriNet

java.lang.Object

org.processmining.projectedrecallandprecision.framework.ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>

org.processmining.projectedrecallandprecision.framework.ComparePetriNet2PetriNet

public class ComparePetriNet2PetriNet
extends ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>

Constructor Summary

Constructors

Constructor and Description
ComparePetriNet2PetriNet()

Method Summary

Modifier and Type	Method and Description
java.util.Set<java.lang.String>	getActivitiesModel(org.processmining.acceptingpetrinet.models.AcceptingPetriNet model)
java.util.Set<java.lang.String>	getActivitiesSystem(org.processmining.acceptingpetrinet.models.AcceptingPetriNet system)
DFA	projectAndAutomatiseModel(org.processmining.acceptingpetrinet.models.AcceptingPetriNet model, CompareParameters parameters, org.processmining.framework.plugin.ProMCanceller canceller, java.lang.String... names) Transform the model into an automaton.
DFA	projectAndAutomatiseSystem(org.processmining.acceptingpetrinet.models.AcceptingPetriNet system, CompareParameters parameters, org.processmining.framework.plugin.ProMCanceller canceller, java.lang.String... names) Transform the system into an automaton.

Methods inherited from class org.processmining.projectedrecallandprecision.framework.ModelModelFramework

apply, compareAutomata, isWantedCombination, recallPrecisionOverActivity, recallPrecisionOverAllActivities

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ComparePetriNet2PetriNet

public ComparePetriNet2PetriNet()

Method Detail

getActivitiesSystem

public java.util.Set<java.lang.String> getActivitiesSystem(org.processmining.acceptingpetrinet.models.AcceptingPetriNet system)

Specified by:

getActivitiesSystem in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>

Returns:

a set of the activities of the system.

getActivitiesModel

public java.util.Set<java.lang.String> getActivitiesModel(org.processmining.acceptingpetrinet.models.AcceptingPetriNet model)

Specified by:

getActivitiesModel in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>

Returns:

a set of the activities in the model.

projectAndAutomatiseSystem

public DFA projectAndAutomatiseSystem(org.processmining.acceptingpetrinet.models.AcceptingPetriNet system,
                                      CompareParameters parameters,
                                      org.processmining.framework.plugin.ProMCanceller canceller,
                                      java.lang.String... names)
                               throws AutomatonFailedException

Description copied from class: ModelModelFramework

Transform the system into an automaton. Must be thread-safe. Each activity name should be replaced with the number in which it appears. I.e., for process trees: seq(a, b, c) projected on [b, c] becomes an automaton of seq(0, 1).

Specified by:

projectAndAutomatiseSystem in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>

Returns:

Throws:

AutomatonFailedException

projectAndAutomatiseModel

public DFA projectAndAutomatiseModel(org.processmining.acceptingpetrinet.models.AcceptingPetriNet model,
                                     CompareParameters parameters,
                                     org.processmining.framework.plugin.ProMCanceller canceller,
                                     java.lang.String... names)
                              throws org.processmining.plugins.InductiveMiner.efficienttree.EfficientTreeReduce.ReductionFailedException,
                                     AutomatonFailedException

Description copied from class: ModelModelFramework

Transform the model into an automaton. Must be thread-safe. Each activity name should be replaced with the number in which it appears. I.e., for process trees: seq(a, b, c) projected on [b, c] becomes an automaton of seq(0, 1).

Specified by:

projectAndAutomatiseModel in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>

Returns:

Throws:

org.processmining.plugins.InductiveMiner.efficienttree.EfficientTreeReduce.ReductionFailedException

AutomatonFailedException