Module fr.inria.MochyCore

Package fr.inria.mochy.core.trajectory

Class TrajectoryNet

java.lang.Object

fr.inria.mochy.core.abstractClass.PhysicalModel

fr.inria.mochy.core.trajectory.TrajectoryNet

public class TrajectoryNet
extends PhysicalModel

Field Summary

Fields

Modifier and Type	Field	Description
HashMap<Integer,TrajTransition>	blocked
HashMap<Integer,BooleanPlace>	booleanPlaces
Marking	currentMarking
HashMap<Integer,TrajTransition>	enabled
HashMap<Integer,TrajTransition>	fireable
HashMap<Integer,TrajPlace>	places
HashMap<Integer,TrajTransition>	transitions

Fields inherited from class fr.inria.mochy.core.abstractClass.PhysicalModel

discreteStep, fname, nbDiscreteSteps, nbTokens, startLogs, stepsNb, timeElapsed, tokens

Constructor Summary

Constructors

Constructor	Description
TrajectoryNet(String fname)

Method Summary

Modifier and Type	Method	Description
protected void	addInFlow(int tnum, int pnum)
protected void	addOutFlow(int tnum, int pnum)
Boolean	addToken(int pnum)	Add a token in a place
boolean	busyPostSet(Integer tnum)
void	discreteMove()	perform a discrete move e.g.
String	discreteMove(TransitionAbstract onet, String logFile, float currentTime, boolean enableLogs)	perform a discrete move e.g.
boolean	discreteMove(String pathLogs, long elapsedTime, boolean enableLogs)	perform a discrete move e.g.
void	drop()	display informations of the network model
String	dropConfig()	display informations of the configuration of the network model
PlaceAbstract	findPlace(int pnum)	return the place as specified by its number in parameter
TransitionAbstract	findTransition(Integer tnum)	return the transition as specified by its number in parameter
TransitionAbstract	findTransition(String string)	return the transition as specified by its name in parameter
ArrayList<TransitionAbstract>	fireableTransition()	return the list of fireable transitions
PlaceAbstract	getControlPlace(int aplace)	return a control place as specified by its number in parameter
HashMap<Integer,? extends PlaceAbstract>	getControlPlaces()	return the list of the control places which can be recovered by their id number
HashMap<Integer,? extends TransitionAbstract>	getEnabled()	get the list of the enabled transitions which can be retrieved by their id number
HashMap<Integer,TrajTransition>	getFirable()	get the list of the fireable transitions which can be retrieved by their id number
HashMap<Integer,TrajPlace>	getPlaces()	list the places which can be recovered with their number
LinkedHashMap<Integer,Token>	getTokens()
HashMap<Integer,TrajTransition>	getTransitions()	list the transitions which can be recovered with their number
int	getWeibullCoef()	get the coefficient used for the weibull prob.
protected String	handleLine(String line, int lineNb)
boolean	isBlocked(int tnum)	return true if the transition specified in parameter by its number is blocked
boolean	isGaussian()	return true if the prob.
boolean	isWeibull()	return true if the prob.
String	loadFile()	called to load the input model file
float	maxAllowedTimedMove()	return the allowed timed move to be elapsed to perform a step
float	minimumClock()	return the minimum time to advance in order to update the status of tokens or transitions
void	multipleSteps(int steps)	perform the number of steps specified in parameter (timed move, discrete move, ...)
int	numberBlocked()	return the number of blocked transitions
int	numberFireable()	return the number of fireable transitions
void	progressTime(Float delta)	advance the time of the delta parameter value and update the status of the transitions (blocked, fireable...)
void	reset(boolean init)	reset the network model to its initial status

Methods inherited from class fr.inria.mochy.core.abstractClass.PhysicalModel

getNbDiscreteSteps, getStepsNb, getTimeElapsed, isDiscreteStep

Methods inherited from class java.lang.Object

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

Field Detail

places

public HashMap<Integer,TrajPlace> places

transitions

public HashMap<Integer,TrajTransition> transitions

enabled

public HashMap<Integer,TrajTransition> enabled

fireable

public HashMap<Integer,TrajTransition> fireable

blocked

public HashMap<Integer,TrajTransition> blocked

booleanPlaces

public HashMap<Integer,BooleanPlace> booleanPlaces

currentMarking

public Marking currentMarking

Constructor Detail

TrajectoryNet

public TrajectoryNet(String fname)

Method Detail

loadFile

public String loadFile()

Description copied from class: PhysicalModel

called to load the input model file

Specified by:

loadFile in class PhysicalModel

handleLine

protected String handleLine(String line,
                            int lineNb)

addInFlow

protected void addInFlow(int tnum,
                         int pnum)

addOutFlow

protected void addOutFlow(int tnum,
                          int pnum)

addToken

public Boolean addToken(int pnum)

Add a token in a place

Specified by:

addToken in class PhysicalModel

Parameters:

pnum -

Returns:

maxAllowedTimedMove

public float maxAllowedTimedMove()

Description copied from class: PhysicalModel

return the allowed timed move to be elapsed to perform a step

Specified by:

maxAllowedTimedMove in class PhysicalModel

numberFireable

public int numberFireable()

