public class PetrinetDecorated extends java.lang.Object implements org.processmining.models.graphbased.directed.petrinet.PetrinetGraph, org.processmining.models.graphbased.directed.petrinet.Petrinet, org.processmining.models.graphbased.directed.petrinet.ResetNet, org.processmining.models.graphbased.directed.petrinet.InhibitorNet, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet, org.processmining.acceptingpetrinet.models.AcceptingPetriNet, IDecorated<org.processmining.models.graphbased.directed.petrinet.elements.Transition>
Constructor and Description |
---|
PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap) |
PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap,
Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations) |
PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations) |
PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap,
org.processmining.models.semantics.petrinet.Marking initialMarking,
java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings,
Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations) |
PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap,
org.processmining.models.graphbased.directed.petrinet.elements.Place source,
org.processmining.models.graphbased.directed.petrinet.elements.Place sink) |
PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap,
org.processmining.models.graphbased.directed.petrinet.elements.Place source,
org.processmining.models.graphbased.directed.petrinet.elements.Place sink,
Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations) |
PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph petrinet,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
int weight) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
int weight,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.elements.Place p,
int weight) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.elements.Place p,
int weight,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet |
addGroup(java.lang.String label) |
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet |
addGroup(java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc |
addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc |
addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc |
addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.lang.String label) |
org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc |
addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
addPlace(java.lang.String label) |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
addPlace(java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.ResetArc |
addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
org.processmining.models.graphbased.directed.petrinet.elements.ResetArc |
addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.ResetArc |
addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.lang.String label) |
org.processmining.models.graphbased.directed.petrinet.elements.ResetArc |
addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
addTransition(java.lang.String label) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
addTransition(java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent) |
int |
compareTo(org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> o) |
void |
exportToFile(org.processmining.framework.plugin.PluginContext context,
java.io.File file) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
getArc(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode target) |
org.processmining.models.graphbased.AttributeMap |
getAttributeMap() |
Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getDecorations() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
getEdges() |
IEdgeSemanticTraced<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEdgeSemantics(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc) |
java.util.Set<org.processmining.models.semantics.petrinet.Marking> |
getFinalMarkings()
Returns the current set of final markings.
|
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkingsAsArray() |
org.processmining.models.graphbased.directed.DirectedGraph<?,?> |
getGraph() |
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet> |
getGroups() |
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
getInEdges(org.processmining.models.graphbased.directed.DirectedGraphNode node) |
org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc |
getInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
org.processmining.models.graphbased.directed.petrinet.InhibitorNet |
getInhibitorNet() |
org.processmining.models.semantics.petrinet.Marking |
getInitialMarking()
Returns the current initial marking.
|
java.lang.String |
getLabel() |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getNet()
Returns the Petri net.
|
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getNodes() |
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
getOutEdges(org.processmining.models.graphbased.directed.DirectedGraphNode node) |
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPlaces() |
org.processmining.models.graphbased.directed.petrinet.elements.ResetArc |
getResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet |
getResetInhibitorNet() |
org.processmining.models.graphbased.directed.petrinet.ResetNet |
getResetNet() |
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitions() |
org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet |
getWrap() |
void |
importFromStream(org.processmining.framework.plugin.PluginContext context,
java.io.InputStream input) |
void |
init(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
void |
init(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
removeArc(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode target) |
void |
removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
Removes the given edge from the graph.
|
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet |
removeGroup(org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet transition) |
org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc |
removeInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
void |
removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode cell) |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
removePlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
org.processmining.models.graphbased.directed.petrinet.elements.ResetArc |
removeResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
removeTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) |
void |
setEdgeSemantics(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc,
IEdgeSemanticTraced<org.processmining.models.graphbased.directed.petrinet.elements.Transition> sem) |
void |
setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
Set the set of final markings to the given set of markings.
|
void |
setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
Set the initial marking to the given marking.
|
public PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap)
public PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap, Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations)
public PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap, org.processmining.models.graphbased.directed.petrinet.elements.Place source, org.processmining.models.graphbased.directed.petrinet.elements.Place sink)
public PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)
public PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap, org.processmining.models.graphbased.directed.petrinet.elements.Place source, org.processmining.models.graphbased.directed.petrinet.elements.Place sink, Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations)
public PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations)
public PetrinetDecorated(org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet wrap, org.processmining.models.semantics.petrinet.Marking initialMarking, java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings, Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> decorations)
public org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet getWrap()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getNodes()
getNodes
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> getEdges()
getEdges
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> getInEdges(org.processmining.models.graphbased.directed.DirectedGraphNode node)
getInEdges
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> getOutEdges(org.processmining.models.graphbased.directed.DirectedGraphNode node)
getOutEdges
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
public void removeEdge(org.processmining.models.graphbased.directed.DirectedGraphEdge edge)
org.processmining.models.graphbased.directed.DirectedGraph
removeEdge
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
public void removeNode(org.processmining.models.graphbased.directed.DirectedGraphNode cell)
removeNode
in interface org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>
public org.processmining.models.graphbased.directed.DirectedGraph<?,?> getGraph()
getGraph
in interface org.processmining.models.graphbased.directed.DirectedGraphElement
public org.processmining.models.graphbased.AttributeMap getAttributeMap()
getAttributeMap
in interface org.processmining.models.graphbased.AttributeMapOwner
public int compareTo(org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> o)
compareTo
in interface java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>>
public Decorations<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getDecorations()
getDecorations
in interface IDecorated<org.processmining.models.graphbased.directed.petrinet.elements.Transition>
public java.lang.String getLabel()
getLabel
in interface org.processmining.models.graphbased.directed.DirectedGraphElement
getLabel
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Transition addTransition(java.lang.String label)
addTransition
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Transition addTransition(java.lang.String label, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addTransition
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Transition removeTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
removeTransition
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitions()
getTransitions
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet addGroup(java.lang.String label)
addGroup
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet addGroup(java.lang.String label, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addGroup
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet removeGroup(org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet transition)
removeGroup
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet> getGroups()
getGroups
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Place addPlace(java.lang.String label)
addPlace
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Place addPlace(java.lang.String label, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addPlace
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Place removePlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
removePlace
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaces()
getPlaces
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, int weight)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.Place p, int weight)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.Place p)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, int weight, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.Place p, int weight, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc addArc(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc removeArc(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source, org.processmining.models.graphbased.directed.petrinet.PetrinetNode target)
removeArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public org.processmining.models.graphbased.directed.petrinet.elements.Arc getArc(org.processmining.models.graphbased.directed.petrinet.PetrinetNode source, org.processmining.models.graphbased.directed.petrinet.PetrinetNode target)
getArc
in interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
public void init(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
init
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
public void init(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
init
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
public void setInitialMarking(org.processmining.models.semantics.petrinet.Marking initialMarking)
org.processmining.acceptingpetrinet.models.AcceptingPetriNet
setInitialMarking
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
initialMarking
- The given initial marking.public void setFinalMarkings(java.util.Set<org.processmining.models.semantics.petrinet.Marking> finalMarkings)
org.processmining.acceptingpetrinet.models.AcceptingPetriNet
setFinalMarkings
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
finalMarkings
- The set of final markings.public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
org.processmining.acceptingpetrinet.models.AcceptingPetriNet
getNet
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
public org.processmining.models.graphbased.directed.petrinet.ResetNet getResetNet()
public org.processmining.models.graphbased.directed.petrinet.InhibitorNet getInhibitorNet()
public org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet getResetInhibitorNet()
public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
org.processmining.acceptingpetrinet.models.AcceptingPetriNet
getInitialMarking
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
public java.util.Set<org.processmining.models.semantics.petrinet.Marking> getFinalMarkings()
org.processmining.acceptingpetrinet.models.AcceptingPetriNet
getFinalMarkings
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
public org.processmining.models.semantics.petrinet.Marking[] getFinalMarkingsAsArray()
public void importFromStream(org.processmining.framework.plugin.PluginContext context, java.io.InputStream input) throws java.lang.Exception
importFromStream
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
java.lang.Exception
public void exportToFile(org.processmining.framework.plugin.PluginContext context, java.io.File file) throws java.io.IOException
exportToFile
in interface org.processmining.acceptingpetrinet.models.AcceptingPetriNet
java.io.IOException
public org.processmining.models.graphbased.directed.petrinet.elements.ResetArc addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.lang.String label)
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetNet
public org.processmining.models.graphbased.directed.petrinet.elements.ResetArc addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetNet
public org.processmining.models.graphbased.directed.petrinet.elements.ResetArc removeResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
removeResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
removeResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetNet
public org.processmining.models.graphbased.directed.petrinet.elements.ResetArc getResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
getResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
getResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetNet
public org.processmining.models.graphbased.directed.petrinet.elements.ResetArc addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.lang.String label, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetNet
public org.processmining.models.graphbased.directed.petrinet.elements.ResetArc addResetArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
addResetArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetNet
public org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.lang.String label)
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.InhibitorNet
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
public org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.InhibitorNet
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
public org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc removeInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
removeInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.InhibitorNet
removeInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
public org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc getInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
getInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.InhibitorNet
getInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
public org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, java.lang.String label, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.InhibitorNet
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
public org.processmining.models.graphbased.directed.petrinet.elements.InhibitorArc addInhibitorArc(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.InhibitorNet
addInhibitorArc
in interface org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet
public IEdgeSemanticTraced<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEdgeSemantics(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc)
public void setEdgeSemantics(org.processmining.models.graphbased.directed.petrinet.elements.Arc arc, IEdgeSemanticTraced<org.processmining.models.graphbased.directed.petrinet.elements.Transition> sem)