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