Package jline.lang.state

Class AfterGlobalEvent.AfterGlobalEventResult

java.lang.Object

jline.lang.state.AfterGlobalEvent.AfterGlobalEventResult

Enclosing class:

AfterGlobalEvent

public static class AfterGlobalEvent.AfterGlobalEventResult
extends Object

Result container for global event processing in Stochastic Petri Net models. This class encapsulates the complete outcome of processing a global synchronization event, containing the updated state space and the associated rates and probabilities for all possible resulting states after event execution.

See Also:

• for the method that produces this result

Field Summary

Fields

Modifier and Type	Field	Description
final Matrix	outcomp	Column vector aligned with outrate: 1.0 when that outcome is a firing completion (a D1 firing of the active mode, which applies the PRE/POST place updates), 0.0 otherwise (e.g.
final List<Matrix>	outglspace	Updated global state space after event processing.
final Matrix	outprob	Probability matrix for each resulting state transition.
final Matrix	outrate	Transition rates matrix for each resulting state.

Constructor Summary

Constructors

Constructor	Description
AfterGlobalEventResult(List<Matrix> outglspace, Matrix outrate, Matrix outprob, Matrix outcomp)	Constructs a new result container for global event processing.

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

outglspace

public final List<Matrix> outglspace

Updated global state space after event processing. Each matrix in the list represents the state space for a specific stateful node in the network after the global event has been processed.

outrate

public final Matrix outrate

Transition rates matrix for each resulting state. Each row corresponds to a possible outcome state and contains the rate at which that transition occurs (may be immediate for logical transitions).

outprob

public final Matrix outprob

Probability matrix for each resulting state transition. Each row corresponds to a possible outcome state and contains the probability of that specific outcome occurring when the event is fired.

outcomp

public final Matrix outcomp

Column vector aligned with outrate: 1.0 when that outcome is a firing completion (a D1 firing of the active mode, which applies the PRE/POST place updates), 0.0 otherwise (e.g. every ENABLE outcome). Callers must not re-derive this from the place markings: a transition whose firing outcome returns exactly what its enabling condition consumed leaves every marking invariant, yet still completes at a nonzero rate.

Constructor Details

AfterGlobalEventResult

public AfterGlobalEventResult(List<Matrix> outglspace,
 Matrix outrate,
 Matrix outprob,
 Matrix outcomp)

Constructs a new result container for global event processing.

Parameters:

outglspace - Updated global state space after event processing

outrate - Transition rates for each resulting state

outprob - Probabilities for each resulting state transition

outcomp - Completion flag for each resulting state transition