org.jbpt.petri

Interface INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Type Parameters:

F - Flow template.

N - Node template.

P - Place template.

T - Transition template.

M - Marking template.

All Superinterfaces:

Cloneable, Comparable<IGObject>, IDirectedGraph<F,N>, IDirectedHyperGraph<F,N>, IEntity, IEntityModel<N>, IGObject, IGraph<F,N>, IHyperGraph<F,N>, IPetriNet<F,N,P,T>

All Known Implementing Classes:

AbstractNetSystem, NetSystem

public interface INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends IPetriNet<F,N,P,T>

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
INetSystem<F,N,P,T,M>	clone() Clone this net system.
INetSystem<F,N,P,T,M>	clone(Map<N,N> map) Clone this net system.
IMarking<F,N,P,T>	createMarking() Create a marking of this net system.
boolean	fire(T transition) Fire a transition in this net system.
Set<T>	getEnabledTransitions() Get enabled transitions of this net system.
Set<T>	getEnabledTransitions(Set<T> lastEnabled, T lastFired) Get enabled transitions of this net system more efficiently by providing details on last step in terms of previously enabled transitions and the one last fired.
Set<T>	getEnabledTransitionsAtMarking(M marking) Get enabled transitions of this net system at a given marking
Set<P>	getMarkedPlaces() Get marked places of this net system.
M	getMarking() Get marking of this net system.
Integer	getTokens(P place) Get number of tokens at a place.
boolean	isEnabled(T transition) Check if a given transition is enabled.
boolean	isMarked(P place) Check if a given place is marked, i.e., contains at least one token.
void	loadMarking(M marking) Changes marking of this net system to the given one.
void	loadNaturalMarking() Changes marking of the net system to its natural initial marking, i.e., the marking which put one token at each source place of the net system and no tokens elsewhere.
Integer	putTokens(P place, Integer tokens) Put tokens at a given place.

Methods inherited from interface org.jbpt.petri.IPetriNet

addFlow, addFlow, addFlow, addNode, addNodes, addPlace, addPlaces, addTransition, addTransitions, clear, 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

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, toDOT

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

Method Detail

getMarking

M getMarking()

Get marking of this net system.

Returns:

Marking of this net system.

getMarkedPlaces

Set<P> getMarkedPlaces()

Get marked places of this net system.

Returns:

Set of all marked places of this net system.

getEnabledTransitions

Set<T> getEnabledTransitions()

Get enabled transitions of this net system.

Returns:

Enabled transitions of this net system.

getEnabledTransitions

Set<T> getEnabledTransitions(Set<T> lastEnabled,
                           T lastFired)

Get enabled transitions of this net system more efficiently by providing details on last step in terms of previously enabled transitions and the one last fired.

Returns:

Enabled transitions of this net system.

getEnabledTransitionsAtMarking

Set<T> getEnabledTransitionsAtMarking(M marking)

Get enabled transitions of this net system at a given marking

Parameters:

marking - Marking of this net system.

Returns:

Enabled transitions of this net system at the given marking.

isEnabled

boolean isEnabled(T transition)

Check if a given transition is enabled.

Parameters:

transition - Transition.

Returns:

true if transition is enabled; otherwise false.

fire

boolean fire(T transition)

Fire a transition in this net system. Transition fires only if it is enabled. Firing of a transition removes one token from every input place and adds one token to every output place of the transition.

Parameters:

transition - Transition to fire.

Returns:

true if firing took place; otherwise false.

putTokens

Integer putTokens(P place,
                Integer tokens)

Put tokens at a given place.

Parameters:

place - Place.

tokens - Number of tokens to put.

Returns:

the previous number of tokens at the given place, or null if parameters are wrong (either are equal to null or the given place does not belong to the net system)

getTokens

Integer getTokens(P place)

Get number of tokens at a place.

Parameters:

place - Place.

Returns:

Number of tokens at p.

loadNaturalMarking

void loadNaturalMarking()

Changes marking of the net system to its natural initial marking, i.e., the marking which put one token at each source place of the net system and no tokens elsewhere.

loadMarking

void loadMarking(M marking)

Changes marking of this net system to the given one. Note that the new marking must be associated with this net system.

Parameters:

marking - Marking to use for this net system.

isMarked

boolean isMarked(P place)

Check if a given place is marked, i.e., contains at least one token.

Parameters:

place - Place.

Returns:

true if place is marked; otherwise false.

createMarking

IMarking<F,N,P,T> createMarking()

Create a marking of this net system.

Returns:

A marking of this net system.

clone

INetSystem<F,N,P,T,M> clone()

Clone this net system.

Specified by:

clone in interface IEntity

Specified by:

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

clone

INetSystem<F,N,P,T,M> clone(Map<N,N> map)

Clone this net system. The set map is a map from nodes of the original net to nodes of the cloned net.

Specified by:

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