public class BruteForcePNMap
extends java.lang.Object
Constructor and Description |
---|
BruteForcePNMap() |
Modifier and Type | Method and Description |
---|---|
static void |
addTransBwPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place p1,
org.processmining.models.graphbased.directed.petrinet.elements.Place p2,
java.lang.String tstr,
PetriNetMap pn,
boolean loop) |
public static void addTransBwPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place p1, org.processmining.models.graphbased.directed.petrinet.elements.Place p2, java.lang.String tstr, PetriNetMap pn, boolean loop)