Description copied from class: PhysicalModel

return the number of fireable transitions

Specified by:

numberFireable in class PhysicalModel

numberBlocked

public int numberBlocked()

Description copied from class: PhysicalModel

return the number of blocked transitions

Specified by:

numberBlocked in class PhysicalModel

isBlocked

public boolean isBlocked(int tnum)

Description copied from class: PhysicalModel

return true if the transition specified in parameter by its number is blocked

Specified by:

isBlocked in class PhysicalModel

progressTime

public void progressTime(Float delta)

Description copied from class: PhysicalModel

advance the time of the delta parameter value and update the status of the transitions (blocked, fireable...)

Specified by:

progressTime in class PhysicalModel

discreteMove

public void discreteMove()

Description copied from class: PhysicalModel

perform a discrete move e.g. a transition will be fired and a token will change of place

Specified by:

discreteMove in class PhysicalModel

multipleSteps

public void multipleSteps(int steps)

Description copied from class: PhysicalModel

perform the number of steps specified in parameter (timed move, discrete move, ...)

Specified by:

multipleSteps in class PhysicalModel

reset

public void reset(boolean init)

Description copied from class: PhysicalModel

reset the network model to its initial status

Overrides:

reset in class PhysicalModel

discreteMove

public boolean discreteMove(String pathLogs,
                            long elapsedTime,
                            boolean enableLogs)

Description copied from class: PhysicalModel

perform a discrete move e.g. a transition will be fired and a token will change of place

Specified by:

discreteMove in class PhysicalModel

drop

public void drop()

Description copied from class: PhysicalModel

display informations of the network model

Specified by:

drop in class PhysicalModel

busyPostSet

public boolean busyPostSet(Integer tnum)

findTransition

public TransitionAbstract findTransition(Integer tnum)

Description copied from class: PhysicalModel

return the transition as specified by its number in parameter

Specified by:

findTransition in class PhysicalModel

dropConfig

public String dropConfig()

Description copied from class: PhysicalModel

display informations of the configuration of the network model

Specified by:

dropConfig in class PhysicalModel

findPlace

public PlaceAbstract findPlace(int pnum)

Description copied from class: PhysicalModel

return the place as specified by its number in parameter

Specified by:

findPlace in class PhysicalModel

getControlPlace

public PlaceAbstract getControlPlace(int aplace)

Description copied from class: PhysicalModel

return a control place as specified by its number in parameter

Specified by:

getControlPlace in class PhysicalModel

minimumClock

public float minimumClock()

Description copied from class: PhysicalModel

return the minimum time to advance in order to update the status of tokens or transitions

Specified by:

minimumClock in class PhysicalModel

fireableTransition

public ArrayList<TransitionAbstract> fireableTransition()

Description copied from class: PhysicalModel

return the list of fireable transitions

Specified by:

fireableTransition in class PhysicalModel

discreteMove

public String discreteMove(TransitionAbstract onet,
                           String logFile,
                           float currentTime,
                           boolean enableLogs)

Description copied from class: PhysicalModel

perform a discrete move e.g. a transition will be fired and a token will change of place

Specified by:

discreteMove in class PhysicalModel

getEnabled

public HashMap<Integer,? extends TransitionAbstract> getEnabled()

Description copied from class: PhysicalModel

get the list of the enabled transitions which can be retrieved by their id number

Specified by:

getEnabled in class PhysicalModel

getFirable

public HashMap<Integer,TrajTransition> getFirable()

Description copied from class: PhysicalModel

get the list of the fireable transitions which can be retrieved by their id number

Specified by:

getFirable in class PhysicalModel

getTransitions

public HashMap<Integer,TrajTransition> getTransitions()

Description copied from class: PhysicalModel

list the transitions which can be recovered with their number

Specified by:

getTransitions in class PhysicalModel

isGaussian

public boolean isGaussian()

Description copied from class: PhysicalModel

return true if the prob. distribution is gaussian. used for the sampling of the transitions

Specified by:

isGaussian in class PhysicalModel

isWeibull

public boolean isWeibull()

Description copied from class: PhysicalModel

return true if the prob. distribution is weibull. used for the sampling of the transitions

Specified by:

isWeibull in class PhysicalModel

getWeibullCoef

public int getWeibullCoef()

Description copied from class: PhysicalModel

get the coefficient used for the weibull prob. distribution. used for the sampling of the transitions

Specified by:

getWeibullCoef in class PhysicalModel

findTransition

public TransitionAbstract findTransition(String string)

Description copied from class: PhysicalModel

return the transition as specified by its name in parameter

Specified by:

findTransition in class PhysicalModel

getPlaces

public HashMap<Integer,TrajPlace> getPlaces()

Description copied from class: PhysicalModel

list the places which can be recovered with their number

Specified by:

getPlaces in class PhysicalModel

getControlPlaces

public HashMap<Integer,? extends PlaceAbstract> getControlPlaces()

Description copied from class: PhysicalModel

return the list of the control places which can be recovered by their id number

Specified by:

getControlPlaces in class PhysicalModel

getTokens

public LinkedHashMap<Integer,Token> getTokens()

Specified by:

getTokens in class PhysicalModel