public class PetrinetUtils
extends java.lang.Object
Constructor and Description |
---|
PetrinetUtils() |
Modifier and Type | Method and Description |
---|---|
static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> |
fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getNextPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getNextTransitions(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPreviousPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static boolean |
isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getNextTransitions(org.processmining.models.graphbased.directed.petrinet.elements.Place place, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPreviousPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getNextPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static boolean isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> fireTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,java.lang.Integer> markings, org.processmining.models.graphbased.directed.petrinet.Petrinet net)