modelTES
Stochastic Transition with event
Parameters
| Type | Name | Default | Description |
|---|
| Connector sizing |
| Integer | nIn | 0 | number of input places |
| Integer | nOut | 0 | number of output places |
| Distribution |
| PNlib.Types.DistributionType | distributionType | PNlib.Types.DistributionType.Exponential | distribution type of event |
| Exponential distribution |
| Real | h | 1 | probability density |
| Triangular, Uniform or Truncated normal distribution |
| Real | a | 0 | Lower Limit |
| Real | b | 1 | Upper Limit |
| Triangular distribution |
| Real | c | 0.5 | Most likely value |
| Truncated normal distribution |
| Real | mu | 0.5 | Expected value |
| Real | sigma | 1/6 | Standard deviation |
| Discrete Probability Distribution |
| Real[:] | E | {1, 2, 3, 4, 5, 6} | Events of Discrete Distribution |
| Real[:] | P | {1/6, 1/6, 1/6, 1/6, 1/6, 1/6} | Probability of Discrete Distribution |
| Random Number Generator |
| Integer | localSeed | PNlib.Functions.Random.counter() | Local seed to initialize random number generator |
Components
| Type | Name | Default | Description |
|---|
| Real[nIn] | arcWeightIn | fill(1, nIn) | arc weights of input places |
| Real[nOut] | arcWeightOut | fill(1, nOut) | arc weights of output places |
| Boolean | firingCon | true | additional firing condition |
| Real | putFireTime | | putative firing time |
| Real | putEvent | | putative Event |
| Boolean | showTransitionName | settings.showTransitionName | only for transition animation and display (Do not change!) |
| Boolean | animatePutFireTime | settings.animatePutFireTime | only for transition animation and display (Do not change!) |
| Boolean | animateHazardFunc | settings.animateHazardFunc | only for transition animation and display (Do not change!) |
| Real[3] | color | | only for transition animation and display (Do not change!) |
| Boolean | TimeOver | | |
| Boolean | active | | Is the transition active? |
| Boolean | fire | | Does the transition fire? |
