org.jbpt.petri

Class PetriNet

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<Flow,Node,Place,Transition>

org.jbpt.petri.PetriNet

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>

public class PetriNet
extends AbstractPetriNet<Flow,Node,Place,Transition>

An implementation of IPetriNet interface. TODO create and extend a bipartite graph.

Author:

Artem Polyvyanyy, Matthias Weidlich, Andreas Meyer

Field Summary

Fields

Modifier and Type	Field and Description
static DirectedGraphAlgorithms<Flow,Node>	DIRECTED_GRAPH_ALGORITHMS
static PetriNetStructuralChecks<Flow,Node,Place,Transition>	STRUCTURAL_CHECKS
static PetriNetTransformations<Flow,Node,Place,Transition>	TRANSFORMATIONS

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

edges, vertices

Constructor Summary

Constructors

Constructor and Description
PetriNet()

Method Summary

Methods

Modifier and Type	Method and Description
Flow	addFlow(Node from, Node to) Add flow to this net.

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, getSinkNodes, getSinkPlaces, getSinkTransitions, getSourceNodes, getSourcePlaces, getSourceTransitions, getTransitions, removeFlow, removeFlow, removeNode, removeNodes, removePlace, removePlaces, removeTransition, removeTransitions, toDOT

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.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

Field Detail

DIRECTED_GRAPH_ALGORITHMS

public static DirectedGraphAlgorithms<Flow,Node> DIRECTED_GRAPH_ALGORITHMS

STRUCTURAL_CHECKS

public static PetriNetStructuralChecks<Flow,Node,Place,Transition> STRUCTURAL_CHECKS

TRANSFORMATIONS

public static PetriNetTransformations<Flow,Node,Place,Transition> TRANSFORMATIONS

Constructor Detail

PetriNet

public PetriNet()

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.

Parameters:

from - Source node.

to - Target node.

Returns:

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