org.jbpt.petri.unfolding

Class AbstractOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

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<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

Cloneable, Comparable<IGObject>, IDirectedGraph<F,N>, IGraph<F,N>, IDirectedHyperGraph<F,N>, IEntity, IEntityModel<N>, IGObject, IHyperGraph<F,N>, IPetriNet<F,N,P,T>, IOccurrenceNet<BPN,C,E,F,N,P,T,M>

Direct Known Subclasses:

OccurrenceNet

public abstract class AbstractOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends AbstractPetriNet<F,N,P,T>
implements IOccurrenceNet<BPN,C,E,F,N,P,T,M>

Occurrence net.

Author:

Artem Polyvyanyy

Field Summary

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

edges, vertices

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractOccurrenceNet()
protected	AbstractOccurrenceNet(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)

Method Summary

Methods

Modifier and Type	Method and Description
F	addFlow(N from, N to) Add flow to this net.
ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M>	getCompletePrefixUnfolding()
C	getCondition(P p)
T	getCorrespondingEvent(T t)
Set<P>	getCutInducedByLocalConfiguration(T t)
Set<T>	getCutoffEvents()
E	getEvent(T t)
OrderingRelationType	getOrderingRelation(N n1, N n2)
P	getPlace(C c)
Collection<P>	getPlaces(Collection<C> conditions)
Set<N>	getSinkNodes() Get sink nodes of this net.
Set<N>	getSourceNodes() Get source nodes of this net.
T	getTransition(E e)
Collection<T>	getTransitions(Collection<E> events)
BPN	getUnfoldingNode(N n)
boolean	isCutoffEvent(T t)
void	setBranchingProcess(IBranchingProcess<BPN,C,E,F,N,P,T,M> bp)
void	setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
String	toDOT()
String	toDOT(Collection<P> places, Collection<T> transitions)

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

AbstractOccurrenceNet

protected AbstractOccurrenceNet()

AbstractOccurrenceNet

protected AbstractOccurrenceNet(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)

Method Detail

addFlow

public F addFlow(N from,
        N to)

Description copied from interface: IPetriNet

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

Specified by:

addFlow in interface IPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

Parameters:

from - Source node.

to - Target node.

Returns:

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

getSourceNodes

public Set<N> 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<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

Overrides:

getSourceNodes in class AbstractPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

Returns:

Source nodes of this net.

getSinkNodes

public Set<N> 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<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

Overrides:

getSinkNodes in class AbstractPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

Returns:

Sink nodes of this net.

getPlaces

public Collection<P> getPlaces(Collection<C> conditions)

Specified by:

getPlaces in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getTransitions

public Collection<T> getTransitions(Collection<E> events)

Specified by:

getTransitions in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

setCompletePrefixUnfolding

public void setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)

Specified by:

setCompletePrefixUnfolding in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

setBranchingProcess

public void setBranchingProcess(IBranchingProcess<BPN,C,E,F,N,P,T,M> bp)

Specified by:

setBranchingProcess in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getCompletePrefixUnfolding

public ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> getCompletePrefixUnfolding()

Specified by:

getCompletePrefixUnfolding in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getEvent

public E getEvent(T t)

Specified by:

getEvent in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getCondition

public C getCondition(P p)

Specified by:

getCondition in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getPlace

public P getPlace(C c)

Specified by:

getPlace in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getTransition

public T getTransition(E e)

Specified by:

getTransition in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getUnfoldingNode

public BPN getUnfoldingNode(N n)

Specified by:

getUnfoldingNode in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getOrderingRelation

public OrderingRelationType getOrderingRelation(N n1,
                                       N n2)

Specified by:

getOrderingRelation in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getCutoffEvents

public Set<T> getCutoffEvents()

Specified by:

getCutoffEvents in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getCorrespondingEvent

public T getCorrespondingEvent(T t)

Specified by:

getCorrespondingEvent in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

isCutoffEvent

public boolean isCutoffEvent(T t)

Specified by:

isCutoffEvent in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

toDOT

public String toDOT()

Specified by:

toDOT in interface IGraph<F extends IFlow<N>,N extends INode>

Overrides:

toDOT in class AbstractPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition>

toDOT

public String toDOT(Collection<P> places,
           Collection<T> transitions)

Specified by:

toDOT in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

getCutInducedByLocalConfiguration

public Set<P> getCutInducedByLocalConfiguration(T t)

Specified by:

getCutInducedByLocalConfiguration in interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>