public class PetrinetCompare
extends java.lang.Object
Constructor and Description |
---|
PetrinetCompare() |
Modifier and Type | Method and Description |
---|---|
static boolean |
comparePetriNets(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet1,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet2) |
static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
follows(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet) |
static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> |
precedes(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet) |
static java.util.Set<java.lang.String> |
transitionFollows(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
java.lang.String preString) |
static java.util.Set<java.lang.String> |
transitionPrecedes(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
java.lang.String preString) |
public static boolean comparePetriNets(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet1, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet2)
public static java.util.Set<java.lang.String> transitionFollows(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, java.lang.String preString)
public static java.util.Set<java.lang.String> transitionPrecedes(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, java.lang.String preString)
public static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> follows(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)
public static java.util.Map<java.lang.String,java.util.Set<java.lang.String>> precedes(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)