public class PetrinetSemanticsFactory
extends java.lang.Object
public static PetrinetSemantics regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
public static EfficientPetrinetSemantics regularEfficientPetrinetSemantics(PetrinetGraph net)
EfficientPetrinetSemantics
. This implementation
requires the Petrinet to be supplied.net
- public static PetrinetSemantics elementaryPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
public static ResetNetSemantics regularResetNetSemantics(java.lang.Class<? extends ResetNet> net)
public static ResetNetSemantics elementaryResetNetSemantics(java.lang.Class<? extends ResetNet> net)
public static InhibitorNetSemantics regularInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net)
public static InhibitorNetSemantics elementaryInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net)
public static ResetInhibitorNetSemantics regularResetInhibitorNetSemantics(java.lang.Class<? extends ResetInhibitorNet> net)
public static ResetInhibitorNetSemantics elementaryResetInhibitorNetSemantics(java.lang.Class<? extends ResetInhibitorNet> net)