Class PetrinetSemanticsFactory
- java.lang.Object
-
- org.processmining.models.semantics.petrinet.impl.PetrinetSemanticsFactory
-
public class PetrinetSemanticsFactory extends java.lang.Object
-
-
Method Summary
-
-
-
Method Detail
-
regularPetrinetSemantics
public static PetrinetSemantics regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
-
regularEfficientPetrinetSemantics
public static EfficientPetrinetSemantics regularEfficientPetrinetSemantics(PetrinetGraph net)
Creates a newEfficientPetrinetSemantics. This implementation requires the Petrinet to be supplied.- Parameters:
net-- Returns:
-
elementaryPetrinetSemantics
public static PetrinetSemantics elementaryPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
-
regularResetNetSemantics
public static ResetNetSemantics regularResetNetSemantics(java.lang.Class<? extends ResetNet> net)
-
elementaryResetNetSemantics
public static ResetNetSemantics elementaryResetNetSemantics(java.lang.Class<? extends ResetNet> net)
-
regularInhibitorNetSemantics
public static InhibitorNetSemantics regularInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net)
-
elementaryInhibitorNetSemantics
public static InhibitorNetSemantics elementaryInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net)
-
regularResetInhibitorNetSemantics
public static ResetInhibitorNetSemantics regularResetInhibitorNetSemantics(java.lang.Class<? extends ResetInhibitorNet> net)
-
elementaryResetInhibitorNetSemantics
public static ResetInhibitorNetSemantics elementaryResetInhibitorNetSemantics(java.lang.Class<? extends ResetInhibitorNet> net)
-
-