Modifier and Type | Method and Description |
---|---|
java.util.Map<Place,Place> |
PetrinetGraphConnection.getPlaceMapping()
Returns the mapping from places in source to places in target
|
java.util.Map<Place,Place> |
PetrinetGraphConnection.getPlaceMapping()
Returns the mapping from places in source to places in 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.
|
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 |
---|---|
Place |
PetrinetGraph.addPlace(java.lang.String label) |
Place |
PetrinetGraph.addPlace(java.lang.String label,
ExpandableSubNet parent) |
Place |
PetrinetGraph.removePlace(Place place) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Place> |
PetrinetGraph.getPlaces() |
Modifier and Type | Method and Description |
---|---|
static Place |
WorkflowNetUtils.getInputPlace(Petrinet net)
Returns the input place of this net.
|
static Place |
WorkflowNetUtils.getOutputPlace(Petrinet net)
Returns the output place of this net.
|
Modifier and Type | Method and Description |
---|---|
static java.util.SortedSet<Place> |
WorkflowNetUtils.getSinkPlaces(Petrinet net)
Returns the set of sink places of this net.
|
static java.util.SortedSet<Place> |
WorkflowNetUtils.getSourcePlaces(Petrinet net)
Returns the set of source places of this net.
|
Modifier and Type | Method and Description |
---|---|
static ConfigurableFeatureGroup |
ConfigurableFeatureGroup.createDefaultFeatureGroup(Place p,
Marking m)
Create a configurable feature group for the presence of a place and its initial marking.
|
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Place,ConfigurableGraphElementOption> |
ConfigurablePlace.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ConfigurablePlaceMarking.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ParameterizedPlaceMarking.cloneFor(Place newElement) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Place,ConfigurableGraphElementOption> |
ConfigurablePlace.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ConfigurablePlaceMarking.cloneFor(Place newElement) |
ConfigurableFeature<Place,java.lang.Integer> |
ParameterizedPlaceMarking.cloneFor(Place newElement) |
Constructor and Description |
---|
ConfigurablePlace(java.lang.String id,
Place element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurablePlaceMarking(java.lang.String id,
Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue) |
ParameterizedPlaceMarking(Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
ParameterizedPlaceMarking(java.lang.String id,
Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
Constructor and Description |
---|
InhibitorArc(Place source,
Transition target,
java.lang.String label) |
InhibitorArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent) |
InhibitorArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent,
LocalNodeID id) |
ResetArc(Place source,
Transition target,
java.lang.String label) |
ResetArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent) |
ResetArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent,
LocalNodeID id) |
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<Place> |
AbstractResetInhibitorNet.places |
Modifier and Type | Method and Description |
---|---|
Place |
AbstractResetInhibitorNet.addPlace(java.lang.String label) |
Place |
AbstractResetInhibitorNet.addPlace(java.lang.String label,
ExpandableSubNet parent) |
Place |
AbstractResetInhibitorNet.removePlace(Place place) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Place> |
AbstractResetInhibitorNet.getPlaces() |
Modifier and Type | Method and Description |
---|---|
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
int weight) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
int weight) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
ExpandableSubNet parent) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
java.lang.String label) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.getInhibitorArc(Place p,
Transition t) |
ResetArc |
AbstractResetInhibitorNet.getResetArc(Place p,
Transition t) |
InhibitorArc |
AbstractResetInhibitorNet.removeInhibitorArc(Place p,
Transition t) |
Place |
AbstractResetInhibitorNet.removePlace(Place place) |
ResetArc |
AbstractResetInhibitorNet.removeResetArc(Place p,
Transition t) |
Modifier and Type | Method and Description |
---|---|
protected <S extends org.processmining.framework.util.collection.MultiSet<Place>> |
CTMarking.removeAllMultiSet(org.processmining.framework.util.collection.AbstractMultiSet<?,?> mset,
S removed) |
Modifier and Type | Method and Description |
---|---|
Place |
EfficientPetrinetSemantics.getPlace(int placeIndex) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Place> |
CTMarking.getOmegaPlaces()
Get a set of omega places
|
Modifier and Type | Method and Description |
---|---|
void |
EfficientPetrinetSemantics.PlaceVisitor.accept(Place place,
int numTokens) |
boolean |
CTMarking.addOmegaPlace(Place p)
Add a place which should be presented with omega
|
int |
EfficientPetrinetSemantics.getIndex(Place place) |
boolean |
EfficientPetrinetSemantics.isMarked(byte[] marking,
Place place) |
boolean |
CTMarking.removeOmegaPlace(Place removedItem)
Remove a place from the list of omega places
|
Modifier and Type | Method and Description |
---|---|
boolean |
CTMarking.isLessOrEqual(org.processmining.framework.util.collection.MultiSet<Place> multiSet)
returns true if this multiset is less or equal to the given multiset,
i.e.
|
CTMarking |
CTMarking.transformToOmega(java.util.Collection<Place> reference)
transform all places in this CTMarking into omega.
|
Constructor and Description |
---|
CTMarking(java.util.Collection<Place> collection)
Constructor with collection parameter
|
Marking(java.util.Collection<Place> collection) |
Modifier and Type | Method and Description |
---|---|
Place |
EfficientPetrinetSemanticsImpl.getPlace(int index) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Place,java.lang.Integer> |
EfficientPetrinetSemanticsImpl.getPlaceMap() |
Modifier and Type | Method and Description |
---|---|
int |
EfficientPetrinetSemanticsImpl.getIndex(Place p) |
boolean |
EfficientPetrinetSemanticsImpl.isMarked(byte[] marking,
Place place) |
Modifier and Type | Method and Description |
---|---|
ConfigurableGraphElementFeature<Place> |
ConfigurableGraphElement_UI.ConfigurablePlace_UI.getConfigured() |
ConfigurableIntegerFeature<Place> |
ConfigurableIntegerFeature_UI.ConfigurablePlaceMarkingFeature_UI.getConfigured() |
Constructor and Description |
---|
ConfigurablePlace_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<Place> feature,
int line_height) |
ConfigurablePlaceMarkingFeature_UI(javax.swing.JComponent root,
ConfigurableIntegerFeature<Place> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
PnmlReferencePlace |
PnmlPage.convertFromNet(ExpandableSubNet parent,
Place place,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlReferencePlace |
PnmlReferencePlace.convertFromNet(ExpandableSubNet parent,
Place place,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlPlace |
PnmlPlace.convertFromNet(Marking marking,
ExpandableSubNet parent,
Place place,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlPage.convertArcsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<?,?>> edgeMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertGroupsToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.lang.String label,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
protected void |
PnmlPage.convertRefNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap) |
void |
PnmlPage.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
int pageCtr,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
java.awt.geom.Point2D.Double displacement,
boolean createGroup,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this page to a Petri net.
|
void |
PnmlReferencePlace.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Place> map)
Converts this reference place to a regular Petri net place.
|
void |
PnmlArc.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this PNML arc to a regular Petri net arc.
|
void |
PnmlPlace.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> map,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts this place to a Petri net place.
|
void |
PnmlNet.convertToNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> netFinalMarkings,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap,
org.processmining.models.connections.GraphLayoutConnection layout)
Convert this net to a Petri net.
|
Modifier and Type | Method and Description |
---|---|
PnmlInitialMarking |
PnmlInitialMarking.convertFromNet(Marking marking,
Place place) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlFeature.convertToNet(PetrinetGraph net,
ConfigurableFeatureGroup group,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap) |
void |
PnmlConfiguration.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap) |
void |
PnmlGroup.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap) |
Modifier and Type | Method and Description |
---|---|
PnmlFinalMarkings |
PnmlFinalMarkings.convertFromOpenNet(java.util.Collection<? extends Place> places,
java.util.Collection<Marking> markings,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
PnmlFinalMarking |
PnmlFinalMarking.convertFromOpenNet(java.util.Collection<? extends Place> places,
Marking marking,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
void |
PnmlFinalMarking.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Collection<Marking> finalMarkings) |
void |
PnmlFinalMarkings.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Collection<Marking> finalMarkings) |
void |
PnmlMarkedPlace.convertToOpenNet(Marking marking,
java.util.Map<java.lang.String,Place> placeMap) |
void |
PnmlFinalMarking.convertToOpenNet(OpenNet openNet,
java.util.Map<java.lang.String,Place> placeMap) |
void |
PnmlFinalMarkings.convertToOpenNet(OpenNet openNet,
java.util.Map<java.lang.String,Place> placeMap) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlToolSpecific.convertFromNet(Place place) |
void |
PnmlToolSpecific.convertToNet(Place place) |