Modifier and Type | Method and Description |
---|---|
java.util.Map<PetrinetNode,java.util.Set<org.deckfour.xes.classification.XEventClass>> |
LogPetrinetConnection.getActivityMap() |
java.util.Map<PetrinetNode,java.util.Set<org.deckfour.xes.classification.XEventClass>> |
LogPetrinetConnectionImpl.getActivityMap() |
Modifier and Type | Class and Description |
---|---|
class |
PetrinetEdge<S extends PetrinetNode,T extends PetrinetNode> |
class |
PetrinetEdge<S extends PetrinetNode,T extends PetrinetNode> |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
PetrinetNode.getGraph() |
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
PetrinetNode.getGraph() |
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
PetrinetNode.getGraph() |
Modifier and Type | Method and Description |
---|---|
Arc |
PetrinetGraph.getArc(PetrinetNode source,
PetrinetNode target) |
Arc |
PetrinetGraph.removeArc(PetrinetNode source,
PetrinetNode target) |
Constructor and Description |
---|
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label,
LocalNodeID localID) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label,
LocalNodeID localID) |
PetrinetNode(org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
java.lang.String label,
LocalNodeID localID) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractComponentSet<T extends PetrinetNode>
This class represents a node marking.
|
class |
AbstractInvariantSet<T extends PetrinetNode>
This class represents a node marking.
|
class |
AbstractNodePairSet<T extends PetrinetNode,S extends PetrinetNode> |
class |
AbstractNodePairSet<T extends PetrinetNode,S extends PetrinetNode> |
Modifier and Type | Method and Description |
---|---|
static java.util.SortedSet<PetrinetNode> |
WorkflowNetUtils.getUnconnectedNodes(Petrinet net)
Returns the set of unconnected nodes of this net.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
ConfigurationUtils.getNodeId(PetrinetNode n) |
static void |
ConfigurationUtils.stripFeaturesFromLabel(PetrinetNode node,
java.util.Map<java.lang.String,java.util.List<ConfigurableFeature<?,?>>> group_features) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> |
ConfigurableArc.cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) |
Constructor and Description |
---|
ConfigurableArc(java.lang.String id,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
ConfigurableArc(java.lang.String id,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
Modifier and Type | Class and Description |
---|---|
class |
ExpandableSubNet |
class |
Place |
class |
Transition |
Constructor and Description |
---|
Arc(PetrinetNode source,
PetrinetNode target,
int weight) |
Arc(PetrinetNode source,
PetrinetNode target,
int weight,
ExpandableSubNet parent) |
Arc(PetrinetNode source,
PetrinetNode target,
int weight,
ExpandableSubNet parent,
LocalNodeID id) |
Constructor and Description |
---|
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
ExpandableSubNet(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
Place(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
Transition(java.lang.String label,
org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> net,
ExpandableSubNet parent,
LocalNodeID id) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
AbstractResetInhibitorNet.getEdges() |
java.util.Set<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
AbstractResetInhibitorNet.getEdges() |
java.util.Set<PetrinetNode> |
AbstractResetInhibitorNet.getNodes() |
Modifier and Type | Method and Description |
---|---|
protected Arc |
AbstractResetInhibitorNet.addArcPrivate(PetrinetNode src,
PetrinetNode trgt,
int weight,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.getArc(PetrinetNode source,
PetrinetNode target) |
Arc |
AbstractResetInhibitorNet.removeArc(PetrinetNode source,
PetrinetNode target) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
AbstractResetInhibitorNet.cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph) |
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
AbstractResetInhibitorNet.cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph) |
protected java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> |
AbstractResetInhibitorNet.cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> graph) |
Modifier and Type | Method and Description |
---|---|
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
ConfigurableGraphElement_UI.ConfigurableArc_UI.getConfigured() |
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> |
ConfigurableGraphElement_UI.ConfigurableArc_UI.getConfigured() |
Constructor and Description |
---|
ConfigurableArc_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> feature,
int line_height) |
ConfigurableArc_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlNode.convertToNet(ExpandableSubNet subNet,
PetrinetNode node,
java.awt.geom.Point2D.Double displacement,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
PnmlAnnotation.convertToNet(PetrinetNode node) |
void |
PnmlBasicObject.convertToNet(PetrinetNode node) |
Modifier and Type | Method and Description |
---|---|
PnmlArc |
PnmlArc.convertFromNet(ExpandableSubNet parent,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge,
PnmlPage page,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlArc |
PnmlArc.convertFromNet(ExpandableSubNet parent,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge,
PnmlPage page,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
PnmlAnnotation.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlAnnotation.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlBasicObject.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlBasicObject.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
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 |
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 |
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 |
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 |
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.
|
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 |
---|---|
PnmlInscription |
PnmlInscription.convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> arc) |
PnmlInscription |
PnmlInscription.convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> arc) |
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 |
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 |
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) |
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 |
---|---|
void |
PnmlToolSpecific.convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlToolSpecific.convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlToolSpecific.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
PnmlToolSpecific.convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |