public class EfficientTree2AcceptingPetriNetPerformance
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.util.concurrent.atomic.AtomicInteger |
placeCounter |
Constructor and Description |
---|
EfficientTree2AcceptingPetriNetPerformance() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.plugins.InductiveMiner.Triple<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
convert(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree) |
public EfficientTree2AcceptingPetriNetPerformance()
public static org.processmining.plugins.InductiveMiner.Triple<org.processmining.acceptingpetrinet.models.AcceptingPetriNet,gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> convert(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree)