public class PetrinetSemanticsFactory
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
static InhibitorNetSemantics |
elementaryInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net) |
static PetrinetSemantics |
elementaryPetrinetSemantics(java.lang.Class<? extends Petrinet> net) |
static ResetInhibitorNetSemantics |
elementaryResetInhibitorNetSemantics(java.lang.Class<? extends ResetInhibitorNet> net) |
static ResetNetSemantics |
elementaryResetNetSemantics(java.lang.Class<? extends ResetNet> net) |
static InhibitorNetSemantics |
regularInhibitorNetSemantics(java.lang.Class<? extends InhibitorNet> net) |
static PetrinetSemantics |
regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net) |
static ResetInhibitorNetSemantics |
regularResetInhibitorNetSemantics(java.lang.Class<? extends ResetInhibitorNet> net) |
static ResetNetSemantics |
regularResetNetSemantics(java.lang.Class<? extends ResetNet> net) |
public static PetrinetSemantics regularPetrinetSemantics(java.lang.Class<? extends Petrinet> 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)