Package org.processmining.models.semantics.petrinet.impl

Class PetrinetSemanticsFactory

java.lang.Object

org.processmining.models.semantics.petrinet.impl.PetrinetSemanticsFactory

public class PetrinetSemanticsFactory
extends java.lang.Object

Method Summary

Modifier and Type	Method	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 EfficientPetrinetSemantics	regularEfficientPetrinetSemantics(PetrinetGraph net)	Creates a new EfficientPetrinetSemantics.
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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

regularPetrinetSemantics

public static PetrinetSemantics regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net)

regularEfficientPetrinetSemantics

public static EfficientPetrinetSemantics regularEfficientPetrinetSemantics(PetrinetGraph net)

Creates a new EfficientPetrinetSemantics. 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)