Uses of Class
jline.lang.GlobalSync
Packages that use GlobalSync
Package
Description
Abstractions to declare basic elements of a model.
Classes that model the state of a network and its individual nodes
-
Uses of GlobalSync in jline.lang
Fields in jline.lang with type parameters of type GlobalSync -
Uses of GlobalSync in jline.lang.state
Methods in jline.lang.state with parameters of type GlobalSyncModifier and TypeMethodDescriptionAfterGlobalEvent.afterGlobalEvent(NetworkStruct sn, int ind, List<Matrix> glspace, GlobalSync glevent, boolean isSimulation) Processes a global event in a Stochastic Petri Net (SPN) and computes the resulting state space.protected static State.EventHandleResultState.handleEnableEvent(NetworkStruct sn, int ind, GlobalSync glevent, List<Matrix> glspace, List<Matrix> outglspace, Matrix inspace, Matrix spaceBuf, Matrix spaceSrv, Matrix spaceVar, Matrix fK, Matrix fKs, int mode, TransitionNodeParam transParam, int R) Handles ENABLE events for transitions in Stochastic Petri Net (SPN) event processing.protected static State.EventHandleResultState.handleFireEvent(NetworkStruct sn, int ind, GlobalSync glevent, List<Matrix> glspace, List<Matrix> outglspace, Matrix inspace, Matrix spaceBuf, Matrix spaceSrv, Matrix spaceVar, Matrix fK, Matrix fKs, int mode, TransitionNodeParam transParam, int R) Handles FIRE events for transitions in Stochastic Petri Net (SPN) event processing.