org.jbpt.petri.behavior

Class ProjectedStateSpace<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.petri.behavior.ProjectedStateSpace<F,N,P,T,M>

public class ProjectedStateSpace<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<M,Set<T>>	enabled
protected INetSystem<F,N,P,T,M>	netSystem
protected Map<T,Integer>	projectionSetForStepMatrix
protected Map<M,Map<T,M>>	stateTransitions
protected boolean[][]	stepMatrix
protected Map<T,Set<M>>	txM
protected Map<T,Set<M>>	vTxM

Constructor Summary

Constructors

Constructor and Description
ProjectedStateSpace(INetSystem<F,N,P,T,M> netSystem, Set<T> projectionSet)

Method Summary

Methods

Modifier and Type	Method and Description
void	addStep(T t1, T t2)
protected void	addToVisit(T t, M m)
void	create()
void	createUpToNumberOfMarkings(int numberOfMarkings)
protected M	fireTransition(M from, Set<T> enabled, T t)
int	getNumberOfMarkings()
boolean	isStep(N t1, N t2)
protected boolean	visited(T t, M m)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

netSystem

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

enabled

protected Map<M extends IMarking<F,N,P,T>,Set<T extends ITransition>> enabled

txM

protected Map<T extends ITransition,Set<M extends IMarking<F,N,P,T>>> txM

vTxM

protected Map<T extends ITransition,Set<M extends IMarking<F,N,P,T>>> vTxM

stateTransitions

protected Map<M extends IMarking<F,N,P,T>,Map<T extends ITransition,M extends IMarking<F,N,P,T>>> stateTransitions

stepMatrix

protected boolean[][] stepMatrix

projectionSetForStepMatrix

protected Map<T extends ITransition,Integer> projectionSetForStepMatrix

Constructor Detail

ProjectedStateSpace

public ProjectedStateSpace(INetSystem<F,N,P,T,M> netSystem,
                   Set<T> projectionSet)

Method Detail

create

public void create()

createUpToNumberOfMarkings

public void createUpToNumberOfMarkings(int numberOfMarkings)

addToVisit

protected void addToVisit(T t,
              M m)

visited

protected boolean visited(T t,
              M m)

fireTransition

protected M fireTransition(M from,
               Set<T> enabled,
               T t)

getNumberOfMarkings

public int getNumberOfMarkings()

addStep

public void addStep(T t1,
           T t2)

isStep

public boolean isStep(N t1,
             N t2)