public class PetrinetGraphConnection
extends org.processmining.framework.connections.impl.AbstractConnection
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
SOURCE |
static java.lang.String |
TARGET |
Constructor and Description |
---|
PetrinetGraphConnection(PetrinetGraph source,
PetrinetGraph target,
java.util.Map<Transition,Transition> transitionMap,
java.util.Map<Place,Place> placeMap)
Connects the two Petri nets through the mappings described in the
transitions and place map.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<Place,Place> |
getPlaceMapping()
Returns the mapping from places in source to places in target
|
java.util.Map<Transition,Transition> |
getTransitionMapping()
Returns the mapping from transitions in source to transitions in target
|
boolean |
isSourceNet(PetrinetGraph net)
return true if this net is the source of the connection.
|
boolean |
isTargetNet(PetrinetGraph net)
return true if this net is the source of the connection.
|
public static final java.lang.String SOURCE
public static final java.lang.String TARGET
public PetrinetGraphConnection(PetrinetGraph source, PetrinetGraph target, java.util.Map<Transition,Transition> transitionMap, java.util.Map<Place,Place> placeMap)
source
- the source Petri nettarget
- the target Petri nettransitionMap
- the mapping between transitions. This mapping is copied as a
WeakKeyValueMap to avoid keeping the net alive for the sake of
storing the connection. This is necessary since Transitions
keep pointers to the Petrinet in which they are contained and
these nets are used in the connection.placeMap
- the mapping between places. This mapping is copied as a
WeakKeyValueMap to avoid keeping the net alive for the sake of
storing the connection.public boolean isSourceNet(PetrinetGraph net)
net
- public boolean isTargetNet(PetrinetGraph net)
net
- public java.util.Map<Transition,Transition> getTransitionMapping()