org.jbpt.petri.behavior

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

public class SimpleStateSpace<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<M,Map<T,M>>	stateTransitions
protected Map<M,Set<T>>	toVisit

Constructor Summary

Constructors

Constructor and Description
SimpleStateSpace(INetSystem<F,N,P,T,M> netSystem)

Method Summary

Methods

Modifier and Type	Method and Description
void	clear()
void	create()
void	createUpToNumberOfMarkings(int numberOfMarkings)
int	getNumberOfMarkings()
String	toDOT()

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

toVisit

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

stateTransitions

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

Constructor Detail

SimpleStateSpace

public SimpleStateSpace(INetSystem<F,N,P,T,M> netSystem)

Method Detail

create

public void create()

createUpToNumberOfMarkings

public void createUpToNumberOfMarkings(int numberOfMarkings)

clear

public void clear()

toDOT

public String toDOT()

getNumberOfMarkings

public int getNumberOfMarkings()