Package org.oristool.models.stpn.trees

Class DeterministicEnablingState

java.lang.Object

org.oristool.models.stpn.trees.DeterministicEnablingState

public final class DeterministicEnablingState
extends Object

A generalized form of regeneration including a marking and the deterministic enabling times of non-exponential transitions.

Constructor Summary

Constructors

Constructor	Description
DeterministicEnablingState(Marking marking, Map<Variable,BigDecimal> enablingTimes)	Builds an instance from the given marking and map of enabling times.
DeterministicEnablingState(Marking marking, Set<Transition> enabledTransitions)	Builds an object encoding the deterministic enabling state of non-exponential transitions.
DeterministicEnablingState(Marking marking, PetriNet petriNet)	Builds an object encoding the deterministic enabling state of non-exponential transitions.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Map<Variable,BigDecimal>	getEnablingTimes()
Marking	getMarking()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

DeterministicEnablingState

public DeterministicEnablingState(Marking marking,
 Set<Transition> enabledTransitions)

Builds an object encoding the deterministic enabling state of non-exponential transitions. Initially, all non-exponential transitions are associated with enabling time equal to zero.

Parameters:

marking - the marking of the STPN

enabledTransitions - set of enabled transitions

DeterministicEnablingState

public DeterministicEnablingState(Marking marking,
 PetriNet petriNet)

Builds an object encoding the deterministic enabling state of non-exponential transitions. Initially, all non-exponential transitions are associated with enabling time equal to zero.

Parameters:

marking - the marking of the STPN

petriNet - Petri net

DeterministicEnablingState

public DeterministicEnablingState(Marking marking,
 Map<Variable,BigDecimal> enablingTimes)

Builds an instance from the given marking and map of enabling times.

The input objects are assumed to be constant (no copies are made).

Parameters:

marking - the marking of the STPN

enablingTimes - map of enabling times

Method Details

getMarking

public Marking getMarking()

getEnablingTimes

public Map<Variable,BigDecimal> getEnablingTimes()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object