Package org.processmining.models.graphbased.directed.opennet

Class OpenNet

java.lang.Object

org.processmining.models.graphbased.AbstractGraphElement

org.processmining.models.graphbased.AbstractGraph

org.processmining.models.graphbased.directed.AbstractDirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>

org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

org.processmining.models.graphbased.directed.petrinet.impl.PetrinetImpl

org.processmining.models.graphbased.directed.opennet.OpenNet

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>>, org.processmining.models.graphbased.AttributeMapOwner, org.processmining.models.graphbased.directed.DirectedGraph<PetrinetNode,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>, org.processmining.models.graphbased.directed.DirectedGraphElement, Petrinet, PetrinetGraph

public class OpenNet
extends PetrinetImpl

Author:

hverbeek

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.Map<OpenNetLabel,java.util.Collection<Transition>>	label2trans
protected java.util.Map<Transition,java.util.Collection<OpenNetLabel>>	trans2label

Fields inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions

Fields inherited from class org.processmining.models.graphbased.AbstractGraph

id

Constructor Summary

Constructors

Constructor	Description
OpenNet(java.lang.String label)
OpenNet(java.lang.String label, OpenNetInterface openNetInterface)

Method Summary

Modifier and Type	Method	Description
void	addConnection(Transition transition, OpenNetLabel label)
void	addFinalMarking(Marking m)
Transition	addTransition(java.lang.String label)
Transition	addTransition(java.lang.String label, ExpandableSubNet parent)
protected OpenNet	getEmptyClone()
java.util.Collection<Marking>	getFinalMarkings()
OpenNetInterface	getInterface()
java.util.Collection<OpenNetLabel>	getLabelsFor(Transition openNetTransition)
java.util.Collection<Transition>	getTransitions(OpenNetLabel label)

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, cloneFrom, cloneFrom, getArc, getEdges, getGroups, getInhibitorArc, getNodes, getPlaces, getResetArc, getTransitions, removeArc, removeEdge, removeGroup, removeInhibitorArc, removeNode, removePlace, removeResetArc, removeTransition

Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraph

checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges

Methods inherited from class org.processmining.models.graphbased.AbstractGraph

equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection

Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement

getAttributeMap, getLabel, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner

getAttributeMap

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraph

getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode

Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphElement

equals, getGraph, hashCode

Methods inherited from interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph

addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition

Field Detail

trans2label

protected final java.util.Map<Transition,java.util.Collection<OpenNetLabel>> trans2label

label2trans

protected final java.util.Map<OpenNetLabel,java.util.Collection<Transition>> label2trans

Constructor Detail

OpenNet

public OpenNet(java.lang.String label,
               OpenNetInterface openNetInterface)

OpenNet

public OpenNet(java.lang.String label)

Method Detail

addTransition

public Transition addTransition(java.lang.String label)

Specified by:

addTransition in interface PetrinetGraph

Overrides:

addTransition in class AbstractResetInhibitorNet

addTransition

public Transition addTransition(java.lang.String label,
                                ExpandableSubNet parent)

Specified by:

addTransition in interface PetrinetGraph

Overrides:

addTransition in class AbstractResetInhibitorNet

getInterface

public OpenNetInterface getInterface()

addFinalMarking

public void addFinalMarking(Marking m)

getFinalMarkings

public java.util.Collection<Marking> getFinalMarkings()

addConnection

public void addConnection(Transition transition,
                          OpenNetLabel label)

getEmptyClone

protected OpenNet getEmptyClone()

Overrides:

getEmptyClone in class PetrinetImpl

getLabelsFor

public java.util.Collection<OpenNetLabel> getLabelsFor(Transition openNetTransition)

getTransitions

public java.util.Collection<Transition> getTransitions(OpenNetLabel label)