Class LocalProcessModelUtils
- java.lang.Object
-
- org.processmining.placebasedlpmdiscovery.utils.LocalProcessModelUtils
-
public class LocalProcessModelUtils extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description LocalProcessModelUtils()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.util.Set<LocalProcessModel>convertPlacesToLPMs(java.util.Set<Place> places)static LocalProcessModelconvertReplayableToLPM(ReplayableLocalProcessModel replayable)static LocalProcessModelconvertReplayableToLPM(ReplayableLocalProcessModel replayable, java.util.Map<java.lang.Integer,java.lang.String> reversedLabelMap, java.util.Set<Place> originalPlaces)static ReplayableLocalProcessModelconvertToReplayable(LocalProcessModel lpm, java.util.Map<java.lang.String,java.lang.Integer> labelMap)static ReplayableLocalProcessModelconvertToReplayableWithInitialMarking(LocalProcessModel lpm, java.util.Map<java.lang.String,java.lang.Integer> labelMap)static voidexportResult(LPMResult lpmResult, java.io.File file)static voidexportResult(LPMResult lpmResult, java.lang.String filePath)static java.util.Collection<java.lang.String>extractGroupIds(java.util.Collection<LocalProcessModel> lpms)static org.processmining.acceptingpetrinet.models.AcceptingPetriNetgetAcceptingPetriNetRepresentation(LocalProcessModel lpm)static LocalProcessModelgetLPMFromAcceptingPetriNetRepresentation(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)static org.processmining.models.graphbased.directed.petrinet.PetrinetgetPetriNetRepresentation(LocalProcessModel lpm)static java.util.Set<java.lang.String>getPossiblePassages(LocalProcessModel lpm)static java.util.Set<java.lang.String>getPossiblePassages(LocalProcessModel lpm, java.util.Map<java.lang.String,?> labelMap)static java.util.Map<java.lang.String,java.lang.Integer>getTransitionLabelToIntegerMap(LocalProcessModel lpm)static LocalProcessModeljoin(LocalProcessModel lpm1, LocalProcessModel lpm2)static LocalProcessModelrevertLocalProcessModel(LocalProcessModel lpm)
-
-
-
Method Detail
-
convertPlacesToLPMs
public static java.util.Set<LocalProcessModel> convertPlacesToLPMs(java.util.Set<Place> places)
-
convertToReplayable
public static ReplayableLocalProcessModel convertToReplayable(LocalProcessModel lpm, java.util.Map<java.lang.String,java.lang.Integer> labelMap)
-
convertToReplayableWithInitialMarking
public static ReplayableLocalProcessModel convertToReplayableWithInitialMarking(LocalProcessModel lpm, java.util.Map<java.lang.String,java.lang.Integer> labelMap)
-
convertReplayableToLPM
public static LocalProcessModel convertReplayableToLPM(ReplayableLocalProcessModel replayable, java.util.Map<java.lang.Integer,java.lang.String> reversedLabelMap, java.util.Set<Place> originalPlaces)
-
convertReplayableToLPM
public static LocalProcessModel convertReplayableToLPM(ReplayableLocalProcessModel replayable)
-
revertLocalProcessModel
public static LocalProcessModel revertLocalProcessModel(LocalProcessModel lpm)
-
getAcceptingPetriNetRepresentation
public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet getAcceptingPetriNetRepresentation(LocalProcessModel lpm)
-
getPetriNetRepresentation
public static org.processmining.models.graphbased.directed.petrinet.Petrinet getPetriNetRepresentation(LocalProcessModel lpm)
-
getPossiblePassages
public static java.util.Set<java.lang.String> getPossiblePassages(LocalProcessModel lpm, java.util.Map<java.lang.String,?> labelMap)
-
getPossiblePassages
public static java.util.Set<java.lang.String> getPossiblePassages(LocalProcessModel lpm)
-
getLPMFromAcceptingPetriNetRepresentation
public static LocalProcessModel getLPMFromAcceptingPetriNetRepresentation(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)
-
join
public static LocalProcessModel join(LocalProcessModel lpm1, LocalProcessModel lpm2)
-
exportResult
public static void exportResult(LPMResult lpmResult, java.lang.String filePath) throws java.io.IOException
- Throws:
java.io.IOException
-
exportResult
public static void exportResult(LPMResult lpmResult, java.io.File file) throws java.io.IOException
- Throws:
java.io.IOException
-
getTransitionLabelToIntegerMap
public static java.util.Map<java.lang.String,java.lang.Integer> getTransitionLabelToIntegerMap(LocalProcessModel lpm)
-
extractGroupIds
public static java.util.Collection<java.lang.String> extractGroupIds(java.util.Collection<LocalProcessModel> lpms)
-
-