public class FACSSynthesizeNets
extends java.lang.Object
Constructor and Description |
---|
FACSSynthesizeNets() |
Modifier and Type | Method and Description |
---|---|
static void |
addPlace(ISSVectors iss,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap) |
static void |
addPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tOut,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tIn,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap) |
static void |
addSequence(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap) |
static void |
addTransition(ISSVectors iss,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap) |
static void |
addTransition(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pIn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pOut,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap,
java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap) |
static void |
synthesize(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
public static void synthesize(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static void addSequence(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap)
public static void addTransition(ISSVectors iss, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap)
public static void addTransition(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pIn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pOut, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap)
public static void addPlace(ISSVectors iss, org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap)
public static void addPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tOut, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tIn, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranIdMap, java.util.Map<java.lang.Byte,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeIdMap)