Package | Description |
---|---|
org.processmining.expts |
Modifier and Type | Method and Description |
---|---|
static void |
FACSSynthesizeNets.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 |
FACSSynthesizeNets.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) |