public class PetriNetIndexed
extends java.lang.Object
Constructor and Description |
---|
PetriNetIndexed(INetDataSource pnet) |
PetriNetIndexed(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph pnet) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.PetrinetNode |
getNode(java.lang.String localID) |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getPlace(java.lang.String localID) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition(java.lang.String localID) |
java.lang.String |
getTransitionPairLabel(java.lang.String localIDs) |
java.lang.String |
getTransitionPairLabel(java.lang.String sourceId,
java.lang.String targetId) |
public PetriNetIndexed(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph pnet)
public PetriNetIndexed(INetDataSource pnet)
public org.processmining.models.graphbased.directed.petrinet.elements.Place getPlace(java.lang.String localID)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(java.lang.String localID)
public org.processmining.models.graphbased.directed.petrinet.PetrinetNode getNode(java.lang.String localID)
public java.lang.String getTransitionPairLabel(java.lang.String localIDs)
public java.lang.String getTransitionPairLabel(java.lang.String sourceId, java.lang.String targetId)