public class PetrinetUtils
extends java.lang.Object
Constructor and Description |
---|
PetrinetUtils() |
Modifier and Type | Method and Description |
---|---|
static void |
addTransition(org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition,
org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet) |
static void |
addTransitionBetweenPlaceAndTran(org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Transition oldTransition,
org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition,
org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet) |
static void |
addTransitionBetweenPlaceAndTran(org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Transition oldTransition,
org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition,
org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet,
boolean isSilent) |
static void |
addTransitionBetweenTranAndPlace(org.processmining.models.graphbased.directed.petrinet.elements.Transition oldTransition,
org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition,
org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet) |
static boolean |
containsEvent(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
java.lang.String eventName) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
duplicatePN(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
duplicatePN(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> places,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions) |
static boolean |
finalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet ptnet,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet ptnet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking) |
static java.util.Set<java.lang.String> |
getEnabledTransitionsStrings(org.processmining.models.graphbased.directed.petrinet.Petrinet ptnet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking) |
static org.processmining.models.semantics.petrinet.Marking |
getFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.models.graphbased.directed.petrinet.elements.Place |
getFinalPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getFinalTranistion(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.models.semantics.petrinet.Marking |
getInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.models.graphbased.directed.petrinet.elements.Place |
getInitialPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getInitialTranistion(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.models.graphbased.directed.petrinet.elements.Place |
getMiddlePlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static java.util.Set<java.lang.String> |
getTransitionNames(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet) |
static boolean |
initialOrFinalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static boolean |
initialOrFinalTran(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
static boolean |
initialOrFinalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
static boolean |
initialTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
public static boolean containsEvent(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, java.lang.String eventName)
public static org.processmining.models.graphbased.directed.petrinet.Petrinet duplicatePN(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.processmining.models.graphbased.directed.petrinet.Petrinet duplicatePN(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> places, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions)
public static java.util.Set<java.lang.String> getTransitionNames(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)
public static boolean initialOrFinalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.processmining.models.graphbased.directed.petrinet.elements.Place getInitialPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.processmining.models.graphbased.directed.petrinet.elements.Place getFinalPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.processmining.models.graphbased.directed.petrinet.elements.Transition getInitialTranistion(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.processmining.models.graphbased.directed.petrinet.elements.Transition getFinalTranistion(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static boolean initialOrFinalTran(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public static boolean initialOrFinalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public static boolean initialTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public static boolean finalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public static void addTransition(org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace, org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace, org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition, org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet)
public static void addTransitionBetweenPlaceAndTran(org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace, org.processmining.models.graphbased.directed.petrinet.elements.Transition oldTransition, org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace, org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition, org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet)
public static void addTransitionBetweenPlaceAndTran(org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace, org.processmining.models.graphbased.directed.petrinet.elements.Transition oldTransition, org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace, org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition, org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet, boolean isSilent)
public static void addTransitionBetweenTranAndPlace(org.processmining.models.graphbased.directed.petrinet.elements.Transition oldTransition, org.processmining.models.graphbased.directed.petrinet.elements.Place oldPlace, org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace, org.processmining.models.graphbased.directed.petrinet.elements.Transition newTransition, org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet ptnet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet ptnet, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
public static org.processmining.models.graphbased.directed.petrinet.elements.Place getMiddlePlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static java.util.Set<java.lang.String> getEnabledTransitionsStrings(org.processmining.models.graphbased.directed.petrinet.Petrinet ptnet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
public static org.processmining.models.semantics.petrinet.Marking getInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static org.processmining.models.semantics.petrinet.Marking getFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)