modelSettings
Global Settings for Animation and Display
Parameters
| Type | Name | Default | Description |
|---|---|---|---|
| Display | |||
| Boolean | showPlaceName | true | show names of places |
| Boolean | showTransitionName | true | show names of transitions |
| Boolean | showTime | true | show Time variables of discrete transitions |
| Boolean | showCapacity | false | show capacities of places |
| Animation | |||
| Boolean | animateMarking | true | animation of markings |
| Boolean | animatePlace | true | animation of places |
| Real | scale | 1 | scale factor for place animation 0-100 |
| Boolean | animateTransition | true | animation of transitions |
| Real | timeFire | 0.3 | time of transition animation |
| Boolean | animatePutFireTime | true | animation of putative fire time of stochastic transitions |
| Boolean | animateHazardFunc | true | animation of hazard functions of stochastic transitions |
| Boolean | animateSpeed | true | animation speed of continuous transitions |
| Boolean | animateWeightTIarc | true | show weights of test and inhibitor arcs |
| Boolean | animateTIarc | true | animation of test and inhibition arcs |
| Level Concentrations | |||
| Integer | N | 10 | N+1=amount of levels |
| Real | M | 1 | maximum concentration |
| Token flow | |||
| Boolean | showTokenFlow | false | |
| Random Number Generator | |||
| Integer | globalSeed | 30020 | global seed to initialize random number generator |