org.jbpt.petri.unfolding

Class OccurrenceNet

java.lang.Object

org.jbpt.hypergraph.abs.GObject

org.jbpt.hypergraph.abs.AbstractGraphNotifier<E,V>

org.jbpt.hypergraph.abs.AbstractMultiHyperGraph<E,V>

org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph<E,V>

org.jbpt.graph.abs.AbstractMultiDirectedGraph<E,V>

org.jbpt.graph.abs.AbstractDirectedGraph<F,N>

org.jbpt.petri.AbstractPetriNet<F,N,P,T>

org.jbpt.petri.unfolding.AbstractOccurrenceNet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.unfolding.OccurrenceNet

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IDirectedGraph<Flow,Node>, IGraph<Flow,Node>, IDirectedHyperGraph<Flow,Node>, IEntity, IEntityModel<Node>, IGObject, IHyperGraph<Flow,Node>, IPetriNet<Flow,Node,Place,Transition>, IOccurrenceNet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

public class OccurrenceNet
extends AbstractOccurrenceNet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Field Summary

Fields inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

edges, vertices

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OccurrenceNet()
protected	OccurrenceNet(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> unf)

Method Summary

Methods

Modifier and Type	Method and Description
Flow	addFlow(Node from, Node to) Add flow to this net.
Set<Node>	getSinkNodes() Get sink nodes of this net.
Set<Node>	getSourceNodes() Get source nodes of this net.

Methods inherited from class org.jbpt.petri.unfolding.AbstractOccurrenceNet

getCompletePrefixUnfolding, getCondition, getCorrespondingEvent, getCutInducedByLocalConfiguration, getCutoffEvents, getEvent, getOrderingRelation, getPlace, getPlaces, getTransition, getTransitions, getUnfoldingNode, isCutoffEvent, setBranchingProcess, setCompletePrefixUnfolding, toDOT, toDOT

Methods inherited from class org.jbpt.petri.AbstractPetriNet

addFlow, addFlow, addNode, addNodes, addPlace, addPlaces, addTransition, addTransitions, clear, clone, clone, createPlace, createTransition, getFlow, getMax, getMin, getNodes, getObservableTransitions, getPlaces, getPostset, getPostset, getPostset, getPostset, getPostsetPlaces, getPostsetTransitions, getPreset, getPreset, getPreset, getPreset, getPresetPlaces, getPresetTransitions, getSilentTransitions, getSinkPlaces, getSinkTransitions, getSourcePlaces, getSourceTransitions, getTransitions, removeFlow, removeFlow, removeNode, removeNodes, removePlace, removePlaces, removeTransition, removeTransitions

Methods inherited from class org.jbpt.graph.abs.AbstractDirectedGraph

addEdge, isMultiGraph

Methods inherited from class org.jbpt.graph.abs.AbstractMultiDirectedGraph

addEdge, areAdjacent, getDirectedEdge, getEdge, getEdges, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTargets, removeVertex, removeVertices

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiDirectedHyperGraph

addEdge, addEdge, checkEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithTarget, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from class org.jbpt.hypergraph.abs.AbstractMultiHyperGraph

addVertex, addVertices, areAdjacent, checkEdge, contains, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getEntities, getFreshVertex, getVertices, removeEdge, removeEdges, toString

Methods inherited from class org.jbpt.hypergraph.abs.AbstractGraphNotifier

addIndex, addIndex, clearMembers, removeIndex, removeIndex

Methods inherited from class org.jbpt.hypergraph.abs.GObject

compareTo, equals, getDescription, getId, getLabel, getName, getTag, hashCode, setDescription, setId, setName, setTag

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jbpt.petri.IPetriNet

addFlow, addFlow, addNode, addNodes, addPlace, addPlaces, addTransition, addTransitions, clear, clone, clone, createPlace, createTransition, getFlow, getMax, getMin, getNodes, getObservableTransitions, getPlaces, getPostset, getPostset, getPostset, getPostset, getPostsetPlaces, getPostsetTransitions, getPreset, getPreset, getPreset, getPreset, getPresetPlaces, getPresetTransitions, getSilentTransitions, getSinkPlaces, getSinkTransitions, getSourcePlaces, getSourceTransitions, getTransitions, removeFlow, removeFlow, removeNode, removeNodes, removePlace, removePlaces, removeTransition, removeTransitions

Methods inherited from interface org.jbpt.graph.abs.IDirectedGraph

getDirectedEdge

Methods inherited from interface org.jbpt.hypergraph.abs.IDirectedHyperGraph

addEdge, addEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTarget, getEdgesWithTargets, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdges

Methods inherited from interface org.jbpt.graph.abs.IGraph

areAdjacent, getEdge, getEdges

Methods inherited from interface org.jbpt.hypergraph.abs.IHyperGraph

addEdge, addEdge, addVertex, addVertices, areAdjacent, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getFreshVertex, getVertices, isMultiGraph, removeEdge, removeEdges, removeVertex, removeVertices

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.jbpt.hypergraph.abs.IEntity

getLabel

Methods inherited from interface org.jbpt.hypergraph.abs.IEntityModel

getEntities

Constructor Detail

OccurrenceNet

protected OccurrenceNet()

OccurrenceNet

protected OccurrenceNet(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> unf)

Method Detail

addFlow

public Flow addFlow(Node from,
           Node to)

Description copied from interface: IPetriNet

Add flow to this net. This method ensures net stays bipartite.

Specified by:

addFlow in interface IPetriNet<Flow,Node,Place,Transition>

Overrides:

addFlow in class AbstractOccurrenceNet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Parameters:

from - Source node.

to - Target node.

Returns:

Flow added to this net; null if no flow was added.

getSourceNodes

public Set<Node> getSourceNodes()

Description copied from interface: IPetriNet

Get source nodes of this net. A node is a source node if it has empty preset.

Specified by:

getSourceNodes in interface IPetriNet<Flow,Node,Place,Transition>

Overrides:

getSourceNodes in class AbstractOccurrenceNet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Returns:

Source nodes of this net.

getSinkNodes

public Set<Node> getSinkNodes()

Description copied from interface: IPetriNet

Get sink nodes of this net. A node is a sink node if it has empty postset.

Specified by:

getSinkNodes in interface IPetriNet<Flow,Node,Place,Transition>

Overrides:

getSinkNodes in class AbstractOccurrenceNet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

Returns:

Sink nodes of this net.