public class ComparePetriNet2PetriNet extends ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>
Constructor and Description |
---|
ComparePetriNet2PetriNet() |
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.
|
apply, compareAutomata, isWantedCombination, recallPrecisionOverActivity, recallPrecisionOverAllActivities
public java.util.Set<java.lang.String> getActivitiesSystem(org.processmining.acceptingpetrinet.models.AcceptingPetriNet system)
getActivitiesSystem
in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>
public java.util.Set<java.lang.String> getActivitiesModel(org.processmining.acceptingpetrinet.models.AcceptingPetriNet model)
getActivitiesModel
in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>
public DFA projectAndAutomatiseSystem(org.processmining.acceptingpetrinet.models.AcceptingPetriNet system, CompareParameters parameters, org.processmining.framework.plugin.ProMCanceller canceller, java.lang.String... names) throws AutomatonFailedException
ModelModelFramework
projectAndAutomatiseSystem
in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>
AutomatonFailedException
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
ModelModelFramework
projectAndAutomatiseModel
in class ModelModelFramework<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,org.processmining.acceptingpetrinet.models.AcceptingPetriNet>
org.processmining.plugins.InductiveMiner.efficienttree.EfficientTreeReduce.ReductionFailedException
AutomatonFailedException