Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr PNlib_PNlib.Examples.HybTest.EightConflictProb.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo", uses=false) Using package PNlib with version 3.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(PNlib.Examples.HybTest.EightConflictProb,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|T1.active|T1.fire|T2.active|T2.fire|T3.active|T3.fire|T4.active|T4.fire|T5.active|T5.fire|T6.active|T6.fire|T7.active|T7.fire|T8.active|T8.fire|Time",fileNamePrefix="PNlib_PNlib.Examples.HybTest.EightConflictProb") translateModel(PNlib.Examples.HybTest.EightConflictProb,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|T1.active|T1.fire|T2.active|T2.fire|T3.active|T3.fire|T4.active|T4.fire|T5.active|T5.fire|T6.active|T6.fire|T7.active|T7.fire|T8.active|T8.fire|Time",fileNamePrefix="PNlib_PNlib.Examples.HybTest.EightConflictProb") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001361/0.001361, allocations: 103.9 kB / 16.37 MB, free: 6.371 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001182/0.001183, allocations: 191.4 kB / 17.31 MB, free: 5.91 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.242/1.242, allocations: 222.9 MB / 241 MB, free: 15.2 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.06952/0.06952, allocations: 16.73 MB / 307.9 MB, free: 14.28 MB / 254.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.188e-05/2.19e-05, allocations: 2.828 kB / 373 MB, free: 49.14 MB / 302.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.HybTest.EightConflictProb): time 0.004008/0.004044, allocations: 4.593 MB / 377.6 MB, free: 47.69 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.004566/0.008627, allocations: 2.81 MB / 380.4 MB, free: 47.29 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0005447/0.009184, allocations: 28.5 kB / 380.4 MB, free: 47.29 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0006352/0.009845, allocations: 414 kB / 380.8 MB, free: 47.16 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0006929/0.01055, allocations: 396.5 kB / 381.2 MB, free: 46.97 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001828/0.01238, allocations: 1.137 MB / 382.3 MB, free: 46.88 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.003283/0.01568, allocations: 3.902 MB / 386.2 MB, free: 45.64 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.001194/0.01688, allocations: 1.222 MB / 387.5 MB, free: 45.18 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.002044/0.01894, allocations: 1.79 MB / 389.2 MB, free: 44.41 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.001476/0.02042, allocations: 1.379 MB / 390.6 MB, free: 43.74 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0004397/0.02087, allocations: 303.4 kB / 390.9 MB, free: 43.74 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.001016/0.0219, allocations: 0.6572 MB / 391.6 MB, free: 43.62 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.001968/0.02387, allocations: 3.572 MB / 395.1 MB, free: 41.24 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0007759/0.02466, allocations: 1.975 MB / 397.1 MB, free: 39.79 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.00054/0.0252, allocations: 377.3 kB / 397.5 MB, free: 39.61 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.0003133/0.02552, allocations: 225.8 kB / 397.7 MB, free: 39.48 MB / 302.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 969 (622) * Number of variables: 969 (595) Notification: Performance of Bindings: time 0.008353/0.03388, allocations: 11.19 MB / 408.9 MB, free: 28.84 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.001303/0.0352, allocations: 1.742 MB / 410.6 MB, free: 27.1 MB / 302.1 MB Notification: Performance of Early Inline: time 0.007378/0.04259, allocations: 10.7 MB / 421.3 MB, free: 16.32 MB / 302.1 MB Notification: Performance of simplify1: time 0.0004188/0.04303, allocations: 429.4 kB / 421.8 MB, free: 15.9 MB / 302.1 MB Notification: Performance of Alias: time 0.006618/0.04966, allocations: 7.683 MB / 429.4 MB, free: 7.559 MB / 302.1 MB Notification: Performance of simplify2: time 0.0003867/0.05006, allocations: 391.4 kB / 429.8 MB, free: 7.176 MB / 302.1 MB Notification: Performance of Events: time 0.003742/0.05381, allocations: 4.219 MB / 434 MB, free: 3.148 MB / 302.1 MB Notification: Performance of Detect States: time 0.002619/0.05644, allocations: 3.626 MB / 437.7 MB, free: 15.46 MB / 318.1 MB Notification: Performance of Partitioning: time 0.004851/0.0613, allocations: 3.743 MB / 441.4 MB, free: 11.59 MB / 318.1 MB Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency $SEV_250 could not be devided by the body size 3 without rest. Error: Internal error NBAdjacency.Matrix.createPseudo failed for: [ARRY] (3) T6.color = if $SEV_250 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_53) Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (555/956) **************************** (1) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T4.inPlaces.arcType = {T4.arcType[1]} (2) [ALGB] (1) protected Real[1] T7.testValue (3) [DISC] (1) protected Boolean T1.delayPassed (fixed = true, start = false) (4) [DISC] (1) protected Integer[1] T4.activation.testValueInt = T4.testValueInt (5) [DISC] (1) Boolean T3.active (6) [ALGB] (3) Real[3] P1.color (7) [DISC] (1) protected Boolean[1] T4.activation.disPlaceIn = T4.disPlaceIn (8) [ALGB] (1) Real[1] T1.inPlaces.testValue = {T1.testValue[1]} (9) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.inPlaces.arcType = {T2.arcType[1]} (10) [DISC] (8) protected Boolean[8] P1.enableOut.disTransition = P1.disTransitionOut (11) [ALGB] (1) Real[1] T1.arcWeightIn = {1.0 for $i1 in 1:1} (12) [DISC] (1) Boolean[1] T7.inPlaces.fire = {T7.fire} (13) [DISC] (1) protected Integer[1] T8.activation.arcWeightIntIn = T8.arcWeightIntIn (14) [ALGB] (1) protected Real[1] T5.activation.tIn = T5.tIn (15) [DISC] (1) protected Integer[1] T1.activation.minTokensInt = T1.minTokensInt (16) [ALGB] (1) Real[1] T5.inPlaces.arcWeight = {T5.arcWeightIn[1]} (17) [DISC] (1) protected Integer[1] T3.activation.testValueInt = T3.testValueInt (18) [DISS] (1) protected Boolean T6.ani (19) [ALGB] (1) Real[1] T4.arcWeightIn = {1.0 for $i1 in 1:1} (20) [ALGB] (8) protected Real[8] P1.firingSumOut.arcWeight = P1.arcWeightOut (21) [DISC] (1) protected Integer P1.enableOut.Index (22) [DISC] (1) Integer[1] T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} (23) [DISC] (1) Boolean[1] $SEV_274[$i1] (24) [ALGB] (1) protected Real[1] T3.tIn (25) [DISC] (1) protected Integer[1] T1.minTokensInt (26) [DISC] (1) protected Integer P1.disMarksOut.numtrue (27) [DISC] (8) protected Boolean[8] P1.emptying.vec = P1.preFireOut and not P1.disTransitionOut (28) [ALGB] (1) Real[1] T5.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (29) [DISC] (1) Boolean[1] T4.inPlaces.tokenInOut (30) [DISC] (1) Boolean[1] T4.inPlaces.active = {T4.delayPassed} (31) [DISS] (1) protected Real T6.firingTime (32) [DISC] (1) Boolean[1] $SEV_264[$i1] (33) [ALGB] (1) Real[1] T1.inPlaces.minTokens = {T1.minTokens[1]} (34) [DISC] (1) protected Boolean T4.delayPassed (fixed = true, start = false) (35) [ALGB] (8) protected Real[8] P1.firingSumOut.instSpeed = P1.instSpeedOut (36) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T4.arcType (37) [DISC] (1) protected Integer[1] T2.activation.minTokensInt = T2.minTokensInt (38) [DISC] (1) protected Integer[1] T2.testValueInt (39) [DISS] (1) protected Real T3.firingTime (40) [DISC] (1) Boolean[1] $SEV_254[$i1] (41) [ALGB] (1) Real[1] T1.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (42) [DISS] (1) protected Real T3.fireTime (43) [DISC] (1) protected Integer[1] T3.activation.tIntIn = T3.tIntIn (44) [ALGB] (1) protected Real[1] T2.minTokens (45) [DISC] (1) Integer[1] T3.inPlaces.arcWeightint = {T3.arcWeightIntIn[1]} (46) [DISC] (1) Boolean[1] $SEV_244[$i1] (47) [DISC] (1) Boolean[1] T1.inPlaces.disTransition = {true for $i1 in 1:1} (48) [ALGB] (1) Real[1] T1.inPlaces.decreasingFactor (49) [ALGB] (1) Real[1] T5.inPlaces.testValue = {T5.testValue[1]} (50) [DISC] (8) protected Boolean[8] P1.activeOut (51) [DISC] (1) Boolean[1] T1.inPlaces.enable = {T1.enableIn[1]} (52) [DISC] (1) Boolean[1] T5.inPlaces.enable = {T5.enableIn[1]} (53) [ALGB] (1) Real[1] T2.arcWeightIn = {1.0 for $i1 in 1:1} (54) [ALGB] (1) protected Real P1.tokenscale (55) [DISS] (1) protected Boolean T4.ani (56) [DISC] (1) Boolean[1] T1.inPlaces.fire = {T1.fire} (57) [DISC] (1) Boolean[1] T4.inPlaces.normalArc = {T4.normalArc[1]} (58) [DISC] (1) protected Boolean P1.emptying.anytrue (59) [DISC] (1) protected Integer[1] T8.minTokensInt (60) [DISC] (1) protected Integer P1.delayPassedOut.numtrue (61) [ALGB] (1) protected Real P1.firingSumOut.conFiringSum (62) [ALGB] (1) protected Real[1] T1.tIn (63) [DISC] (8) Boolean[8] P1.outTransition.disPlace = {false for $i1 in 1:8} (64) [DISC] (1) protected Boolean T2.delayPassed (fixed = true, start = false) (65) [DISC] (1) Integer[1] T7.inPlaces.testValueint = {T7.testValueInt[1]} (66) [ALGB] (8) Real[8] P1.outTransition.minTokens = {P1.minMarks for $outTransition1 in 1:8} (67) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.inPlaces.arcType = {T1.arcType[1]} (68) [ALGB] (1) protected Real[1] T2.testValue (69) [DISC] (1) protected Boolean[1] T1.activation.disPlaceIn = T1.disPlaceIn (70) [DISC] (8) protected Boolean[8] P1.enableOut.TAout = P1.activeOut (71) [ALGB] (1) Real[1] T5.inPlaces.minTokens = {T5.minTokens[1]} (72) [DISC] (1) protected Boolean T1.activation.active (73) [DISC] (1) Boolean[1] T2.inPlaces.disTransition = {true for $i1 in 1:1} (74) [ALGB] (1) Real[1] T7.inPlaces.t = {T7.tIn[1]} (75) [DISC] (1) Boolean[1] T2.inPlaces.fire = {T2.fire} (76) [DISC] (1) protected Integer[1] T8.tIntIn (77) [DISC] (1) protected Boolean[1] T5.enableIn (78) [DISS] (1) protected Boolean T2.ani (79) [ALGB] (1) Real[1] T4.inPlaces.t = {T4.tIn[1]} (80) [DISC] (1) protected Integer[1] T3.activation.arcWeightIntIn = T3.arcWeightIntIn (81) [DISC] (1) Integer[1] T6.inPlaces.testValueint = {T6.testValueInt[1]} (82) [DISC] (1) Boolean $SEV_290 (83) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.activation.arcType = T3.arcType (84) [DISC] (8) protected Boolean[8] P1.enableOut.TEout (85) [DISC] (1) protected Integer P1.enableOut.nremTAout (86) [ALGB] (1) Real[1] T1.inPlaces.t = {T1.tIn[1]} (87) [ALGB] (8) Real[8] P1.outTransition.testValue = {-1.0 for $i1 in 1:8} (88) [DISC] (1) Integer[1] T3.inPlaces.tint = {T3.tIntIn[1]} (89) [DISC] (1) protected Boolean[1] T4.normalArc (90) [ALGB] (1) Real[1] T5.arcWeightIn = {1.0 for $i1 in 1:1} (91) [DISC] (1) protected Integer[1] T4.activation.minTokensInt = T4.minTokensInt (92) [ALGB] (1) protected Real[1] T4.activation.tIn = T4.tIn (93) [DISC] (8) protected Boolean[8] P1.enableOut.TEout_ (94) [DISC] (1) Boolean $SEV_289 (95) [DISC] (1) Boolean $SEV_288 (96) [DISC] (1) Boolean $SEV_287 (97) [ALGB] (1) protected Real[1] T2.activation.tIn = T2.tIn (98) [DISC] (1) Boolean $SEV_284 (99) [DISC] (1) protected Boolean T5.delayPassed (fixed = true, start = false) (100) [DISC] (1) Boolean $SEV_283 (101) [DISC] (1) Boolean T8.fire (102) [DISC] (1) Boolean T5.fire (103) [DISC] (1) Boolean $SEV_282 (104) [DISC] (1) protected Boolean T4.activation.active (105) [DISC] (1) Boolean T2.fire (106) [DISC] (1) Boolean $SEV_281 (107) [DISC] (1) protected Integer[1] T5.tIntIn (108) [ALGB] (1) protected Real[1] T8.activation.tIn = T8.tIn (109) [DISC] (1) Boolean[1] T3.inPlaces.disTransition = {true for $i1 in 1:1} (110) [ALGB] (8) Real[8] P1.outTransition.instSpeed = {P1.instSpeedOut[$outTransition1] for $outTransition1 in 1:8} (111) [DISC] (1) Boolean[1] T3.inPlaces.disPlace = {T3.disPlaceIn[1]} (112) [ALGB] (1) Real[1] T6.inPlaces.decreasingFactor (113) [DISC] (1) protected Integer[1] T1.activation.testValueInt = T1.testValueInt (114) [ALGB] (1) protected Real[1] T6.minTokens (115) [DISC] (1) protected Integer[1] T3.activation.minTokensInt = T3.minTokensInt (116) [DISC] (1) Boolean[1] T8.inPlaces.fire = {T8.fire} (117) [DISC] (8) Integer[8] $FUN_13 (118) [DISC] (4) Integer[4] $FUN_12 (119) [ALGB] (1) Real $FUN_11 (120) [ALGB] (1) Real $FUN_10 (121) [ALGB] (8) Real[8] P1.outTransition.arcWeight = {P1.arcWeightOut[$outTransition1] for $outTransition1 in 1:8} (122) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T7.activation.arcType = T7.arcType (123) [DISC] (1) Boolean $SEV_277 (124) [DISC] (1) protected Integer[1] T1.testValueInt (125) [DISC] (1) Boolean $SEV_276 (126) [DISC] (1) Boolean $SEV_275 (127) [ALGB] (1) Real[1] T3.arcWeightIn = {1.0 for $i1 in 1:1} (128) [ALGB] (1) Real[1] T7.inPlaces.minTokens = {T7.minTokens[1]} (129) [DISC] (1) protected Boolean[1] T7.disPlaceIn (130) [ALGB] (1) protected Real T6.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (131) [DISC] (1) Boolean $SEV_272 (132) [DISC] (1) Boolean $SEV_271 (133) [DISC] (1) protected Boolean P1.enableOut.endWhile (134) [DISC] (1) Boolean $SEV_270 (135) [ALGB] (1) Real[1] T2.inPlaces.decreasingFactor (136) [ALGB] (1) protected Real P1.conMarkChange (137) [DISC] (1) protected Integer[1] T2.activation.testValueInt = T2.testValueInt (138) [DISC] (1) protected Integer[1] T2.tIntIn (139) [DISC] (1) protected Boolean[1] T4.disPlaceIn (140) [DISC] (1) protected Boolean T3.delayPassed (fixed = true, start = false) (141) [DISC] (1) protected Boolean P1.disMarksOut.anytrue (142) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T6.arcType (143) [ALGB] (1) Real[1] T8.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (144) [DISC] (1) Boolean[1] T4.inPlaces.disTransition = {true for $i1 in 1:1} (145) [DISC] (1) protected Boolean[1] T1.disPlaceIn (146) [ALGB] (1) protected Real[1] T6.testValue (147) [DISC] (1) Boolean[1] T8.inPlaces.active = {T8.delayPassed} (148) [ALGB] (1) protected Real P1.disMarkChange (149) [ALGB] (1) Real[1] T4.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (150) [DISS] (1) protected Real T2.fireTime (151) [DISC] (1) Boolean $SEV_267 (152) [DISC] (1) Boolean[1] T2.inPlaces.normalArc = {T2.normalArc[1]} (153) [DISC] (1) Boolean $SEV_266 (154) [DISC] (1) protected Integer[1] T7.minTokensInt (155) [DISC] (1) Boolean $SEV_265 (156) [DISC] (1) Boolean $SEV_262 (157) [DISC] (1) Boolean $SEV_261 (158) [DISC] (1) Integer[1] T6.inPlaces.tint = {T6.tIntIn[1]} (159) [DISC] (1) Boolean $SEV_260 (160) [ALGB] (1) protected Real T3.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (161) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T8.inPlaces.arcType = {T8.arcType[1]} (162) [ALGB] (1) Real[1] T7.inPlaces.testValue = {T7.testValue[1]} (163) [DISC] (1) protected Integer[1] T8.testValueInt (164) [DISC] (1) Boolean[1] T8.inPlaces.normalArc = {T8.normalArc[1]} (165) [DISC] (1) protected Integer[1] T7.activation.arcWeightIntIn = T7.arcWeightIntIn (166) [DISC] (1) Integer[1] T7.inPlaces.minTokensint = {T7.minTokensInt[1]} (167) [DISC] (1) protected Boolean[1] T8.normalArc (168) [DISC] (1) Boolean $SEV_257 (169) [DISC] (1) Boolean $SEV_256 (170) [DISC] (1) Boolean $SEV_255 (171) [ALGB] (1) Real[1] T1.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (172) [DISC] (1) Boolean $SEV_252 (173) [ALGB] (1) protected Real[1] T4.activation.minTokens = T4.minTokens (174) [DISC] (1) Boolean $SEV_251 (175) [ALGB] (1) Real[1] T3.inPlaces.minTokens = {T3.minTokens[1]} (176) [DISC] (1) Boolean[1] T7.inPlaces.disPlace = {T7.disPlaceIn[1]} (177) [ALGB] (1) Real[1] T6.arcWeightIn = {1.0 for $i1 in 1:1} (178) [DISC] (1) Boolean $SEV_250 (179) [ALGB] (1) Real[1] T7.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (180) [DISS] (1) protected Real T8.fireTime (181) [DISC] (1) protected Boolean[1] T6.activation.normalArc = T6.normalArc (182) [DISC] (1) Boolean T8.active (183) [DISC] (1) protected Boolean T6.delayPassed (fixed = true, start = false) (184) [ALGB] (1) Real[1] T7.inPlaces.arcWeight = {T7.arcWeightIn[1]} (185) [DISC] (1) Integer[1] T6.inPlaces.minTokensint = {T6.minTokensInt[1]} (186) [DISC] (1) Integer[1] T2.inPlaces.minTokensint = {T2.minTokensInt[1]} (187) [DISC] (1) Boolean $SEV_247 (188) [DISC] (1) Boolean[1] T8.inPlaces.disTransition = {true for $i1 in 1:1} (189) [ALGB] (1) protected Real[1] T7.activation.tIn = T7.tIn (190) [DISC] (1) protected Boolean[1] T4.enableIn (191) [DISC] (1) protected Boolean[1] T5.activation.disPlaceIn = T5.disPlaceIn (192) [DISC] (1) Boolean $SEV_246 (193) [ALGB] (1) protected Real[1] T1.minTokens (194) [DISC] (1) Boolean $SEV_245 (195) [DISC] (1) Boolean[1] T4.inPlaces.fire = {T4.fire} (196) [DISC] (1) Boolean $TEV_3 (197) [DISC] (1) Boolean $TEV_2 (198) [DISC] (1) Boolean $SEV_242 (199) [DISC] (1) Boolean $TEV_1 (200) [DISC] (1) Boolean $SEV_241 (201) [DISC] (1) Boolean $SEV_240 (202) [DISC] (1) protected discrete Real P1.enableOut.randNum (203) [ALGB] (1) protected Real[1] T4.activation.testValue = T4.testValue (204) [ALGB] (1) Real[1] T3.inPlaces.testValue = {T3.testValue[1]} (205) [DISC] (8) protected Boolean[8] P1.firingSumOut.fire = P1.preFireOut (206) [ALGB] (1) protected Real P1.firingSumOut.disFiringSum (207) [ALGB] (1) protected Real[1] T7.activation.testValue = T7.testValue (208) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.arcType (209) [DISC] (1) Boolean T5.active (210) [DISC] (1) protected Integer[1] T4.activation.tIntIn = T4.tIntIn (211) [DISC] (1) protected Boolean[1] T5.activation.normalArc = T5.normalArc (212) [DISC] (1) Boolean[1] T7.inPlaces.enable = {T7.enableIn[1]} (213) [DISC] (1) Integer[1] T3.inPlaces.minTokensint = {T3.minTokensInt[1]} (214) [ALGB] (1) protected Real[1] T1.testValue (215) [ALGB] (1) Real[1] T3.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (216) [DISC] (1) Boolean[1] T2.inPlaces.disPlace = {T2.disPlaceIn[1]} (217) [DISC] (8) protected Boolean[8] P1.disTransitionOut (218) [DISC] (1) protected discrete Real P1.enableOut.sumEnablingProbTAout (219) [ALGB] (1) protected Real[1] T7.activation.minTokens = T7.minTokens (220) [ALGB] (1) Real[1] T4.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (221) [ALGB] (1) Real[1] T3.inPlaces.arcWeight = {T3.arcWeightIn[1]} (222) [ALGB] (1) protected Real[1] T3.activation.tIn = T3.tIn (223) [ALGB] (8) protected Real[8] P1.decFactorOut (224) [DISC] (1) Boolean T2.active (225) [DISC] (1) Boolean[1] T6.inPlaces.active = {T6.delayPassed} (226) [DISC] (8) protected Boolean[8] P1.firingSumOut.disTransition = P1.disTransitionOut (227) [DISC] (1) protected Boolean[1] T7.activation.disPlaceIn = T7.disPlaceIn (228) [DISC] (8) Boolean[8] $SEV_286[$i1] (229) [DISC] (1) protected Integer[1] T6.minTokensInt (230) [DISC] (1) protected Boolean[1] T3.normalArc (231) [DISC] (8) protected discrete Real[8] P1.enableOut.cumEnablingProb (fixed = {true for $i1 in 1:8}, start = {0.0 for $i1 in 1:8}) (232) [DISC] (1) Boolean[1] $SEV_273[$i1] (233) [DISC] (1) protected Integer[1] T7.activation.tIntIn = T7.tIntIn (234) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T8.arcType (235) [DISC] (1) protected Integer[1] T7.testValueInt (236) [ALGB] (1) protected Real[1] T3.activation.minTokens = T3.minTokens (237) [DISS] (1) protected Real T7.firingTime (238) [DISC] (1) Boolean[1] $SEV_269[$i1] (239) [DISS] (1) protected Real T1.fireTime (240) [DISC] (1) Boolean[1] $SEV_263[$i1] (241) [DISC] (1) Boolean[1] T3.inPlaces.tokenInOut (242) [DISC] (8) Boolean[8] P1.outTransition.disTransition = {P1.disTransitionOut[$outTransition1] for $outTransition1 in 1:8} (243) [DISS] (1) protected Real T4.firingTime (244) [DISC] (1) protected Boolean[1] T8.activation.disPlaceIn = T8.disPlaceIn (245) [ALGB] (1) Real[1] T8.inPlaces.decreasingFactor (246) [DISC] (1) Boolean[1] $SEV_259[$i1] (247) [DISC] (1) Boolean[1] $SEV_253[$i1] (248) [DER-] (1) Real $DER.P1.t_ (249) [ALGB] (1) protected Real[1] T1.activation.arcWeightIn = T1.arcWeightIn (250) [DISC] (8) Integer[8] P1.outTransition.tint = {1 for $i1 in 1:8} (251) [DISS] (1) protected Real T1.firingTime (252) [ALGB] (1) protected Real[1] T5.minTokens (253) [DISC] (1) Boolean[1] $SEV_249[$i1] (254) [DISC] (1) Boolean[1] $SEV_243[$i1] (255) [ALGB] (1) Real[1] T6.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (256) [ALGB] (8) Real[8] P1.outTransition.t = {P1.t_ for $outTransition1 in 1:8} (257) [DISC] (1) protected Boolean[1] T1.activation.normalArc = T1.normalArc (258) [DISC] (1) protected Integer P1.disMarksIn.numtrue (259) [DISC] (1) Boolean[1] $SEV_239[$i1] (260) [DISC] (1) Integer[1] T5.inPlaces.arcWeightint = {T5.arcWeightIntIn[1]} (261) [DISC] (1) Boolean[1] T6.inPlaces.normalArc = {T6.normalArc[1]} (262) [ALGB] (1) protected Real[1] T8.tIn (263) [DISC] (8) protected Boolean[8] P1.delayPassedOut.vec = P1.activeOut and P1.disTransitionOut (264) [ALGB] (1) protected Real[1] T3.activation.testValue = T3.testValue (265) [ALGB] (1) protected Real[1] T8.activation.testValue = T8.testValue (266) [DISC] (1) Boolean[1] T2.inPlaces.enable = {T2.enableIn[1]} (267) [DISC] (1) Boolean[1] T4.inPlaces.enable = {T4.enableIn[1]} (268) [DISC] (1) protected Integer[1] T5.activation.arcWeightIntIn = T5.arcWeightIntIn (269) [DISS] (1) protected Real T7.fireTime (270) [DISC] (8) Integer[8] P1.outTransition.arcWeightint (271) [DISC] (1) protected Integer[1] T1.activation.arcWeightIntIn = T1.arcWeightIntIn (272) [ALGB] (1) protected Real[1] T5.testValue (273) [DISC] (1) protected Integer[1] T2.activation.tIntIn = T2.tIntIn (274) [ALGB] (1) protected Real[1] T2.activation.arcWeightIn = T2.arcWeightIn (275) [DISC] (1) protected Boolean[1] T3.enableIn (276) [DISC] (1) protected Integer[1] T8.activation.testValueInt = T8.testValueInt (277) [ALGB] (1) protected Real[1] T2.activation.testValue = T2.testValue (278) [ALGB] (1) Real[1] T8.inPlaces.t = {T8.tIn[1]} (279) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.activation.arcType = T1.arcType (280) [DISC] (1) Boolean[1] T1.inPlaces.active = {T1.delayPassed} (281) [ALGB] (1) Real P1.levelCon (282) [ALGB] (1) protected Real[1] T8.activation.minTokens = T8.minTokens (283) [ALGB] (1) Real[1] T5.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (284) [ALGB] (1) Real[1] T5.inPlaces.t = {T5.tIn[1]} (285) [ALGB] (1) protected Real[1] T6.tIn (286) [ALGB] (1) Real[1] T5.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (287) [DISC] (1) Integer[1] T3.inPlaces.testValueint = {T3.testValueInt[1]} (288) [DISC] (1) Boolean[1] T5.inPlaces.fire = {T5.fire} (289) [DISC] (1) protected Boolean T8.delayPassed (fixed = true, start = false) (290) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.arcType (291) [ALGB] (1) Real[1] T2.inPlaces.t = {T2.tIn[1]} (292) [DISC] (1) protected Integer[1] T7.tIntIn (293) [DISC] (1) protected Integer[1] T7.activation.testValueInt = T7.testValueInt (294) [DISC] (1) protected Boolean[1] T7.normalArc (295) [ALGB] (1) Real[1] T4.inPlaces.decreasingFactor (296) [DISC] (1) Boolean[1] T7.inPlaces.tokenInOut (297) [DISC] (1) Integer[1] T4.inPlaces.testValueint = {T4.testValueInt[1]} (298) [DISC] (1) Integer[1] T7.inPlaces.arcWeightint = {T7.arcWeightIntIn[1]} (299) [ALGB] (1) protected Real[1] T6.activation.tIn = T6.tIn (300) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T6.activation.arcType = T6.arcType (301) [ALGB] (1) Real[1] T8.arcWeightIn = {1.0 for $i1 in 1:1} (302) [DISC] (1) Boolean[1] T3.inPlaces.enable = {T3.enableIn[1]} (303) [ALGB] (1) protected Real[1] T2.activation.minTokens = T2.minTokens (304) [ALGB] (1) protected Real[1] T3.activation.arcWeightIn = T3.arcWeightIn (305) [DISC] (1) protected Integer[1] T5.minTokensInt (306) [DISC] (1) Boolean T7.fire (307) [DISC] (1) Boolean T4.fire (308) [DISC] (1) Boolean T1.fire (309) [DISC] (8) protected Boolean[8] P1.preFireOut (310) [ALGB] (1) protected Real T8.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (311) [DISS] (1) protected Boolean T7.ani (312) [DISC] (1) Boolean[1] T6.inPlaces.disPlace = {T6.disPlaceIn[1]} (313) [DISC] (1) protected Integer[1] T6.testValueInt (314) [DISC] (1) protected Integer[1] T4.tIntIn (315) [DISC] (1) Integer[1] T8.inPlaces.arcWeightint = {T8.arcWeightIntIn[1]} (316) [DISC] (1) protected Boolean T7.activation.active (317) [ALGB] (1) protected Real[1] T4.tIn (318) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T5.activation.arcType = T5.arcType (319) [DISC] (1) Boolean[1] T1.inPlaces.normalArc = {T1.normalArc[1]} (320) [DISC] (1) protected Boolean[1] T8.disPlaceIn (321) [DISC] (1) Integer[1] T7.inPlaces.tint = {T7.tIntIn[1]} (322) [ALGB] (8) protected Real[8] P1.arcWeightOut (323) [DISC] (1) Integer[1] T6.inPlaces.arcWeightint = {T6.arcWeightIntIn[1]} (324) [DISC] (1) protected Boolean[1] T5.disPlaceIn (325) [DISC] (1) protected Integer[1] T6.activation.arcWeightIntIn = T6.arcWeightIntIn (326) [ALGB] (1) protected Real T5.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (327) [DISC] (1) protected Integer[1] T3.arcWeightIntIn (328) [ALGB] (8) protected Real[8] P1.maxSpeedOut (329) [ALGB] (1) protected Real[1] T4.activation.arcWeightIn = T4.arcWeightIn (330) [DISC] (1) Boolean[1] T5.inPlaces.disTransition = {true for $i1 in 1:1} (331) [DISC] (1) Integer[1] T2.inPlaces.testValueint = {T2.testValueInt[1]} (332) [ALGB] (3) protected Real[3] T8.color (333) [DISC] (1) protected Boolean[1] T2.disPlaceIn (334) [DISC] (1) protected Integer[1] T1.tIntIn (335) [DISC] (1) Boolean[1] T5.inPlaces.tokenInOut (336) [DISC] (8) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[8] P1.outTransition.arcType = {PNlib.Types.ArcType.NormalArc for $i1 in 1:8} (337) [DISS] (1) protected Boolean T5.ani (338) [ALGB] (3) protected Real[3] T7.color (339) [DISC] (8) Boolean[8] P1.outTransition.active = {P1.activeOut[$outTransition1] for $outTransition1 in 1:8} (340) [ALGB] (1) Real[1] T4.inPlaces.minTokens = {T4.minTokens[1]} (341) [ALGB] (1) protected Real[1] T2.tIn (342) [ALGB] (3) protected Real[3] T6.color (343) [ALGB] (8) protected Real[8] P1.enableOut.enablingProb = P1.enablingProbOut (344) [ALGB] (8) Real[8] P1.outTransition.maxSpeed = {P1.maxSpeedOut[$outTransition1] for $outTransition1 in 1:8} (345) [DISC] (1) protected Boolean P1.disMarksIn.anytrue (346) [ALGB] (3) protected Real[3] T5.color (347) [DISC] (1) protected Integer[1] T5.activation.minTokensInt = T5.minTokensInt (348) [DISC] (1) Integer[1] T1.inPlaces.testValueint = {T1.testValueInt[1]} (349) [ALGB] (1) protected Real T2.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (350) [DISC] (1) Boolean[1] T1.inPlaces.disPlace = {T1.disPlaceIn[1]} (351) [DISC] (1) protected Boolean T7.delayPassed (fixed = true, start = false) (352) [DISC] (1) protected Boolean[1] T2.normalArc (353) [DISS] (1) protected Real T6.fireTime (354) [DISC] (1) Integer[1] T1.inPlaces.tint = {T1.tIntIn[1]} (355) [ALGB] (3) protected Real[3] T4.color (356) [DISC] (1) protected Boolean T2.activation.active (357) [DISC] (1) Boolean[1] T5.inPlaces.normalArc = {T5.normalArc[1]} (358) [DISC] (1) Boolean[1] T6.inPlaces.disTransition = {true for $i1 in 1:1} (359) [DISC] (1) Boolean[1] T8.inPlaces.enable = {T8.enableIn[1]} (360) [DISC] (1) protected Integer[1] T8.activation.minTokensInt = T8.minTokensInt (361) [ALGB] (3) protected Real[3] T3.color (362) [DISC] (1) protected Boolean[1] T2.enableIn (363) [ALGB] (1) Real[1] T4.inPlaces.testValue = {T4.testValue[1]} (364) [ALGB] (1) Real[1] T7.arcWeightIn = {1.0 for $i1 in 1:1} (365) [DISS] (1) protected Boolean T3.ani (366) [DISC] (1) protected Integer[1] T6.activation.minTokensInt = T6.minTokensInt (367) [ALGB] (3) protected Real[3] T2.color (368) [DISC] (1) Integer[1] T2.inPlaces.tint = {T2.tIntIn[1]} (369) [DISC] (1) protected Integer[1] T6.activation.tIntIn = T6.tIntIn (370) [DISC] (1) Boolean T7.active (371) [ALGB] (3) protected Real[3] T1.color (372) [ALGB] (1) protected Real[1] T4.minTokens (373) [DISC] (8) Boolean[8] P1.outTransition.normalArc = {false for $i1 in 1:8} (374) [DISC] (1) protected Integer[1] T7.activation.minTokensInt = T7.minTokensInt (375) [DISC] (1) Integer[1] T4.inPlaces.minTokensint = {T4.minTokensInt[1]} (376) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T5.arcType (377) [ALGB] (1) Real[1] T4.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (378) [DISC] (1) protected Integer[1] T4.arcWeightIntIn (379) [DISC] (1) protected Integer[1] T4.minTokensInt (380) [DISC] (1) Boolean[1] T3.inPlaces.fire = {T3.fire} (381) [DISC] (1) Boolean[1] T7.inPlaces.disTransition = {true for $i1 in 1:1} (382) [DISC] (1) protected Integer[1] T5.testValueInt (383) [DISC] (1) Boolean[1] T1.inPlaces.tokenInOut (384) [ALGB] (1) Real[1] T4.inPlaces.arcWeight = {T4.arcWeightIn[1]} (385) [DISC] (1) protected Boolean[1] T8.enableIn (386) [DISC] (1) Boolean T4.active (387) [DISS] (1) protected Boolean T1.ani (388) [ALGB] (1) Real[1] T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} (389) [DISC] (1) protected Boolean[1] T6.activation.disPlaceIn = T6.disPlaceIn (390) [ALGB] (1) protected Real[1] T4.testValue (391) [DISC] (1) Integer[1] T5.inPlaces.minTokensint = {T5.minTokensInt[1]} (392) [DISC] (1) protected Integer P1.enableOut.nTAout (393) [ALGB] (1) Real[1] T8.inPlaces.arcWeight = {T8.arcWeightIn[1]} (394) [ALGB] (1) Real[1] T2.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (395) [DISC] (1) Integer[1] T8.inPlaces.tint = {T8.tIntIn[1]} (396) [DISC] (1) protected Integer[1] T6.arcWeightIntIn (397) [DISC] (8) Integer[8] P1.outTransition.minTokensint = {1 for $i1 in 1:8} (398) [ALGB] (1) Real[1] T8.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (399) [DISC] (8) Boolean[8] $SEV_285[$i1] (400) [DISC] (1) protected Boolean T5.activation.active (401) [ALGB] (1) Real[1] T3.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (402) [DISC] (1) Boolean[1] T7.inPlaces.active = {T7.delayPassed} (403) [DISC] (1) Boolean T1.active (404) [DISC] (1) Boolean[1] T4.inPlaces.disPlace = {T4.disPlaceIn[1]} (405) [DISC] (1) protected Boolean[1] T6.normalArc (406) [DISC] (1) Boolean[1] T5.inPlaces.active = {T5.delayPassed} (407) [ALGB] (1) Real[1] T2.inPlaces.testValue = {T2.testValue[1]} (408) [DISS] (1) protected Real T8.firingTime (409) [DISC] (1) Boolean[1] $SEV_268[$i1] (410) [DISS] (1) protected Real T5.firingTime (411) [DISC] (8) protected Boolean[8] P1.enableOut.disTAout (fixed = {true for $i1 in 1:8}, start = {false for $i1 in 1:8}) (412) [DISC] (1) Boolean[1] T7.inPlaces.normalArc = {T7.normalArc[1]} (413) [ALGB] (1) Real[1] T8.inPlaces.testValue = {T8.testValue[1]} (414) [DISC] (1) Boolean[1] $SEV_258[$i1] (415) [DISS] (1) protected Real T2.firingTime (416) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T6.inPlaces.arcType = {T6.arcType[1]} (417) [DISC] (1) protected Integer[1] T5.activation.testValueInt = T5.testValueInt (418) [DISC] (1) Integer[1] T1.inPlaces.minTokensint = {T1.minTokensInt[1]} (419) [ALGB] (1) protected Real[1] T8.minTokens (420) [DISC] (1) Boolean[1] $SEV_248[$i1] (421) [ALGB] (8) protected Real[8] P1.prelimSpeedOut (422) [DISC] (1) Boolean[1] T6.inPlaces.fire = {T6.fire} (423) [DISC] (1) Boolean[1] T8.inPlaces.disPlace = {T8.disPlaceIn[1]} (424) [DISC] (1) protected Integer[1] T2.arcWeightIntIn (425) [ALGB] (1) Real[1] T7.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (426) [DISC] (1) Boolean[1] $SEV_238[$i1] (427) [ALGB] (1) Real[1] T2.inPlaces.minTokens = {T2.minTokens[1]} (428) [DISS] (1) protected Real T5.fireTime (429) [DISC] (8) protected Integer[8] P1.enableOut.enablingPrio = P1.enablingPrioOut (430) [ALGB] (1) Real[1] T3.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (431) [ALGB] (1) protected Real[1] T6.activation.minTokens = T6.minTokens (432) [DISC] (1) protected Integer[1] T6.activation.testValueInt = T6.testValueInt (433) [ALGB] (1) Real[1] T8.inPlaces.minTokens = {T8.minTokens[1]} (434) [DISC] (1) protected Boolean[1] T1.enableIn (435) [ALGB] (8) protected Real[8] P1.firingSumOut.vec1 (436) [DISC] (1) protected Boolean T6.activation.active (437) [ALGB] (8) protected Real[8] P1.firingSumOut.vec2 (438) [DISC] (1) Integer[1] T8.inPlaces.minTokensint = {T8.minTokensInt[1]} (439) [DISC] (1) protected Integer P1.enableOut.posTE (440) [DISC] (1) protected Integer P1.enableOut.k (441) [ALGB] (1) Real[1] T3.inPlaces.decreasingFactor (442) [DISC] (1) protected Integer[1] T1.arcWeightIntIn (443) [DISC] (1) protected Integer[1] T3.minTokensInt (444) [ALGB] (1) Real P1.pc_t = P1.pc_t (445) [ALGB] (1) protected Real[1] T8.testValue (446) [DISC] (1) protected Integer[1] T7.arcWeightIntIn (447) [DISC] (8) protected Boolean[8] P1.disMarksOut.vec = P1.fireOut and P1.disTransitionOut (448) [DISC] (1) protected Boolean[1] T4.activation.normalArc = T4.normalArc (449) [DISC] (1) Boolean[1] T3.inPlaces.normalArc = {T3.normalArc[1]} (450) [DISC] (1) protected Integer[1] T4.testValueInt (451) [DISC] (1) Integer[1] T4.inPlaces.tint = {T4.tIntIn[1]} (452) [DISC] (8) protected Boolean[8] P1.fireOut (fixed = {true for $i1 in 1:8}, start = {false for $i1 in 1:8}) (453) [ALGB] (1) Real[1] T6.inPlaces.t = {T6.tIn[1]} (454) [ALGB] (1) protected Real[1] T6.activation.testValue = T6.testValue (455) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T7.arcType (456) [ALGB] (1) Real[1] T5.inPlaces.decreasingFactor (457) [ALGB] (1) protected Real[1] T5.activation.testValue = T5.testValue (458) [DISC] (1) Boolean[1] T2.inPlaces.active = {T2.delayPassed} (459) [ALGB] (1) Real[1] T3.inPlaces.t = {T3.tIn[1]} (460) [DISC] (1) Integer $FUN_9 (461) [DISC] (8) Boolean[8] $FUN_8 (462) [DISC] (1) protected Boolean[1] T1.normalArc (463) [ALGB] (1) Real $FUN_7 (464) [DISC] (8) Boolean[8] $FUN_6 (465) [ALGB] (8) Real[8] $FUN_5 (466) [DISC] (1) protected Boolean[1] T7.enableIn (467) [ALGB] (0) Real[0] $FUN_4 (468) [ALGB] (1) Real[1] T2.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (469) [DISC] (1) Integer[1] T5.inPlaces.testValueint = {T5.testValueInt[1]} (470) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T4.activation.arcType = T4.arcType (471) [DISC] (1) protected Integer[1] T6.tIntIn (472) [DISC] (1) protected Boolean[1] T7.activation.normalArc = T7.normalArc (473) [DISC] (1) Boolean T6.fire (474) [DISC] (1) Boolean T3.fire (475) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.activation.arcType = T2.arcType (476) [DISC] (8) Integer[8] P1.outTransition.testValueint = {-1 for $i1 in 1:8} (477) [DISC] (1) protected Integer[1] T2.activation.arcWeightIntIn = T2.arcWeightIntIn (478) [ALGB] (1) protected Real[1] T5.activation.minTokens = T5.minTokens (479) [DISC] (1) protected Integer[1] T5.activation.tIntIn = T5.tIntIn (480) [ALGB] (1) Real[1] T2.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (481) [DISC] (4) protected Integer[4] P1.enableOut.state128 (482) [DISC] (1) protected Integer[1] T4.activation.arcWeightIntIn = T4.arcWeightIntIn (483) [ALGB] (1) protected Real[1] T3.minTokens (484) [DISC] (1) protected Integer[1] T8.activation.tIntIn = T8.tIntIn (485) [ALGB] (1) protected Real T7.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (486) [DISC] (1) protected Boolean P1.disMarksInOut (fixed = true, start = false) (487) [DISC] (1) protected Integer[1] T3.tIntIn (488) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T5.inPlaces.arcType = {T5.arcType[1]} (489) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.inPlaces.arcType = {T3.arcType[1]} (490) [DISC] (1) Boolean[1] T8.inPlaces.tokenInOut (491) [DISC] (1) protected Boolean[1] T6.disPlaceIn (492) [DISC] (1) Boolean[1] T3.inPlaces.active = {T3.delayPassed} (493) [ALGB] (1) protected Real[1] T5.activation.arcWeightIn = T5.arcWeightIn (494) [DISC] (1) protected Integer[1] T5.arcWeightIntIn (495) [ALGB] (8) protected Real[8] P1.enableOut.arcWeight = P1.arcWeightOut (496) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T7.inPlaces.arcType = {T7.arcType[1]} (497) [DISC] (1) protected Boolean[1] T3.disPlaceIn (498) [ALGB] (8) protected Real[8] P1.instSpeedOut (499) [DISC] (1) Integer[1] T4.inPlaces.arcWeightint = {T4.arcWeightIntIn[1]} (500) [ALGB] (1) Real[1] T7.inPlaces.decreasingFactor (501) [ALGB] (1) protected Real[1] T3.testValue (502) [ALGB] (1) protected Real[1] T1.activation.minTokens = T1.minTokens (503) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T8.activation.arcType = T8.arcType (504) [DISC] (1) Boolean[1] T6.inPlaces.tokenInOut (505) [ALGB] (1) protected Real T4.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (506) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.arcType (507) [ALGB] (1) Real[1] T6.inPlaces.minTokens = {T6.minTokens[1]} (508) [DISC] (8) Boolean[8] P1.outTransition.fire = {P1.fireOut[$outTransition1] for $outTransition1 in 1:8} (509) [ALGB] (1) Real[1] T8.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (510) [DISC] (1) protected Boolean[1] T3.activation.normalArc = T3.normalArc (511) [DISC] (8) Boolean[8] P1.outTransition.tokenInOut = {pre(P1.disMarksInOut) for $outTransition1 in 1:8} (512) [DISS] (1) protected Real T4.fireTime (513) [DISC] (1) protected Integer[1] T2.minTokensInt (514) [DISC] (1) protected Boolean[1] T2.activation.disPlaceIn = T2.disPlaceIn (515) [ALGB] (8) Real[8] P1.outTransition.decreasingFactor = {P1.decFactorOut[$outTransition1] for $outTransition1 in 1:8} (516) [DISC] (1) Integer[1] T8.inPlaces.testValueint = {T8.testValueInt[1]} (517) [DISC] (8) protected Integer[8] P1.enableOut.remTAout (fixed = {true for $i1 in 1:8}, start = {0 for $i1 in 1:8}) (518) [DISC] (1) protected Boolean T3.activation.active (519) [DISC] (1) protected Integer P1.emptying.numtrue (520) [DISC] (1) protected Integer[1] T3.testValueInt (521) [ALGB] (1) protected Real[1] T6.activation.arcWeightIn = T6.arcWeightIn (522) [DISC] (1) protected Boolean[1] T5.normalArc (523) [ALGB] (1) protected Real[1] T1.activation.testValue = T1.testValue (524) [ALGB] (1) protected Real T1.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (525) [ALGB] (1) Real[1] T6.inPlaces.testValue = {T6.testValue[1]} (526) [DISC] (8) Boolean[8] P1.outTransition.enable = {P1.enableOut.TEout_[$outTransition1] for $outTransition1 in 1:8} (527) [DISC] (1) protected Boolean[1] T8.activation.normalArc = T8.normalArc (528) [ALGB] (1) protected Real[1] T7.tIn (529) [DISC] (1) protected Boolean[1] T3.activation.disPlaceIn = T3.disPlaceIn (530) [DISC] (1) Boolean[1] T5.inPlaces.disPlace = {T5.disPlaceIn[1]} (531) [ALGB] (8) Real[8] P1.outTransition.prelimSpeed = {P1.prelimSpeedOut[$outTransition1] for $outTransition1 in 1:8} (532) [ALGB] (1) protected Real[1] T7.minTokens (533) [ALGB] (1) protected Real[1] T8.activation.arcWeightIn = T8.arcWeightIn (534) [ALGB] (1) Real[1] T6.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (535) [ALGB] (1) Real[1] T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} (536) [DISC] (1) Boolean T6.active (537) [ALGB] (1) protected Real[1] T1.activation.tIn = T1.tIn (538) [DISC] (1) protected Boolean[1] T2.activation.normalArc = T2.normalArc (539) [DISC] (1) protected Boolean[1] T6.enableIn (540) [ALGB] (1) protected Real[1] T7.activation.arcWeightIn = T7.arcWeightIn (541) [DISC] (1) protected Integer[1] T1.activation.tIntIn = T1.tIntIn (542) [ALGB] (1) Real[1] T7.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (543) [DISC] (1) Boolean[1] T6.inPlaces.enable = {T6.enableIn[1]} (544) [DISC] (1) protected Integer[1] T8.arcWeightIntIn (545) [DISC] (1) protected Boolean P1.enableOut.delayPassed = P1.enableOut.delayPassed (546) [DISC] (1) Integer[1] T5.inPlaces.tint = {T5.tIntIn[1]} (547) [ALGB] (1) Real[1] T6.inPlaces.arcWeight = {T6.arcWeightIn[1]} (548) [ALGB] (1) Real[1] T1.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (549) [DISC] (1) Integer[1] T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} (550) [DISS] (1) protected Boolean T8.ani (551) [DISC] (1) Boolean[1] T2.inPlaces.tokenInOut (552) [ALGB] (1) Real[1] T6.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (553) [DISC] (1) protected discrete Real P1.enableOut.arcWeightSum (554) [DISC] (1) protected Boolean T8.activation.active (555) [ALGB] (1) protected Real[1] T5.tIn System Equations (591/956) **************************** (1) [ARRY] (3) T6.color = if $SEV_250 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_53) (2) [WHEN] (1)when T6.fire then (2) [----] T6.ani := true (2) [----] end when; (3) [WHEN] (1)when T6.fire then (3) [----] T6.fireTime := time (3) [----] end when; (4) [SCAL] (1) T6.delayPassed = $SEV_251 ($RES_SIM_57) (5) [WHEN] (1)when T6.active then (5) [----] T6.firingTime := time + T6.delay_ (5) [----] end when; (6) [SCAL] (1) T6.active = $SEV_252 ($RES_SIM_59) (7) [SCAL] (1) T1.arcWeightIn[1] = 1.0 ($RES_BND_401) (8) [SCAL] (1) T1.inPlaces[1].maxSpeed = 0.0 ($RES_BND_403) (9) [SCAL] (1) T1.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_404) (10) [SCAL] (1) T1.inPlaces[1].instSpeed = 0.0 ($RES_BND_405) (11) [SCAL] (1) T1.inPlaces[1].disTransition = true ($RES_BND_406) (12) [ARRY] (1) T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} ($RES_BND_407) (13) [ARRY] (1) T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} ($RES_BND_408) (14) [ARRY] (1) T1.inPlaces.fire = {T1.fire} ($RES_BND_409) (15) [-IF-] (1)if T5.disPlaceIn[1] then (15) [----] [SCAL] (1) T5.arcWeightIntIn[1] = integer(T5.arcWeightIn[1]) ($RES_SIM_61) (15) [----] else (15) [----] [SCAL] (1) T5.arcWeightIntIn[1] = 1 ($RES_SIM_62) (15) [----] end if; (16) [ARRY] (3) T5.color = if $SEV_255 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_67) (17) [WHEN] (1)when T5.fire then (17) [----] T5.fireTime := time (17) [----] end when; (18) [WHEN] (1)when T5.fire then (18) [----] T5.ani := true (18) [----] end when; (19) [ARRY] (1) T1.inPlaces.active = {T1.delayPassed} ($RES_BND_410) (20) [ARRY] (1) T1.inPlaces.normalArc = {T1.normalArc[1]} ($RES_BND_411) (21) [ARRY] (1) T1.inPlaces.testValueint = {T1.testValueInt[1]} ($RES_BND_412) (22) [ARRY] (1) T1.inPlaces.testValue = {T1.testValue[1]} ($RES_BND_413) (23) [ARRY] (1) T1.inPlaces.arcType = {T1.arcType[1]} ($RES_BND_414) (24) [ARRY] (1) T1.inPlaces.disPlace = {T1.disPlaceIn[1]} ($RES_BND_415) (25) [ARRY] (1) T1.inPlaces.enable = {T1.enableIn[1]} ($RES_BND_416) (26) [ARRY] (1) T3.activation.tIn = T3.tIn ($RES_BND_500) (27) [ARRY] (1) T1.inPlaces.minTokensint = {T1.minTokensInt[1]} ($RES_BND_417) (28) [ARRY] (1) T3.activation.tIntIn = T3.tIntIn ($RES_BND_501) (29) [ARRY] (1) T1.inPlaces.minTokens = {T1.minTokens[1]} ($RES_BND_418) (30) [ARRY] (1) T3.activation.arcType = T3.arcType ($RES_BND_502) (31) [ARRY] (1) T1.inPlaces.tint = {T1.tIntIn[1]} ($RES_BND_419) (32) [ARRY] (1) T3.activation.arcWeightIn = T3.arcWeightIn ($RES_BND_503) (33) [ARRY] (1) T3.activation.arcWeightIntIn = T3.arcWeightIntIn ($RES_BND_504) (34) [ARRY] (1) T3.activation.minTokens = T3.minTokens ($RES_BND_505) (35) [ARRY] (1) T3.activation.minTokensInt = T3.minTokensInt ($RES_BND_506) (36) [ARRY] (1) T3.activation.disPlaceIn = T3.disPlaceIn ($RES_BND_508) (37) [SCAL] (1) T5.delayPassed = $SEV_256 ($RES_SIM_71) (38) [ARRY] (1) T3.activation.normalArc = T3.normalArc ($RES_BND_509) (39) [WHEN] (1)when T5.active then (39) [----] T5.firingTime := time + T5.delay_ (39) [----] end when; (40) [SCAL] (1) T5.active = $SEV_257 ($RES_SIM_73) (41) [-IF-] (1)if T4.disPlaceIn[1] then (41) [----] [SCAL] (1) T4.arcWeightIntIn[1] = integer(T4.arcWeightIn[1]) ($RES_SIM_75) (41) [----] else (41) [----] [SCAL] (1) T4.arcWeightIntIn[1] = 1 ($RES_SIM_76) (41) [----] end if; (42) [ARRY] (1) T1.inPlaces.t = {T1.tIn[1]} ($RES_BND_420) (43) [FOR-] (8) ($RES_BND_337) (43) [----] for $i1 in 1:8 loop (43) [----] [SCAL] (1) P1.outTransition[$i1].normalArc = false ($RES_BND_338) (43) [----] end for; (44) [FOR-] (8) ($RES_BND_339) (44) [----] for $i1 in 1:8 loop (44) [----] [SCAL] (1) P1.outTransition[$i1].testValueint = -1 ($RES_BND_340) (44) [----] end for; (45) [SCAL] (1) T1.delay_ = 1.0 ($RES_BND_423) (46) [ARRY] (1) T1.activation.tIn = T1.tIn ($RES_BND_424) (47) [ARRY] (1) T1.activation.tIntIn = T1.tIntIn ($RES_BND_425) (48) [ARRY] (1) T1.activation.arcType = T1.arcType ($RES_BND_426) (49) [ARRY] (1) T3.activation.testValue = T3.testValue ($RES_BND_510) (50) [ARRY] (1) T1.activation.arcWeightIn = T1.arcWeightIn ($RES_BND_427) (51) [ARRY] (1) T3.activation.testValueInt = T3.testValueInt ($RES_BND_511) (52) [ARRY] (1) T1.activation.arcWeightIntIn = T1.arcWeightIntIn ($RES_BND_428) (53) [ARRY] (1) T1.activation.minTokens = T1.minTokens ($RES_BND_429) (54) [SCAL] (1) T4.arcWeightIn[1] = 1.0 ($RES_BND_515) (55) [ARRY] (1) T6.inPlaces.active = {T6.delayPassed} ($RES_BND_600) (56) [SCAL] (1) T4.inPlaces[1].maxSpeed = 0.0 ($RES_BND_517) (57) [ARRY] (1) T6.inPlaces.normalArc = {T6.normalArc[1]} ($RES_BND_601) (58) [SCAL] (1) T4.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_518) (59) [ARRY] (3) T4.color = if $SEV_260 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_81) (60) [ARRY] (1) T6.inPlaces.testValueint = {T6.testValueInt[1]} ($RES_BND_602) (61) [SCAL] (1) T4.inPlaces[1].instSpeed = 0.0 ($RES_BND_519) (62) [WHEN] (1)when T4.fire then (62) [----] T4.ani := true (62) [----] end when; (63) [ARRY] (1) T6.inPlaces.testValue = {T6.testValue[1]} ($RES_BND_603) (64) [WHEN] (1)when T4.fire then (64) [----] T4.fireTime := time (64) [----] end when; (65) [ARRY] (1) T6.inPlaces.arcType = {T6.arcType[1]} ($RES_BND_604) (66) [ARRY] (1) T6.inPlaces.disPlace = {T6.disPlaceIn[1]} ($RES_BND_605) (67) [SCAL] (1) T4.delayPassed = $SEV_261 ($RES_SIM_85) (68) [ARRY] (1) T6.inPlaces.enable = {T6.enableIn[1]} ($RES_BND_606) (69) [WHEN] (1)when T4.active then (69) [----] T4.firingTime := time + T4.delay_ (69) [----] end when; (70) [ARRY] (1) T6.inPlaces.minTokensint = {T6.minTokensInt[1]} ($RES_BND_607) (71) [SCAL] (1) T4.active = $SEV_262 ($RES_SIM_87) (72) [ARRY] (1) T6.inPlaces.minTokens = {T6.minTokens[1]} ($RES_BND_608) (73) [-IF-] (1)if T3.disPlaceIn[1] then (73) [----] [SCAL] (1) T3.arcWeightIntIn[1] = integer(T3.arcWeightIn[1]) ($RES_SIM_89) (73) [----] else (73) [----] [SCAL] (1) T3.arcWeightIntIn[1] = 1 ($RES_SIM_90) (73) [----] end if; (74) [ARRY] (1) T6.inPlaces.tint = {T6.tIntIn[1]} ($RES_BND_609) (75) [FOR-] (8) ($RES_BND_341) (75) [----] for $i1 in 1:8 loop (75) [----] [SCAL] (1) P1.outTransition[$i1].testValue = -1.0 ($RES_BND_342) (75) [----] end for; (76) [FOR-] (8) ($RES_BND_343) (76) [----] for $i1 in 1:8 loop (76) [----] [SCAL] (1) P1.outTransition[$i1].tokenInOut = $TEV_2 ($RES_BND_344) (76) [----] end for; (77) [ARRY] (1) T1.activation.minTokensInt = T1.minTokensInt ($RES_BND_430) (78) [ARRY] (1) T1.activation.disPlaceIn = T1.disPlaceIn ($RES_BND_432) (79) [FOR-] (8) ($RES_BND_349) (79) [----] for $i1 in 1:8 loop (79) [----] [SCAL] (1) P1.outTransition[$i1].arcType = PNlib.Types.ArcType.NormalArc ($RES_BND_350) (79) [----] end for; (80) [ARRY] (1) T1.activation.normalArc = T1.normalArc ($RES_BND_433) (81) [ARRY] (1) T1.activation.testValue = T1.testValue ($RES_BND_434) (82) [ARRY] (1) T1.activation.testValueInt = T1.testValueInt ($RES_BND_435) (83) [SCAL] (1) T4.inPlaces[1].disTransition = true ($RES_BND_520) (84) [ARRY] (1) T4.inPlaces.arcWeightint = {T4.arcWeightIntIn[1]} ($RES_BND_521) (85) [ARRY] (1) T4.inPlaces.arcWeight = {T4.arcWeightIn[1]} ($RES_BND_522) (86) [SCAL] (1) T2.arcWeightIn[1] = 1.0 ($RES_BND_439) (87) [ARRY] (1) T4.inPlaces.fire = {T4.fire} ($RES_BND_523) (88) [ARRY] (1) T4.inPlaces.active = {T4.delayPassed} ($RES_BND_524) (89) [ARRY] (1) T4.inPlaces.normalArc = {T4.normalArc[1]} ($RES_BND_525) (90) [ARRY] (1) T4.inPlaces.testValueint = {T4.testValueInt[1]} ($RES_BND_526) (91) [ARRY] (1) T6.inPlaces.t = {T6.tIn[1]} ($RES_BND_610) (92) [ARRY] (1) T4.inPlaces.testValue = {T4.testValue[1]} ($RES_BND_527) (93) [ARRY] (1) T4.inPlaces.arcType = {T4.arcType[1]} ($RES_BND_528) (94) [ARRY] (1) T4.inPlaces.disPlace = {T4.disPlaceIn[1]} ($RES_BND_529) (95) [SCAL] (1) T6.delay_ = 1.0 ($RES_BND_613) (96) [ARRY] (1) T6.activation.tIn = T6.tIn ($RES_BND_614) (97) [ARRY] (1) T6.activation.tIntIn = T6.tIntIn ($RES_BND_615) (98) [ARRY] (3) T3.color = if $SEV_265 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_95) (99) [ARRY] (1) T6.activation.arcType = T6.arcType ($RES_BND_616) (100) [WHEN] (1)when T3.fire then (100) [----] T3.fireTime := time (100) [----] end when; (101) [ARRY] (1) T8.activation.testValue = T8.testValue ($RES_BND_700) (102) [ARRY] (1) T6.activation.arcWeightIn = T6.arcWeightIn ($RES_BND_617) (103) [WHEN] (1)when T3.fire then (103) [----] T3.ani := true (103) [----] end when; (104) [ARRY] (1) T8.activation.testValueInt = T8.testValueInt ($RES_BND_701) (105) [ARRY] (1) T6.activation.arcWeightIntIn = T6.arcWeightIntIn ($RES_BND_618) (106) [ARRY] (1) T6.activation.minTokens = T6.minTokens ($RES_BND_619) (107) [SCAL] (1) T3.delayPassed = $SEV_266 ($RES_SIM_99) (108) [FOR-] (8) ($RES_BND_351) (108) [----] for $i1 in 1:8 loop (108) [----] [SCAL] (1) P1.outTransition[$i1].disPlace = false ($RES_BND_352) (108) [----] end for; (109) [FOR-] (8) ($RES_BND_353) (109) [----] for $i1 in 1:8 loop (109) [----] [SCAL] (1) P1.outTransition[$i1].decreasingFactor = P1.decFactorOut[$i1] ($RES_BND_354) (109) [----] end for; (110) [WHEN] (1)when T3.active then (110) [----] T3.firingTime := time + T3.delay_ (110) [----] end when; (111) [FOR-] (8) ($RES_BND_355) (111) [----] for $i1 in 1:8 loop (111) [----] [SCAL] (1) P1.outTransition[$i1].enable = P1.enableOut.TEout_[$i1] ($RES_BND_356) (111) [----] end for; (112) [SCAL] (1) T3.active = $SEV_267 ($RES_SIM_101) (113) [-IF-] (1)if T2.disPlaceIn[1] then (113) [----] [SCAL] (1) T2.arcWeightIntIn[1] = integer(T2.arcWeightIn[1]) ($RES_SIM_103) (113) [----] else (113) [----] [SCAL] (1) T2.arcWeightIntIn[1] = 1 ($RES_SIM_104) (113) [----] end if; (114) [FOR-] (8) ($RES_BND_357) (114) [----] for $i1 in 1:8 loop (114) [----] [SCAL] (1) P1.outTransition[$i1].minTokensint = 1 ($RES_BND_358) (114) [----] end for; (115) [SCAL] (1) T2.inPlaces[1].maxSpeed = 0.0 ($RES_BND_441) (116) [SCAL] (1) T2.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_442) (117) [FOR-] (8) ($RES_BND_359) (117) [----] for $i1 in 1:8 loop (117) [----] [SCAL] (1) P1.outTransition[$i1].minTokens = P1.minMarks ($RES_BND_360) (117) [----] end for; (118) [SCAL] (1) T2.inPlaces[1].instSpeed = 0.0 ($RES_BND_443) (119) [SCAL] (1) T2.inPlaces[1].disTransition = true ($RES_BND_444) (120) [ARRY] (1) T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} ($RES_BND_445) (121) [ARRY] (1) T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} ($RES_BND_446) (122) [ARRY] (3) T2.color = if $SEV_270 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_109) (123) [ARRY] (1) T4.inPlaces.enable = {T4.enableIn[1]} ($RES_BND_530) (124) [ARRY] (1) T2.inPlaces.fire = {T2.fire} ($RES_BND_447) (125) [ARRY] (1) T4.inPlaces.minTokensint = {T4.minTokensInt[1]} ($RES_BND_531) (126) [ARRY] (1) T2.inPlaces.active = {T2.delayPassed} ($RES_BND_448) (127) [ARRY] (1) T4.inPlaces.minTokens = {T4.minTokens[1]} ($RES_BND_532) (128) [ARRY] (1) T2.inPlaces.normalArc = {T2.normalArc[1]} ($RES_BND_449) (129) [ARRY] (1) T4.inPlaces.tint = {T4.tIntIn[1]} ($RES_BND_533) (130) [ARRY] (1) T4.inPlaces.t = {T4.tIn[1]} ($RES_BND_534) (131) [ARRY] (1) T6.activation.minTokensInt = T6.minTokensInt ($RES_BND_620) (132) [SCAL] (1) T4.delay_ = 1.0 ($RES_BND_537) (133) [ARRY] (1) T4.activation.tIn = T4.tIn ($RES_BND_538) (134) [ARRY] (1) T6.activation.disPlaceIn = T6.disPlaceIn ($RES_BND_622) (135) [ARRY] (1) T4.activation.tIntIn = T4.tIntIn ($RES_BND_539) (136) [ARRY] (1) T6.activation.normalArc = T6.normalArc ($RES_BND_623) (137) [ARRY] (1) T6.activation.testValue = T6.testValue ($RES_BND_624) (138) [ARRY] (1) T6.activation.testValueInt = T6.testValueInt ($RES_BND_625) (139) [SCAL] (1) T7.arcWeightIn[1] = 1.0 ($RES_BND_629) (140) [FOR-] (8) ($RES_BND_361) (140) [----] for $i1 in 1:8 loop (140) [----] [SCAL] (1) P1.outTransition[$i1].tint = 1 ($RES_BND_362) (140) [----] end for; (141) [FOR-] (8) ($RES_BND_363) (141) [----] for $i1 in 1:8 loop (141) [----] [SCAL] (1) P1.outTransition[$i1].t = P1.t_ ($RES_BND_364) (141) [----] end for; (142) [WHEN] (1)when T2.fire then (142) [----] T2.fireTime := time (142) [----] end when; (143) [FOR-] (8) ($RES_BND_365) (143) [----] for $i1 in 1:8 loop (143) [----] [SCAL] (1) P1.outTransition[$i1].maxSpeed = P1.maxSpeedOut[$i1] ($RES_BND_366) (143) [----] end for; (144) [WHEN] (1)when T2.fire then (144) [----] T2.ani := true (144) [----] end when; (145) [ARRY] (1) T2.inPlaces.testValueint = {T2.testValueInt[1]} ($RES_BND_450) (146) [FOR-] (8) ($RES_BND_367) (146) [----] for $i1 in 1:8 loop (146) [----] [SCAL] (1) P1.outTransition[$i1].prelimSpeed = P1.prelimSpeedOut[$i1] ($RES_BND_368) (146) [----] end for; (147) [SCAL] (1) T2.delayPassed = $SEV_271 ($RES_SIM_113) (148) [ARRY] (1) T2.inPlaces.testValue = {T2.testValue[1]} ($RES_BND_451) (149) [WHEN] (1)when T2.active then (149) [----] T2.firingTime := time + T2.delay_ (149) [----] end when; (150) [ARRY] (1) T2.inPlaces.arcType = {T2.arcType[1]} ($RES_BND_452) (151) [FOR-] (8) ($RES_BND_369) (151) [----] for $i1 in 1:8 loop (151) [----] [SCAL] (1) P1.outTransition[$i1].instSpeed = P1.instSpeedOut[$i1] ($RES_BND_370) (151) [----] end for; (152) [SCAL] (1) T2.active = $SEV_272 ($RES_SIM_115) (153) [ARRY] (1) T2.inPlaces.disPlace = {T2.disPlaceIn[1]} ($RES_BND_453) (154) [-IF-] (1)if T1.disPlaceIn[1] then (154) [----] [SCAL] (1) T1.arcWeightIntIn[1] = integer(T1.arcWeightIn[1]) ($RES_SIM_117) (154) [----] else (154) [----] [SCAL] (1) T1.arcWeightIntIn[1] = 1 ($RES_SIM_118) (154) [----] end if; (155) [ARRY] (1) T2.inPlaces.enable = {T2.enableIn[1]} ($RES_BND_454) (156) [SCAL] (1) T7.inPlaces[1].active = P1.outTransition[7].active ($RES_SIM_200) (157) [ARRY] (1) T2.inPlaces.minTokensint = {T2.minTokensInt[1]} ($RES_BND_455) (158) [SCAL] (1) T6.inPlaces[1].tokenInOut = P1.outTransition[6].tokenInOut ($RES_SIM_201) (159) [ARRY] (1) T2.inPlaces.minTokens = {T2.minTokens[1]} ($RES_BND_456) (160) [SCAL] (1) T6.inPlaces[1].tint = P1.outTransition[6].tint ($RES_SIM_202) (161) [ARRY] (1) T4.activation.arcType = T4.arcType ($RES_BND_540) (162) [ARRY] (1) T2.inPlaces.tint = {T2.tIntIn[1]} ($RES_BND_457) (163) [SCAL] (1) T6.inPlaces[1].testValueint = P1.outTransition[6].testValueint ($RES_SIM_203) (164) [ARRY] (1) T4.activation.arcWeightIn = T4.arcWeightIn ($RES_BND_541) (165) [ARRY] (1) T2.inPlaces.t = {T2.tIn[1]} ($RES_BND_458) (166) [SCAL] (1) T6.inPlaces[1].testValue = P1.outTransition[6].testValue ($RES_SIM_204) (167) [ARRY] (1) T4.activation.arcWeightIntIn = T4.arcWeightIntIn ($RES_BND_542) (168) [SCAL] (1) T6.inPlaces[1].t = P1.outTransition[6].t ($RES_SIM_205) (169) [ARRY] (1) T4.activation.minTokens = T4.minTokens ($RES_BND_543) (170) [ARRY] (1) T4.activation.minTokensInt = T4.minTokensInt ($RES_BND_544) (171) [SCAL] (1) T6.inPlaces[1].prelimSpeed = P1.outTransition[6].prelimSpeed ($RES_SIM_207) (172) [SCAL] (1) T6.inPlaces[1].normalArc = P1.outTransition[6].normalArc ($RES_SIM_208) (173) [ARRY] (1) T4.activation.disPlaceIn = T4.disPlaceIn ($RES_BND_546) (174) [SCAL] (1) T6.inPlaces[1].minTokensint = P1.outTransition[6].minTokensint ($RES_SIM_209) (175) [ARRY] (1) T4.activation.normalArc = T4.normalArc ($RES_BND_547) (176) [SCAL] (1) T7.inPlaces[1].maxSpeed = 0.0 ($RES_BND_631) (177) [ARRY] (1) T4.activation.testValue = T4.testValue ($RES_BND_548) (178) [SCAL] (1) T7.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_632) (179) [ARRY] (1) T4.activation.testValueInt = T4.testValueInt ($RES_BND_549) (180) [SCAL] (1) T7.inPlaces[1].instSpeed = 0.0 ($RES_BND_633) (181) [SCAL] (1) T7.inPlaces[1].disTransition = true ($RES_BND_634) (182) [ARRY] (1) T7.inPlaces.arcWeightint = {T7.arcWeightIntIn[1]} ($RES_BND_635) (183) [ARRY] (1) T7.inPlaces.arcWeight = {T7.arcWeightIn[1]} ($RES_BND_636) (184) [ARRY] (1) T7.inPlaces.fire = {T7.fire} ($RES_BND_637) (185) [ARRY] (8) P1.decFactorOut = $FUN_5 ($RES_$AUX_725) (186) [ARRY] (1) T7.inPlaces.active = {T7.delayPassed} ($RES_BND_638) (187) [ARRY] (1) T7.inPlaces.normalArc = {T7.normalArc[1]} ($RES_BND_639) (188) [SCAL] (1) P1.firingSumOut.conFiringSum = sum(P1.firingSumOut.vec1) ($RES_$AUX_721) (189) [SCAL] (1) P1.firingSumOut.disFiringSum = sum(P1.firingSumOut.vec2) ($RES_$AUX_720) (190) [FOR-] (8) ($RES_BND_371) (190) [----] for $i1 in 1:8 loop (190) [----] [SCAL] (1) P1.outTransition[$i1].disTransition = P1.disTransitionOut[$i1] ($RES_BND_372) (190) [----] end for; (191) [FOR-] (8) ($RES_BND_373) (191) [----] for $i1 in 1:8 loop (191) [----] [SCAL] (1) P1.outTransition[$i1].arcWeight = P1.arcWeightOut[$i1] ($RES_BND_374) (191) [----] end for; (192) [FOR-] (8) ($RES_BND_375) (192) [----] for $i1 in 1:8 loop (192) [----] [SCAL] (1) P1.outTransition[$i1].fire = P1.fireOut[$i1] ($RES_BND_376) (192) [----] end for; (193) [FOR-] (8) ($RES_BND_377) (193) [----] for $i1 in 1:8 loop (193) [----] [SCAL] (1) P1.outTransition[$i1].active = P1.activeOut[$i1] ($RES_BND_378) (193) [----] end for; (194) [ARRY] (3) T1.color = if $SEV_275 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_123) (195) [SCAL] (1) T2.delay_ = 1.0 ($RES_BND_461) (196) [WHEN] (1)when T1.fire then (196) [----] T1.ani := true (196) [----] end when; (197) [ARRY] (1) T2.activation.tIn = T2.tIn ($RES_BND_462) (198) [WHEN] (1)when T1.fire then (198) [----] T1.fireTime := time (198) [----] end when; (199) [ARRY] (1) T2.activation.tIntIn = T2.tIntIn ($RES_BND_463) (200) [ARRY] (1) T2.activation.arcType = T2.arcType ($RES_BND_464) (201) [SCAL] (1) T6.inPlaces[1].minTokens = P1.outTransition[6].minTokens ($RES_SIM_210) (202) [SCAL] (1) T1.delayPassed = $SEV_276 ($RES_SIM_127) (203) [ARRY] (1) T2.activation.arcWeightIn = T2.arcWeightIn ($RES_BND_465) (204) [SCAL] (1) T6.inPlaces[1].maxSpeed = P1.outTransition[6].maxSpeed ($RES_SIM_211) (205) [WHEN] (1)when T1.active then (205) [----] T1.firingTime := time + T1.delay_ (205) [----] end when; (206) [ARRY] (1) T2.activation.arcWeightIntIn = T2.arcWeightIntIn ($RES_BND_466) (207) [SCAL] (1) T6.inPlaces[1].instSpeed = P1.outTransition[6].instSpeed ($RES_SIM_212) (208) [SCAL] (1) T1.active = $SEV_277 ($RES_SIM_129) (209) [ARRY] (1) T2.activation.minTokens = T2.minTokens ($RES_BND_467) (210) [SCAL] (1) T6.inPlaces[1].fire = P1.outTransition[6].fire ($RES_SIM_213) (211) [ARRY] (1) T2.activation.minTokensInt = T2.minTokensInt ($RES_BND_468) (212) [SCAL] (1) T6.inPlaces[1].enable = P1.outTransition[6].enable ($RES_SIM_215) (213) [SCAL] (1) T5.arcWeightIn[1] = 1.0 ($RES_BND_553) (214) [SCAL] (1) T6.inPlaces[1].disTransition = P1.outTransition[6].disTransition ($RES_SIM_216) (215) [SCAL] (1) T2.inPlaces[1].instSpeed = P1.outTransition[2].instSpeed ($RES_SIM_300) (216) [SCAL] (1) T6.inPlaces[1].disPlace = P1.outTransition[6].disPlace ($RES_SIM_217) (217) [SCAL] (1) T2.inPlaces[1].fire = P1.outTransition[2].fire ($RES_SIM_301) (218) [SCAL] (1) T6.inPlaces[1].decreasingFactor = P1.outTransition[6].decreasingFactor ($RES_SIM_218) (219) [SCAL] (1) T5.inPlaces[1].maxSpeed = 0.0 ($RES_BND_555) (220) [SCAL] (1) T6.inPlaces[1].arcWeightint = P1.outTransition[6].arcWeightint ($RES_SIM_219) (221) [SCAL] (1) T5.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_556) (222) [SCAL] (1) T2.inPlaces[1].enable = P1.outTransition[2].enable ($RES_SIM_303) (223) [ARRY] (1) T7.inPlaces.testValueint = {T7.testValueInt[1]} ($RES_BND_640) (224) [SCAL] (1) T5.inPlaces[1].instSpeed = 0.0 ($RES_BND_557) (225) [SCAL] (1) T2.inPlaces[1].disTransition = P1.outTransition[2].disTransition ($RES_SIM_304) (226) [ARRY] (1) T7.inPlaces.testValue = {T7.testValue[1]} ($RES_BND_641) (227) [SCAL] (1) T5.inPlaces[1].disTransition = true ($RES_BND_558) (228) [SCAL] (1) T2.inPlaces[1].disPlace = P1.outTransition[2].disPlace ($RES_SIM_305) (229) [ARRY] (1) T7.inPlaces.arcType = {T7.arcType[1]} ($RES_BND_642) (230) [ARRY] (1) T5.inPlaces.arcWeightint = {T5.arcWeightIntIn[1]} ($RES_BND_559) (231) [TUPL] (8) ($FUN_4, $FUN_5) = PNlib.Functions.decreasingFactor(0, 8, P1.t_, P1.minMarks, P1.maxMarks, 0.0, P1.firingSumOut.conFiringSum, {}, P1.maxSpeedOut, {}, P1.prelimSpeedOut, {}, P1.arcWeightOut, {}, $SEV_290) ($RES_$AUX_719) (232) [SCAL] (1) T2.inPlaces[1].decreasingFactor = P1.outTransition[2].decreasingFactor ($RES_SIM_306) (233) [ARRY] (1) T7.inPlaces.disPlace = {T7.disPlaceIn[1]} ($RES_BND_643) (234) [SCAL] (1) T2.inPlaces[1].arcWeightint = P1.outTransition[2].arcWeightint ($RES_SIM_307) (235) [ARRY] (1) T7.inPlaces.enable = {T7.enableIn[1]} ($RES_BND_644) (236) [ARRY] (8) $FUN_6 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableOut.TAout, P1.enableOut.disTransition) ($RES_$AUX_718) (237) [SCAL] (1) T2.inPlaces[1].arcWeight = P1.outTransition[2].arcWeight ($RES_SIM_308) (238) [ARRY] (1) T7.inPlaces.minTokensint = {T7.minTokensInt[1]} ($RES_BND_645) (239) [SCAL] (1) $FUN_7 = PNlib.Functions.OddsAndEnds.conditionalSum(P1.enableOut.arcWeight, P1.enableOut.disTAout) ($RES_$AUX_717) (240) [SCAL] (1) T2.inPlaces[1].arcType = P1.outTransition[2].arcType ($RES_SIM_309) (241) [ARRY] (1) T7.inPlaces.minTokens = {T7.minTokens[1]} ($RES_BND_646) (242) [ARRY] (8) $FUN_8 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableOut.TAout, not P1.enableOut.disTransition) ($RES_$AUX_716) (243) [ARRY] (1) T7.inPlaces.tint = {T7.tIntIn[1]} ($RES_BND_647) (244) [SCAL] (1) $FUN_9 = Modelica.Math.Vectors.find(i, P1.enableOut.enablingPrio, 0.0) ($RES_$AUX_715) (245) [ARRY] (1) T7.inPlaces.t = {T7.tIn[1]} ($RES_BND_648) (246) [SCAL] (1) $FUN_10 = sum(P1.enableOut.enablingProb[P1.enableOut.remTAout[1:P1.enableOut.nremTAout]]) ($RES_$AUX_714) (247) [TUPL] (5) ($FUN_11, $FUN_12) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_3) ($RES_$AUX_713) (248) [ARRY] (8) $FUN_13 = PNlib.Functions.OddsAndEnds.deleteElementInt(P1.enableOut.remTAout, P1.enableOut.k) ($RES_$AUX_712) (249) [SCAL] (1) T8.fire = PNlib.Functions.OddsAndEnds.allTrue(T8.enableIn) ($RES_$AUX_711) (250) [SCAL] (1) T7.fire = PNlib.Functions.OddsAndEnds.allTrue(T7.enableIn) ($RES_$AUX_710) (251) [ARRY] (8) P1.enableOut.arcWeight = P1.arcWeightOut ($RES_BND_384) (252) [ARRY] (3) P1.color = if settings.animatePlace then if $SEV_281 then {255.0, 255.0 - 2.55 * P1.tokenscale, 255.0 - 2.55 * P1.tokenscale} else {255.0, 0.0, 0.0} else {255.0, 255.0, 255.0} ($RES_SIM_133) (253) [ARRY] (1) T2.activation.disPlaceIn = T2.disPlaceIn ($RES_BND_470) (254) [ARRY] (8) P1.enableOut.TAout = P1.activeOut ($RES_BND_387) (255) [SCAL] (1) P1.tokenscale = P1.pc_t * settings.scale ($RES_SIM_134) (256) [ARRY] (1) T2.activation.normalArc = T2.normalArc ($RES_BND_471) (257) [SCAL] (1) P1.pc_t = noEvent(if $SEV_282 then P1.minMarks else if $SEV_283 then P1.maxMarks else P1.t_) ($RES_SIM_135) (258) [ARRY] (1) T2.activation.testValue = T2.testValue ($RES_BND_472) (259) [ARRY] (8) P1.enableOut.enablingPrio = P1.enablingPrioOut ($RES_BND_389) (260) [FOR-] (8) ($RES_SIM_136) (260) [----] for $i1 in 1:8 loop (260) [----] [SCAL] (1) P1.preFireOut[$i1] = if P1.disTransitionOut[$i1] then P1.fireOut[$i1] else $TEV_1 ($RES_SIM_137) (260) [----] end for; (261) [ARRY] (1) T2.activation.testValueInt = T2.testValueInt ($RES_BND_473) (262) [SCAL] (1) T6.inPlaces[1].arcWeight = P1.outTransition[6].arcWeight ($RES_SIM_220) (263) [SCAL] (1) T6.inPlaces[1].arcType = P1.outTransition[6].arcType ($RES_SIM_221) (264) [SCAL] (1) P1.levelCon = (settings.M * P1.pc_t) / P1.N ($RES_SIM_138) (265) [SCAL] (1) T6.inPlaces[1].active = P1.outTransition[6].active ($RES_SIM_222) (266) [SCAL] (1) T5.inPlaces[1].tokenInOut = P1.outTransition[5].tokenInOut ($RES_SIM_223) (267) [ARRY] (1) T5.inPlaces.arcWeight = {T5.arcWeightIn[1]} ($RES_BND_560) (268) [SCAL] (1) T3.arcWeightIn[1] = 1.0 ($RES_BND_477) (269) [SCAL] (1) T5.inPlaces[1].tint = P1.outTransition[5].tint ($RES_SIM_224) (270) [ARRY] (1) T5.inPlaces.fire = {T5.fire} ($RES_BND_561) (271) [SCAL] (1) T5.inPlaces[1].testValueint = P1.outTransition[5].testValueint ($RES_SIM_225) (272) [ARRY] (1) T5.inPlaces.active = {T5.delayPassed} ($RES_BND_562) (273) [SCAL] (1) T3.inPlaces[1].maxSpeed = 0.0 ($RES_BND_479) (274) [SCAL] (1) T5.inPlaces[1].testValue = P1.outTransition[5].testValue ($RES_SIM_226) (275) [ARRY] (1) T5.inPlaces.normalArc = {T5.normalArc[1]} ($RES_BND_563) (276) [SCAL] (1) T2.inPlaces[1].active = P1.outTransition[2].active ($RES_SIM_310) (277) [SCAL] (1) T5.inPlaces[1].t = P1.outTransition[5].t ($RES_SIM_227) (278) [ARRY] (1) T5.inPlaces.testValueint = {T5.testValueInt[1]} ($RES_BND_564) (279) [SCAL] (1) P1.outTransition[1].tokenInOut = T1.inPlaces[1].tokenInOut ($RES_SIM_311) (280) [ARRY] (1) T5.inPlaces.testValue = {T5.testValue[1]} ($RES_BND_565) (281) [SCAL] (1) P1.outTransition[1].tint = T1.inPlaces[1].tint ($RES_SIM_312) (282) [SCAL] (1) T5.inPlaces[1].prelimSpeed = P1.outTransition[5].prelimSpeed ($RES_SIM_229) (283) [ARRY] (1) T5.inPlaces.arcType = {T5.arcType[1]} ($RES_BND_566) (284) [SCAL] (1) P1.outTransition[1].testValueint = T1.inPlaces[1].testValueint ($RES_SIM_313) (285) [ARRY] (1) T5.inPlaces.disPlace = {T5.disPlaceIn[1]} ($RES_BND_567) (286) [SCAL] (1) P1.outTransition[1].testValue = T1.inPlaces[1].testValue ($RES_SIM_314) (287) [SCAL] (1) T7.delay_ = 1.0 ($RES_BND_651) (288) [ARRY] (1) T5.inPlaces.enable = {T5.enableIn[1]} ($RES_BND_568) (289) [SCAL] (1) P1.outTransition[1].t = T1.inPlaces[1].t ($RES_SIM_315) (290) [ARRY] (1) T7.activation.tIn = T7.tIn ($RES_BND_652) (291) [ARRY] (1) T5.inPlaces.minTokensint = {T5.minTokensInt[1]} ($RES_BND_569) (292) [ARRY] (1) T7.activation.tIntIn = T7.tIntIn ($RES_BND_653) (293) [SCAL] (1) T6.fire = PNlib.Functions.OddsAndEnds.allTrue(T6.enableIn) ($RES_$AUX_709) (294) [SCAL] (1) P1.outTransition[1].prelimSpeed = T1.inPlaces[1].prelimSpeed ($RES_SIM_317) (295) [ARRY] (1) T7.activation.arcType = T7.arcType ($RES_BND_654) (296) [SCAL] (1) T5.fire = PNlib.Functions.OddsAndEnds.allTrue(T5.enableIn) ($RES_$AUX_708) (297) [SCAL] (1) P1.outTransition[1].normalArc = T1.inPlaces[1].normalArc ($RES_SIM_318) (298) [ARRY] (1) T7.activation.arcWeightIn = T7.arcWeightIn ($RES_BND_655) (299) [SCAL] (1) T4.fire = PNlib.Functions.OddsAndEnds.allTrue(T4.enableIn) ($RES_$AUX_707) (300) [SCAL] (1) P1.outTransition[1].minTokensint = T1.inPlaces[1].minTokensint ($RES_SIM_319) (301) [ARRY] (1) T7.activation.arcWeightIntIn = T7.arcWeightIntIn ($RES_BND_656) (302) [SCAL] (1) T3.fire = PNlib.Functions.OddsAndEnds.allTrue(T3.enableIn) ($RES_$AUX_706) (303) [ARRY] (1) T7.activation.minTokens = T7.minTokens ($RES_BND_657) (304) [SCAL] (1) T2.fire = PNlib.Functions.OddsAndEnds.allTrue(T2.enableIn) ($RES_$AUX_705) (305) [ARRY] (1) T7.activation.minTokensInt = T7.minTokensInt ($RES_BND_658) (306) [SCAL] (1) T1.fire = PNlib.Functions.OddsAndEnds.allTrue(T1.enableIn) ($RES_$AUX_704) (307) [ARRY] (8) P1.enableOut.enablingProb = P1.enablingProbOut ($RES_BND_390) (308) [ARRY] (8) P1.enableOut.disTransition = P1.disTransitionOut ($RES_BND_391) (309) [ARRY] (8) P1.delayPassedOut.vec = $SEV_289 ($RES_BND_393) (310) [SCAL] (1) P1.disMarksInOut = $SEV_284 ($RES_SIM_140) (311) [ARRY] (8) P1.disMarksOut.vec = $SEV_288 ($RES_BND_394) (312) [SCAL] (1) P1.disMarkChange = -P1.firingSumOut.disFiringSum ($RES_SIM_141) (313) [ARRY] (8) P1.emptying.vec = $SEV_287 ($RES_BND_395) (314) [SCAL] (1) $DER.P1.t_ = P1.conMarkChange ($RES_SIM_142) (315) [ARRY] (8) P1.firingSumOut.fire = P1.preFireOut ($RES_BND_396) (316) [SCAL] (1) P1.conMarkChange = -P1.firingSumOut.conFiringSum ($RES_SIM_143) (317) [SCAL] (1) T3.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_480) (318) [ARRY] (8) P1.firingSumOut.arcWeight = P1.arcWeightOut ($RES_BND_397) (319) [SCAL] (1) T3.inPlaces[1].instSpeed = 0.0 ($RES_BND_481) (320) [ARRY] (8) P1.firingSumOut.instSpeed = P1.instSpeedOut ($RES_BND_398) (321) [SCAL] (1) T3.inPlaces[1].disTransition = true ($RES_BND_482) (322) [ARRY] (8) P1.firingSumOut.disTransition = P1.disTransitionOut ($RES_BND_399) (323) [ARRY] (1) T3.inPlaces.arcWeightint = {T3.arcWeightIntIn[1]} ($RES_BND_483) (324) [SCAL] (1) T5.inPlaces[1].normalArc = P1.outTransition[5].normalArc ($RES_SIM_230) (325) [FOR-] (8) ($RES_SIM_147) (325) [----] for $i1 in 1:8 loop (325) [----] [-IF-] (1)if $SEV_285[$i1] then (325) [----] [----] [SCAL] (1) P1.firingSumOut.vec1[$i1] = P1.firingSumOut.arcWeight[$i1] * P1.firingSumOut.instSpeed[$i1] ($RES_SIM_149) (325) [----] [----] else (325) [----] [----] [SCAL] (1) P1.firingSumOut.vec1[$i1] = 0.0 ($RES_SIM_150) (325) [----] [----] end if; (325) [----] end for; (326) [ARRY] (1) T3.inPlaces.arcWeight = {T3.arcWeightIn[1]} ($RES_BND_484) (327) [SCAL] (1) T5.inPlaces[1].minTokensint = P1.outTransition[5].minTokensint ($RES_SIM_231) (328) [ARRY] (1) T3.inPlaces.fire = {T3.fire} ($RES_BND_485) (329) [SCAL] (1) T5.inPlaces[1].minTokens = P1.outTransition[5].minTokens ($RES_SIM_232) (330) [ARRY] (1) T3.inPlaces.active = {T3.delayPassed} ($RES_BND_486) (331) [SCAL] (1) T5.inPlaces[1].maxSpeed = P1.outTransition[5].maxSpeed ($RES_SIM_233) (332) [ARRY] (1) T5.inPlaces.minTokens = {T5.minTokens[1]} ($RES_BND_570) (333) [ARRY] (1) T3.inPlaces.normalArc = {T3.normalArc[1]} ($RES_BND_487) (334) [SCAL] (1) T5.inPlaces[1].instSpeed = P1.outTransition[5].instSpeed ($RES_SIM_234) (335) [ARRY] (1) T5.inPlaces.tint = {T5.tIntIn[1]} ($RES_BND_571) (336) [ARRY] (1) T3.inPlaces.testValueint = {T3.testValueInt[1]} ($RES_BND_488) (337) [SCAL] (1) T5.inPlaces[1].fire = P1.outTransition[5].fire ($RES_SIM_235) (338) [ARRY] (1) T5.inPlaces.t = {T5.tIn[1]} ($RES_BND_572) (339) [ARRY] (1) T3.inPlaces.testValue = {T3.testValue[1]} ($RES_BND_489) (340) [SCAL] (1) P1.outTransition[1].minTokens = T1.inPlaces[1].minTokens ($RES_SIM_320) (341) [SCAL] (1) T5.inPlaces[1].enable = P1.outTransition[5].enable ($RES_SIM_237) (342) [SCAL] (1) P1.outTransition[1].maxSpeed = T1.inPlaces[1].maxSpeed ($RES_SIM_321) (343) [SCAL] (1) T5.inPlaces[1].disTransition = P1.outTransition[5].disTransition ($RES_SIM_238) (344) [SCAL] (1) T5.delay_ = 1.0 ($RES_BND_575) (345) [SCAL] (1) P1.outTransition[1].instSpeed = T1.inPlaces[1].instSpeed ($RES_SIM_322) (346) [SCAL] (1) T5.inPlaces[1].disPlace = P1.outTransition[5].disPlace ($RES_SIM_239) (347) [ARRY] (1) T5.activation.tIn = T5.tIn ($RES_BND_576) (348) [SCAL] (1) P1.outTransition[1].fire = T1.inPlaces[1].fire ($RES_SIM_323) (349) [ARRY] (1) T7.activation.disPlaceIn = T7.disPlaceIn ($RES_BND_660) (350) [ARRY] (1) T5.activation.tIntIn = T5.tIntIn ($RES_BND_577) (351) [ARRY] (1) T7.activation.normalArc = T7.normalArc ($RES_BND_661) (352) [ARRY] (1) T5.activation.arcType = T5.arcType ($RES_BND_578) (353) [SCAL] (1) P1.outTransition[1].enable = T1.inPlaces[1].enable ($RES_SIM_325) (354) [ARRY] (1) T7.activation.testValue = T7.testValue ($RES_BND_662) (355) [ARRY] (1) T5.activation.arcWeightIn = T5.arcWeightIn ($RES_BND_579) (356) [SCAL] (1) P1.outTransition[1].disTransition = T1.inPlaces[1].disTransition ($RES_SIM_326) (357) [ARRY] (1) T7.activation.testValueInt = T7.testValueInt ($RES_BND_663) (358) [SCAL] (1) P1.outTransition[1].disPlace = T1.inPlaces[1].disPlace ($RES_SIM_327) (359) [SCAL] (1) P1.outTransition[1].decreasingFactor = T1.inPlaces[1].decreasingFactor ($RES_SIM_328) (360) [SCAL] (1) P1.outTransition[1].arcWeightint = T1.inPlaces[1].arcWeightint ($RES_SIM_329) (361) [SCAL] (1) T8.arcWeightIn[1] = 1.0 ($RES_BND_667) (362) [SCAL] (1) T8.inPlaces[1].maxSpeed = 0.0 ($RES_BND_669) (363) [FOR-] (8) ($RES_SIM_151) (363) [----] for $i1 in 1:8 loop (363) [----] [-IF-] (1)if $SEV_286[$i1] then (363) [----] [----] [SCAL] (1) P1.firingSumOut.vec2[$i1] = P1.firingSumOut.arcWeight[$i1] ($RES_SIM_153) (363) [----] [----] else (363) [----] [----] [SCAL] (1) P1.firingSumOut.vec2[$i1] = 0.0 ($RES_SIM_154) (363) [----] [----] end if; (363) [----] end for; (364) [ARRY] (1) T3.inPlaces.arcType = {T3.arcType[1]} ($RES_BND_490) (365) [ARRY] (1) T3.inPlaces.disPlace = {T3.disPlaceIn[1]} ($RES_BND_491) (366) [ARRY] (1) T3.inPlaces.enable = {T3.enableIn[1]} ($RES_BND_492) (367) [ARRY] (1) T3.inPlaces.minTokensint = {T3.minTokensInt[1]} ($RES_BND_493) (368) [SCAL] (1) T5.inPlaces[1].decreasingFactor = P1.outTransition[5].decreasingFactor ($RES_SIM_240) (369) [SCAL] (1) T8.inPlaces[1].tokenInOut = P1.outTransition[8].tokenInOut ($RES_SIM_157) (370) [ARRY] (1) T3.inPlaces.minTokens = {T3.minTokens[1]} ($RES_BND_494) (371) [SCAL] (1) T5.inPlaces[1].arcWeightint = P1.outTransition[5].arcWeightint ($RES_SIM_241) (372) [SCAL] (1) T8.inPlaces[1].tint = P1.outTransition[8].tint ($RES_SIM_158) (373) [ARRY] (1) T3.inPlaces.tint = {T3.tIntIn[1]} ($RES_BND_495) (374) [SCAL] (1) T5.inPlaces[1].arcWeight = P1.outTransition[5].arcWeight ($RES_SIM_242) (375) [SCAL] (1) T8.inPlaces[1].testValueint = P1.outTransition[8].testValueint ($RES_SIM_159) (376) [ARRY] (1) T3.inPlaces.t = {T3.tIn[1]} ($RES_BND_496) (377) [SCAL] (1) $TEV_1 = $PRE.P1.fireOut[$i1] ($RES_EVT_727) (378) [SCAL] (1) T5.inPlaces[1].arcType = P1.outTransition[5].arcType ($RES_SIM_243) (379) [ARRY] (1) T5.activation.arcWeightIntIn = T5.arcWeightIntIn ($RES_BND_580) (380) [SCAL] (1) $TEV_2 = $PRE.P1.disMarksInOut ($RES_EVT_728) (381) [SCAL] (1) T5.inPlaces[1].active = P1.outTransition[5].active ($RES_SIM_244) (382) [ARRY] (1) T5.activation.minTokens = T5.minTokens ($RES_BND_581) (383) [SCAL] (1) $TEV_3 = $PRE.P1.enableOut.state128 ($RES_EVT_729) (384) [SCAL] (1) T4.inPlaces[1].tokenInOut = P1.outTransition[4].tokenInOut ($RES_SIM_245) (385) [ARRY] (1) T5.activation.minTokensInt = T5.minTokensInt ($RES_BND_582) (386) [SCAL] (1) T3.delay_ = 1.0 ($RES_BND_499) (387) [SCAL] (1) T4.inPlaces[1].tint = P1.outTransition[4].tint ($RES_SIM_246) (388) [SCAL] (1) P1.outTransition[1].arcWeight = T1.inPlaces[1].arcWeight ($RES_SIM_330) (389) [SCAL] (1) T4.inPlaces[1].testValueint = P1.outTransition[4].testValueint ($RES_SIM_247) (390) [ARRY] (1) T5.activation.disPlaceIn = T5.disPlaceIn ($RES_BND_584) (391) [SCAL] (1) P1.outTransition[1].arcType = T1.inPlaces[1].arcType ($RES_SIM_331) (392) [SCAL] (1) T4.inPlaces[1].testValue = P1.outTransition[4].testValue ($RES_SIM_248) (393) [ARRY] (1) T5.activation.normalArc = T5.normalArc ($RES_BND_585) (394) [SCAL] (1) P1.outTransition[1].active = T1.inPlaces[1].active ($RES_SIM_332) (395) [SCAL] (1) T4.inPlaces[1].t = P1.outTransition[4].t ($RES_SIM_249) (396) [ARRY] (1) T5.activation.testValue = T5.testValue ($RES_BND_586) (397) [SCAL] (1) T8.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_670) (398) [ARRY] (1) T5.activation.testValueInt = T5.testValueInt ($RES_BND_587) (399) [SCAL] (1) T8.inPlaces[1].instSpeed = 0.0 ($RES_BND_671) (400) [SCAL] (1) T8.inPlaces[1].disTransition = true ($RES_BND_672) (401) [ARRY] (1) T8.inPlaces.arcWeightint = {T8.arcWeightIntIn[1]} ($RES_BND_673) (402) [ARRY] (1) T8.inPlaces.arcWeight = {T8.arcWeightIn[1]} ($RES_BND_674) (403) [ARRY] (1) T8.inPlaces.fire = {T8.fire} ($RES_BND_675) (404) [ARRY] (1) T8.inPlaces.active = {T8.delayPassed} ($RES_BND_676) (405) [ARRY] (1) T8.inPlaces.normalArc = {T8.normalArc[1]} ($RES_BND_677) (406) [ARRY] (1) T8.inPlaces.testValueint = {T8.testValueInt[1]} ($RES_BND_678) (407) [ARRY] (1) T8.inPlaces.testValue = {T8.testValue[1]} ($RES_BND_679) (408) [SCAL] (1) T8.inPlaces[1].testValue = P1.outTransition[8].testValue ($RES_SIM_160) (409) [SCAL] (1) T8.inPlaces[1].t = P1.outTransition[8].t ($RES_SIM_161) (410) [SCAL] (1) $SEV_238[1] = T8.disPlaceIn[1] and T8.arcWeightIn[1] - T8.arcWeightIntIn[1] <= 0.0 or not T8.disPlaceIn[1] ($RES_EVT_730) (411) [SCAL] (1) T8.inPlaces[1].prelimSpeed = P1.outTransition[8].prelimSpeed ($RES_SIM_163) (412) [SCAL] (1) $SEV_239[1] = T8.arcWeightIn[1] >= 0.0 ($RES_EVT_731) (413) [SCAL] (1) T8.inPlaces[1].normalArc = P1.outTransition[8].normalArc ($RES_SIM_164) (414) [SCAL] (1) $SEV_240 = (T8.fireTime + settings.timeFire >= time and settings.animateTransition) and T8.ani ($RES_EVT_732) (415) [SCAL] (1) T8.inPlaces[1].minTokensint = P1.outTransition[8].minTokensint ($RES_SIM_165) (416) [SCAL] (1) $SEV_241 = T8.active and time >= T8.firingTime ($RES_EVT_733) (417) [SCAL] (1) T8.inPlaces[1].minTokens = P1.outTransition[8].minTokens ($RES_SIM_166) (418) [SCAL] (1) $SEV_242 = T8.activation.active and not $PRE.T8.delayPassed ($RES_EVT_734) (419) [SCAL] (1) T8.inPlaces[1].maxSpeed = P1.outTransition[8].maxSpeed ($RES_SIM_167) (420) [SCAL] (1) $SEV_243[1] = T7.disPlaceIn[1] and T7.arcWeightIn[1] - T7.arcWeightIntIn[1] <= 0.0 or not T7.disPlaceIn[1] ($RES_EVT_735) (421) [SCAL] (1) T4.inPlaces[1].prelimSpeed = P1.outTransition[4].prelimSpeed ($RES_SIM_251) (422) [SCAL] (1) T8.inPlaces[1].instSpeed = P1.outTransition[8].instSpeed ($RES_SIM_168) (423) [SCAL] (1) $SEV_244[1] = T7.arcWeightIn[1] >= 0.0 ($RES_EVT_736) (424) [SCAL] (1) T4.inPlaces[1].normalArc = P1.outTransition[4].normalArc ($RES_SIM_252) (425) [SCAL] (1) T8.inPlaces[1].fire = P1.outTransition[8].fire ($RES_SIM_169) (426) [SCAL] (1) $SEV_245 = (T7.fireTime + settings.timeFire >= time and settings.animateTransition) and T7.ani ($RES_EVT_737) (427) [SCAL] (1) T4.inPlaces[1].minTokensint = P1.outTransition[4].minTokensint ($RES_SIM_253) (428) [SCAL] (1) $SEV_246 = T7.active and time >= T7.firingTime ($RES_EVT_738) (429) [SCAL] (1) T6.arcWeightIn[1] = 1.0 ($RES_BND_591) (430) [SCAL] (1) T4.inPlaces[1].minTokens = P1.outTransition[4].minTokens ($RES_SIM_254) (431) [SCAL] (1) $SEV_247 = T7.activation.active and not $PRE.T7.delayPassed ($RES_EVT_739) (432) [SCAL] (1) T4.inPlaces[1].maxSpeed = P1.outTransition[4].maxSpeed ($RES_SIM_255) (433) [SCAL] (1) T6.inPlaces[1].maxSpeed = 0.0 ($RES_BND_593) (434) [SCAL] (1) T4.inPlaces[1].instSpeed = P1.outTransition[4].instSpeed ($RES_SIM_256) (435) [SCAL] (1) T6.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_594) (436) [SCAL] (1) T4.inPlaces[1].fire = P1.outTransition[4].fire ($RES_SIM_257) (437) [SCAL] (1) T6.inPlaces[1].instSpeed = 0.0 ($RES_BND_595) (438) [SCAL] (1) T6.inPlaces[1].disTransition = true ($RES_BND_596) (439) [SCAL] (1) T4.inPlaces[1].enable = P1.outTransition[4].enable ($RES_SIM_259) (440) [ARRY] (1) T8.inPlaces.arcType = {T8.arcType[1]} ($RES_BND_680) (441) [ARRY] (1) T6.inPlaces.arcWeightint = {T6.arcWeightIntIn[1]} ($RES_BND_597) (442) [ARRY] (1) T8.inPlaces.disPlace = {T8.disPlaceIn[1]} ($RES_BND_681) (443) [ARRY] (1) T6.inPlaces.arcWeight = {T6.arcWeightIn[1]} ($RES_BND_598) (444) [ARRY] (1) T8.inPlaces.enable = {T8.enableIn[1]} ($RES_BND_682) (445) [ARRY] (1) T6.inPlaces.fire = {T6.fire} ($RES_BND_599) (446) [ARRY] (1) T8.inPlaces.minTokensint = {T8.minTokensInt[1]} ($RES_BND_683) (447) [ARRY] (1) T8.inPlaces.minTokens = {T8.minTokens[1]} ($RES_BND_684) (448) [ARRY] (1) T8.inPlaces.tint = {T8.tIntIn[1]} ($RES_BND_685) (449) [ARRY] (1) T8.inPlaces.t = {T8.tIn[1]} ($RES_BND_686) (450) [SCAL] (1) T8.delay_ = 1.0 ($RES_BND_689) (451) [SCAL] (1) T8.inPlaces[1].enable = P1.outTransition[8].enable ($RES_SIM_171) (452) [SCAL] (1) T8.inPlaces[1].disTransition = P1.outTransition[8].disTransition ($RES_SIM_172) (453) [SCAL] (1) $SEV_248[1] = T6.disPlaceIn[1] and T6.arcWeightIn[1] - T6.arcWeightIntIn[1] <= 0.0 or not T6.disPlaceIn[1] ($RES_EVT_740) (454) [SCAL] (1) T8.inPlaces[1].disPlace = P1.outTransition[8].disPlace ($RES_SIM_173) (455) [SCAL] (1) $SEV_249[1] = T6.arcWeightIn[1] >= 0.0 ($RES_EVT_741) (456) [SCAL] (1) T8.inPlaces[1].decreasingFactor = P1.outTransition[8].decreasingFactor ($RES_SIM_174) (457) [SCAL] (1) $SEV_250 = (T6.fireTime + settings.timeFire >= time and settings.animateTransition) and T6.ani ($RES_EVT_742) (458) [SCAL] (1) T8.inPlaces[1].arcWeightint = P1.outTransition[8].arcWeightint ($RES_SIM_175) (459) [SCAL] (1) $SEV_251 = T6.active and time >= T6.firingTime ($RES_EVT_743) (460) [SCAL] (1) T8.inPlaces[1].arcWeight = P1.outTransition[8].arcWeight ($RES_SIM_176) (461) [SCAL] (1) $SEV_252 = T6.activation.active and not $PRE.T6.delayPassed ($RES_EVT_744) (462) [SCAL] (1) T4.inPlaces[1].disTransition = P1.outTransition[4].disTransition ($RES_SIM_260) (463) [SCAL] (1) T8.inPlaces[1].arcType = P1.outTransition[8].arcType ($RES_SIM_177) (464) [SCAL] (1) $SEV_253[1] = T5.disPlaceIn[1] and T5.arcWeightIn[1] - T5.arcWeightIntIn[1] <= 0.0 or not T5.disPlaceIn[1] ($RES_EVT_745) (465) [SCAL] (1) T4.inPlaces[1].disPlace = P1.outTransition[4].disPlace ($RES_SIM_261) (466) [SCAL] (1) T8.inPlaces[1].active = P1.outTransition[8].active ($RES_SIM_178) (467) [SCAL] (1) $SEV_254[1] = T5.arcWeightIn[1] >= 0.0 ($RES_EVT_746) (468) [SCAL] (1) T4.inPlaces[1].decreasingFactor = P1.outTransition[4].decreasingFactor ($RES_SIM_262) (469) [SCAL] (1) T7.inPlaces[1].tokenInOut = P1.outTransition[7].tokenInOut ($RES_SIM_179) (470) [SCAL] (1) $SEV_255 = (T5.fireTime + settings.timeFire >= time and settings.animateTransition) and T5.ani ($RES_EVT_747) (471) [SCAL] (1) T4.inPlaces[1].arcWeightint = P1.outTransition[4].arcWeightint ($RES_SIM_263) (472) [SCAL] (1) $SEV_256 = T5.active and time >= T5.firingTime ($RES_EVT_748) (473) [SCAL] (1) T4.inPlaces[1].arcWeight = P1.outTransition[4].arcWeight ($RES_SIM_264) (474) [SCAL] (1) $SEV_257 = T5.activation.active and not $PRE.T5.delayPassed ($RES_EVT_749) (475) [SCAL] (1) T4.inPlaces[1].arcType = P1.outTransition[4].arcType ($RES_SIM_265) (476) [SCAL] (1) T4.inPlaces[1].active = P1.outTransition[4].active ($RES_SIM_266) (477) [SCAL] (1) T3.inPlaces[1].tokenInOut = P1.outTransition[3].tokenInOut ($RES_SIM_267) (478) [SCAL] (1) T3.inPlaces[1].tint = P1.outTransition[3].tint ($RES_SIM_268) (479) [SCAL] (1) T3.inPlaces[1].testValueint = P1.outTransition[3].testValueint ($RES_SIM_269) (480) [ARRY] (1) T8.activation.tIn = T8.tIn ($RES_BND_690) (481) [ARRY] (1) T8.activation.tIntIn = T8.tIntIn ($RES_BND_691) (482) [ARRY] (1) T8.activation.arcType = T8.arcType ($RES_BND_692) (483) [ARRY] (1) T8.activation.arcWeightIn = T8.arcWeightIn ($RES_BND_693) (484) [ARRY] (1) T8.activation.arcWeightIntIn = T8.arcWeightIntIn ($RES_BND_694) (485) [ARRY] (1) T8.activation.minTokens = T8.minTokens ($RES_BND_695) (486) [ARRY] (1) T8.activation.minTokensInt = T8.minTokensInt ($RES_BND_696) (487) [ARRY] (1) T8.activation.disPlaceIn = T8.disPlaceIn ($RES_BND_698) (488) [ARRY] (1) T8.activation.normalArc = T8.normalArc ($RES_BND_699) (489) [SCAL] (1) T7.inPlaces[1].tint = P1.outTransition[7].tint ($RES_SIM_180) (490) [SCAL] (1) T7.inPlaces[1].testValueint = P1.outTransition[7].testValueint ($RES_SIM_181) (491) [SCAL] (1) T7.inPlaces[1].testValue = P1.outTransition[7].testValue ($RES_SIM_182) (492) [SCAL] (1) $SEV_258[1] = T4.disPlaceIn[1] and T4.arcWeightIn[1] - T4.arcWeightIntIn[1] <= 0.0 or not T4.disPlaceIn[1] ($RES_EVT_750) (493) [SCAL] (1) T7.inPlaces[1].t = P1.outTransition[7].t ($RES_SIM_183) (494) [SCAL] (1) $SEV_259[1] = T4.arcWeightIn[1] >= 0.0 ($RES_EVT_751) (495) [SCAL] (1) $SEV_260 = (T4.fireTime + settings.timeFire >= time and settings.animateTransition) and T4.ani ($RES_EVT_752) (496) [SCAL] (1) T7.inPlaces[1].prelimSpeed = P1.outTransition[7].prelimSpeed ($RES_SIM_185) (497) [SCAL] (1) $SEV_261 = T4.active and time >= T4.firingTime ($RES_EVT_753) (498) [SCAL] (1) T7.inPlaces[1].normalArc = P1.outTransition[7].normalArc ($RES_SIM_186) (499) [SCAL] (1) $SEV_262 = T4.activation.active and not $PRE.T4.delayPassed ($RES_EVT_754) (500) [SCAL] (1) T3.inPlaces[1].testValue = P1.outTransition[3].testValue ($RES_SIM_270) (501) [SCAL] (1) T7.inPlaces[1].minTokensint = P1.outTransition[7].minTokensint ($RES_SIM_187) (502) [SCAL] (1) $SEV_263[1] = T3.disPlaceIn[1] and T3.arcWeightIn[1] - T3.arcWeightIntIn[1] <= 0.0 or not T3.disPlaceIn[1] ($RES_EVT_755) (503) [SCAL] (1) T3.inPlaces[1].t = P1.outTransition[3].t ($RES_SIM_271) (504) [SCAL] (1) T7.inPlaces[1].minTokens = P1.outTransition[7].minTokens ($RES_SIM_188) (505) [SCAL] (1) $SEV_264[1] = T3.arcWeightIn[1] >= 0.0 ($RES_EVT_756) (506) [SCAL] (1) T7.inPlaces[1].maxSpeed = P1.outTransition[7].maxSpeed ($RES_SIM_189) (507) [SCAL] (1) $SEV_265 = (T3.fireTime + settings.timeFire >= time and settings.animateTransition) and T3.ani ($RES_EVT_757) (508) [SCAL] (1) T3.inPlaces[1].prelimSpeed = P1.outTransition[3].prelimSpeed ($RES_SIM_273) (509) [SCAL] (1) $SEV_266 = T3.active and time >= T3.firingTime ($RES_EVT_758) (510) [SCAL] (1) T3.inPlaces[1].normalArc = P1.outTransition[3].normalArc ($RES_SIM_274) (511) [SCAL] (1) $SEV_267 = T3.activation.active and not $PRE.T3.delayPassed ($RES_EVT_759) (512) [SCAL] (1) T3.inPlaces[1].minTokensint = P1.outTransition[3].minTokensint ($RES_SIM_275) (513) [SCAL] (1) T3.inPlaces[1].minTokens = P1.outTransition[3].minTokens ($RES_SIM_276) (514) [SCAL] (1) T3.inPlaces[1].maxSpeed = P1.outTransition[3].maxSpeed ($RES_SIM_277) (515) [SCAL] (1) T3.inPlaces[1].instSpeed = P1.outTransition[3].instSpeed ($RES_SIM_278) (516) [SCAL] (1) T3.inPlaces[1].fire = P1.outTransition[3].fire ($RES_SIM_279) (517) [SCAL] (1) T7.inPlaces[1].instSpeed = P1.outTransition[7].instSpeed ($RES_SIM_190) (518) [SCAL] (1) T7.inPlaces[1].fire = P1.outTransition[7].fire ($RES_SIM_191) (519) [SCAL] (1) $SEV_268[1] = T2.disPlaceIn[1] and T2.arcWeightIn[1] - T2.arcWeightIntIn[1] <= 0.0 or not T2.disPlaceIn[1] ($RES_EVT_760) (520) [SCAL] (1) T7.inPlaces[1].enable = P1.outTransition[7].enable ($RES_SIM_193) (521) [SCAL] (1) $SEV_269[1] = T2.arcWeightIn[1] >= 0.0 ($RES_EVT_761) (522) [SCAL] (1) T7.inPlaces[1].disTransition = P1.outTransition[7].disTransition ($RES_SIM_194) (523) [SCAL] (1) $SEV_270 = (T2.fireTime + settings.timeFire >= time and settings.animateTransition) and T2.ani ($RES_EVT_762) (524) [SCAL] (1) T7.inPlaces[1].disPlace = P1.outTransition[7].disPlace ($RES_SIM_195) (525) [SCAL] (1) $SEV_271 = T2.active and time >= T2.firingTime ($RES_EVT_763) (526) [SCAL] (1) T7.inPlaces[1].decreasingFactor = P1.outTransition[7].decreasingFactor ($RES_SIM_196) (527) [SCAL] (1) $SEV_272 = T2.activation.active and not $PRE.T2.delayPassed ($RES_EVT_764) (528) [SCAL] (1) T7.inPlaces[1].arcWeightint = P1.outTransition[7].arcWeightint ($RES_SIM_197) (529) [SCAL] (1) $SEV_273[1] = T1.disPlaceIn[1] and T1.arcWeightIn[1] - T1.arcWeightIntIn[1] <= 0.0 or not T1.disPlaceIn[1] ($RES_EVT_765) (530) [SCAL] (1) T3.inPlaces[1].enable = P1.outTransition[3].enable ($RES_SIM_281) (531) [SCAL] (1) T7.inPlaces[1].arcWeight = P1.outTransition[7].arcWeight ($RES_SIM_198) (532) [SCAL] (1) $SEV_274[1] = T1.arcWeightIn[1] >= 0.0 ($RES_EVT_766) (533) [SCAL] (1) T3.inPlaces[1].disTransition = P1.outTransition[3].disTransition ($RES_SIM_282) (534) [SCAL] (1) T7.inPlaces[1].arcType = P1.outTransition[7].arcType ($RES_SIM_199) (535) [SCAL] (1) $SEV_275 = (T1.fireTime + settings.timeFire >= time and settings.animateTransition) and T1.ani ($RES_EVT_767) (536) [SCAL] (1) T3.inPlaces[1].disPlace = P1.outTransition[3].disPlace ($RES_SIM_283) (537) [SCAL] (1) $SEV_276 = T1.active and time >= T1.firingTime ($RES_EVT_768) (538) [SCAL] (1) T3.inPlaces[1].decreasingFactor = P1.outTransition[3].decreasingFactor ($RES_SIM_284) (539) [SCAL] (1) $SEV_277 = T1.activation.active and not $PRE.T1.delayPassed ($RES_EVT_769) (540) [SCAL] (1) T3.inPlaces[1].arcWeightint = P1.outTransition[3].arcWeightint ($RES_SIM_285) (541) [SCAL] (1) T3.inPlaces[1].arcWeight = P1.outTransition[3].arcWeight ($RES_SIM_286) (542) [SCAL] (1) T3.inPlaces[1].arcType = P1.outTransition[3].arcType ($RES_SIM_287) (543) [SCAL] (1) T3.inPlaces[1].active = P1.outTransition[3].active ($RES_SIM_288) (544) [SCAL] (1) T2.inPlaces[1].tokenInOut = P1.outTransition[2].tokenInOut ($RES_SIM_289) (545) [SCAL] (1) $SEV_281 = P1.tokenscale < 100.0 ($RES_EVT_773) (546) [SCAL] (1) $SEV_282 = P1.t_ < P1.minMarks ($RES_EVT_774) (547) [SCAL] (1) T2.inPlaces[1].tint = P1.outTransition[2].tint ($RES_SIM_290) (548) [SCAL] (1) $SEV_283 = P1.t_ > P1.maxMarks ($RES_EVT_775) (549) [SCAL] (1) T2.inPlaces[1].testValueint = P1.outTransition[2].testValueint ($RES_SIM_291) (550) [SCAL] (1) $SEV_284 = $PRE.P1.disMarksOut.anytrue or $PRE.P1.disMarksIn.anytrue ($RES_EVT_776) (551) [SCAL] (1) T2.inPlaces[1].testValue = P1.outTransition[2].testValue ($RES_SIM_292) (552) [FOR-] (8) ($RES_EVT_777) (552) [----] for $i1 in 1:8 loop (552) [----] [SCAL] (1) $SEV_285[$i1] = P1.firingSumOut.fire[$i1] and not P1.firingSumOut.disTransition[$i1] ($RES_EVT_778) (552) [----] end for; (553) [SCAL] (1) T2.inPlaces[1].t = P1.outTransition[2].t ($RES_SIM_293) (554) [FOR-] (8) ($RES_EVT_779) (554) [----] for $i1 in 1:8 loop (554) [----] [SCAL] (1) $SEV_286[$i1] = P1.firingSumOut.fire[$i1] and P1.firingSumOut.disTransition[$i1] ($RES_EVT_780) (554) [----] end for; (555) [SCAL] (1) T2.inPlaces[1].prelimSpeed = P1.outTransition[2].prelimSpeed ($RES_SIM_295) (556) [SCAL] (1) T2.inPlaces[1].normalArc = P1.outTransition[2].normalArc ($RES_SIM_296) (557) [SCAL] (1) T2.inPlaces[1].minTokensint = P1.outTransition[2].minTokensint ($RES_SIM_297) (558) [SCAL] (1) T2.inPlaces[1].minTokens = P1.outTransition[2].minTokens ($RES_SIM_298) (559) [SCAL] (1) T2.inPlaces[1].maxSpeed = P1.outTransition[2].maxSpeed ($RES_SIM_299) (560) [SCAL] (1) $SEV_287 = P1.preFireOut and not P1.disTransitionOut ($RES_EVT_781) (561) [SCAL] (1) $SEV_288 = P1.fireOut and P1.disTransitionOut ($RES_EVT_782) (562) [SCAL] (1) $SEV_289 = P1.activeOut and P1.disTransitionOut ($RES_EVT_783) (563) [SCAL] (1) $SEV_290 = P1.fireOut and not P1.disTransitionOut ($RES_EVT_784) (564) [ALGO] (2) ($RES_SIM_10) (564) [----] P1.emptying.anytrue := false; (564) [----] P1.emptying.numtrue := 0; (564) [----] for i in 1:8 loop (564) [----] P1.emptying.anytrue := P1.emptying.anytrue or P1.emptying.vec[i]; (564) [----] if P1.emptying.vec[i] then (564) [----] P1.emptying.numtrue := P1.emptying.numtrue + 1; (564) [----] end if; (564) [----] end for; (565) [ALGO] (2) ($RES_SIM_12) (565) [----] P1.disMarksIn.anytrue := false; (565) [----] P1.disMarksIn.numtrue := 0; (566) [ALGO] (2) ($RES_SIM_13) (566) [----] P1.disMarksOut.anytrue := false; (566) [----] P1.disMarksOut.numtrue := 0; (566) [----] for i in 1:8 loop (566) [----] P1.disMarksOut.anytrue := P1.disMarksOut.anytrue or P1.disMarksOut.vec[i]; (566) [----] if P1.disMarksOut.vec[i] then (566) [----] P1.disMarksOut.numtrue := P1.disMarksOut.numtrue + 1; (566) [----] end if; (566) [----] end for; (567) [ALGO] (2) ($RES_SIM_15) (567) [----] P1.enableOut.delayPassed := false; (567) [----] P1.delayPassedOut.numtrue := 0; (567) [----] for i in 1:8 loop (567) [----] P1.enableOut.delayPassed := P1.enableOut.delayPassed or P1.delayPassedOut.vec[i]; (567) [----] if P1.delayPassedOut.vec[i] then (567) [----] P1.delayPassedOut.numtrue := P1.delayPassedOut.numtrue + 1; (567) [----] end if; (567) [----] end for; (568) [ALGO] (53) ($RES_SIM_16) (568) [----] P1.enableOut.TEout := fill(false, 8); (568) [----] when P1.enableOut.delayPassed then (568) [----] P1.enableOut.disTAout := $FUN_6; (568) [----] P1.enableOut.arcWeightSum := $FUN_7; (568) [----] if P1.t_ - (P1.minMarks + P1.enableOut.arcWeightSum) >= (-1e-9) or abs(P1.enableOut.arcWeightSum) <= 1e-8 then (568) [----] P1.enableOut.TEout := P1.enableOut.TAout; (568) [----] elseif true then (568) [----] P1.enableOut.TEout := $FUN_8; (568) [----] if P1.enablingType == PNlib.Types.EnablingType.Priority then (568) [----] P1.enableOut.arcWeightSum := 0.0; (568) [----] for i in 1:8 loop (568) [----] P1.enableOut.Index := $FUN_9; (568) [----] if (P1.enableOut.Index > 0 and P1.enableOut.disTAout[P1.enableOut.Index]) and (P1.t_ - (P1.minMarks + P1.enableOut.arcWeight[P1.enableOut.Index] + P1.enableOut.arcWeightSum) >= (-1e-9) or abs(P1.enableOut.arcWeight[P1.enableOut.Index]) <= 1e-8) then (568) [----] P1.enableOut.TEout[P1.enableOut.Index] := true; (568) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.Index]; (568) [----] end if; (568) [----] end for; (568) [----] elseif true then (568) [----] P1.enableOut.arcWeightSum := 0.0; (568) [----] P1.enableOut.remTAout := fill(0, 8); (568) [----] P1.enableOut.nremTAout := 0; (568) [----] for i in 1:8 loop (568) [----] if P1.enableOut.disTAout[i] then (568) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout + 1; (568) [----] P1.enableOut.remTAout[P1.enableOut.nremTAout] := i; (568) [----] end if; (568) [----] end for; (568) [----] P1.enableOut.nTAout := P1.enableOut.nremTAout; (568) [----] P1.enableOut.sumEnablingProbTAout := $FUN_10; (568) [----] P1.enableOut.cumEnablingProb := fill(0.0, 8); (568) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (568) [----] for j in 2:P1.enableOut.nremTAout loop (568) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (568) [----] end for; (568) [----] for i in 1:P1.enableOut.nTAout loop (568) [----] (P1.enableOut.randNum, P1.enableOut.state128) := ($FUN_11, $FUN_12); (568) [----] P1.enableOut.endWhile := false; (568) [----] P1.enableOut.k := 1; (568) [----] while P1.enableOut.k <= P1.enableOut.nremTAout and not P1.enableOut.endWhile then (568) [----] if P1.enableOut.randNum <= P1.enableOut.cumEnablingProb[P1.enableOut.k] then (568) [----] P1.enableOut.posTE := P1.enableOut.remTAout[P1.enableOut.k]; (568) [----] P1.enableOut.endWhile := true; (568) [----] elseif true then (568) [----] P1.enableOut.k := P1.enableOut.k + 1; (568) [----] end if; (568) [----] end while; (568) [----] if P1.t_ - (P1.minMarks + P1.enableOut.arcWeight[P1.enableOut.posTE] + P1.enableOut.arcWeightSum) >= (-1e-9) or abs(P1.enableOut.arcWeight[i]) <= 1e-8 then (568) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.posTE]; (568) [----] P1.enableOut.TEout[P1.enableOut.posTE] := true; (568) [----] end if; (568) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout - 1; (568) [----] if P1.enableOut.nremTAout > 0 then (568) [----] P1.enableOut.remTAout := $FUN_13; (568) [----] P1.enableOut.cumEnablingProb := fill(0.0, 8); (568) [----] P1.enableOut.sumEnablingProbTAout := $FUN_10; (568) [----] if P1.enableOut.sumEnablingProbTAout > 0.0 then (568) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (568) [----] for j in 2:P1.enableOut.nremTAout loop (568) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (568) [----] end for; (568) [----] elseif true then (568) [----] P1.enableOut.cumEnablingProb[1:P1.enableOut.nremTAout] := fill(1.0 / P1.enableOut.nremTAout, P1.enableOut.nremTAout); (568) [----] end if; (568) [----] end if; (568) [----] end for; (568) [----] end if; (568) [----] end if; (568) [----] end when; (568) [----] for i in 1:8 loop (568) [----] P1.enableOut.TEout_[i] := P1.enableOut.TEout[i] and P1.enableOut.TAout[i]; (568) [----] end for; (569) [-IF-] (1)if T8.disPlaceIn[1] then (569) [----] [SCAL] (1) T8.arcWeightIntIn[1] = integer(T8.arcWeightIn[1]) ($RES_SIM_19) (569) [----] else (569) [----] [SCAL] (1) T8.arcWeightIntIn[1] = 1 ($RES_SIM_20) (569) [----] end if; (570) [ALGO] (1) ($RES_SIM_9) (570) [----] T1.activation.active := true; (570) [----] for i in 1:1 loop (570) [----] if T1.activation.disPlaceIn[i] then (570) [----] if (T1.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T1.activation.normalArc[i]) and not T1.activation.tIntIn[i] - T1.activation.arcWeightIntIn[i] >= T1.activation.minTokensInt[i] then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T1.activation.tIntIn[i] > T1.activation.testValueInt[i] then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T1.activation.tIntIn[i] >= T1.activation.testValueInt[i] then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T1.activation.tIntIn[i] < T1.activation.testValueInt[i] then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T1.activation.tIntIn[i] <= T1.activation.testValueInt[i] then (570) [----] T1.activation.active := false; (570) [----] end if; (570) [----] elseif true then (570) [----] if (T1.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T1.activation.normalArc[i]) and not T1.activation.tIn[i] - (T1.activation.minTokens[i] + T1.activation.arcWeightIn[i]) >= (-1e-9) then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T1.activation.tIn[i] > T1.activation.testValue[i] then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T1.activation.tIn[i] >= T1.activation.testValue[i] then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T1.activation.tIn[i] < T1.activation.testValue[i] then (570) [----] T1.activation.active := false; (570) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T1.activation.tIn[i] <= T1.activation.testValue[i] then (570) [----] T1.activation.active := false; (570) [----] end if; (570) [----] end if; (570) [----] end for; (570) [----] T1.activation.active := T1.activation.active and true; (571) [ALGO] (1) ($RES_SIM_8) (571) [----] T2.activation.active := true; (571) [----] for i in 1:1 loop (571) [----] if T2.activation.disPlaceIn[i] then (571) [----] if (T2.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T2.activation.normalArc[i]) and not T2.activation.tIntIn[i] - T2.activation.arcWeightIntIn[i] >= T2.activation.minTokensInt[i] then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIntIn[i] > T2.activation.testValueInt[i] then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIntIn[i] >= T2.activation.testValueInt[i] then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIntIn[i] < T2.activation.testValueInt[i] then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIntIn[i] <= T2.activation.testValueInt[i] then (571) [----] T2.activation.active := false; (571) [----] end if; (571) [----] elseif true then (571) [----] if (T2.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T2.activation.normalArc[i]) and not T2.activation.tIn[i] - (T2.activation.minTokens[i] + T2.activation.arcWeightIn[i]) >= (-1e-9) then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIn[i] > T2.activation.testValue[i] then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIn[i] >= T2.activation.testValue[i] then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIn[i] < T2.activation.testValue[i] then (571) [----] T2.activation.active := false; (571) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIn[i] <= T2.activation.testValue[i] then (571) [----] T2.activation.active := false; (571) [----] end if; (571) [----] end if; (571) [----] end for; (571) [----] T2.activation.active := T2.activation.active and true; (572) [ALGO] (1) ($RES_SIM_7) (572) [----] T3.activation.active := true; (572) [----] for i in 1:1 loop (572) [----] if T3.activation.disPlaceIn[i] then (572) [----] if (T3.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T3.activation.normalArc[i]) and not T3.activation.tIntIn[i] - T3.activation.arcWeightIntIn[i] >= T3.activation.minTokensInt[i] then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T3.activation.tIntIn[i] > T3.activation.testValueInt[i] then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T3.activation.tIntIn[i] >= T3.activation.testValueInt[i] then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T3.activation.tIntIn[i] < T3.activation.testValueInt[i] then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T3.activation.tIntIn[i] <= T3.activation.testValueInt[i] then (572) [----] T3.activation.active := false; (572) [----] end if; (572) [----] elseif true then (572) [----] if (T3.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T3.activation.normalArc[i]) and not T3.activation.tIn[i] - (T3.activation.minTokens[i] + T3.activation.arcWeightIn[i]) >= (-1e-9) then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T3.activation.tIn[i] > T3.activation.testValue[i] then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T3.activation.tIn[i] >= T3.activation.testValue[i] then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T3.activation.tIn[i] < T3.activation.testValue[i] then (572) [----] T3.activation.active := false; (572) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T3.activation.tIn[i] <= T3.activation.testValue[i] then (572) [----] T3.activation.active := false; (572) [----] end if; (572) [----] end if; (572) [----] end for; (572) [----] T3.activation.active := T3.activation.active and true; (573) [ALGO] (1) ($RES_SIM_6) (573) [----] T4.activation.active := true; (573) [----] for i in 1:1 loop (573) [----] if T4.activation.disPlaceIn[i] then (573) [----] if (T4.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T4.activation.normalArc[i]) and not T4.activation.tIntIn[i] - T4.activation.arcWeightIntIn[i] >= T4.activation.minTokensInt[i] then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T4.activation.tIntIn[i] > T4.activation.testValueInt[i] then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T4.activation.tIntIn[i] >= T4.activation.testValueInt[i] then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T4.activation.tIntIn[i] < T4.activation.testValueInt[i] then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T4.activation.tIntIn[i] <= T4.activation.testValueInt[i] then (573) [----] T4.activation.active := false; (573) [----] end if; (573) [----] elseif true then (573) [----] if (T4.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T4.activation.normalArc[i]) and not T4.activation.tIn[i] - (T4.activation.minTokens[i] + T4.activation.arcWeightIn[i]) >= (-1e-9) then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T4.activation.tIn[i] > T4.activation.testValue[i] then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T4.activation.tIn[i] >= T4.activation.testValue[i] then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T4.activation.tIn[i] < T4.activation.testValue[i] then (573) [----] T4.activation.active := false; (573) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T4.activation.tIn[i] <= T4.activation.testValue[i] then (573) [----] T4.activation.active := false; (573) [----] end if; (573) [----] end if; (573) [----] end for; (573) [----] T4.activation.active := T4.activation.active and true; (574) [ALGO] (1) ($RES_SIM_5) (574) [----] T5.activation.active := true; (574) [----] for i in 1:1 loop (574) [----] if T5.activation.disPlaceIn[i] then (574) [----] if (T5.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T5.activation.normalArc[i]) and not T5.activation.tIntIn[i] - T5.activation.arcWeightIntIn[i] >= T5.activation.minTokensInt[i] then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T5.activation.tIntIn[i] > T5.activation.testValueInt[i] then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T5.activation.tIntIn[i] >= T5.activation.testValueInt[i] then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T5.activation.tIntIn[i] < T5.activation.testValueInt[i] then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T5.activation.tIntIn[i] <= T5.activation.testValueInt[i] then (574) [----] T5.activation.active := false; (574) [----] end if; (574) [----] elseif true then (574) [----] if (T5.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T5.activation.normalArc[i]) and not T5.activation.tIn[i] - (T5.activation.minTokens[i] + T5.activation.arcWeightIn[i]) >= (-1e-9) then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T5.activation.tIn[i] > T5.activation.testValue[i] then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T5.activation.tIn[i] >= T5.activation.testValue[i] then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T5.activation.tIn[i] < T5.activation.testValue[i] then (574) [----] T5.activation.active := false; (574) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T5.activation.tIn[i] <= T5.activation.testValue[i] then (574) [----] T5.activation.active := false; (574) [----] end if; (574) [----] end if; (574) [----] end for; (574) [----] T5.activation.active := T5.activation.active and true; (575) [ALGO] (1) ($RES_SIM_4) (575) [----] T6.activation.active := true; (575) [----] for i in 1:1 loop (575) [----] if T6.activation.disPlaceIn[i] then (575) [----] if (T6.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T6.activation.normalArc[i]) and not T6.activation.tIntIn[i] - T6.activation.arcWeightIntIn[i] >= T6.activation.minTokensInt[i] then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T6.activation.tIntIn[i] > T6.activation.testValueInt[i] then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T6.activation.tIntIn[i] >= T6.activation.testValueInt[i] then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T6.activation.tIntIn[i] < T6.activation.testValueInt[i] then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T6.activation.tIntIn[i] <= T6.activation.testValueInt[i] then (575) [----] T6.activation.active := false; (575) [----] end if; (575) [----] elseif true then (575) [----] if (T6.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T6.activation.normalArc[i]) and not T6.activation.tIn[i] - (T6.activation.minTokens[i] + T6.activation.arcWeightIn[i]) >= (-1e-9) then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T6.activation.tIn[i] > T6.activation.testValue[i] then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T6.activation.tIn[i] >= T6.activation.testValue[i] then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T6.activation.tIn[i] < T6.activation.testValue[i] then (575) [----] T6.activation.active := false; (575) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T6.activation.tIn[i] <= T6.activation.testValue[i] then (575) [----] T6.activation.active := false; (575) [----] end if; (575) [----] end if; (575) [----] end for; (575) [----] T6.activation.active := T6.activation.active and true; (576) [ALGO] (1) ($RES_SIM_3) (576) [----] T7.activation.active := true; (576) [----] for i in 1:1 loop (576) [----] if T7.activation.disPlaceIn[i] then (576) [----] if (T7.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T7.activation.normalArc[i]) and not T7.activation.tIntIn[i] - T7.activation.arcWeightIntIn[i] >= T7.activation.minTokensInt[i] then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T7.activation.tIntIn[i] > T7.activation.testValueInt[i] then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T7.activation.tIntIn[i] >= T7.activation.testValueInt[i] then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T7.activation.tIntIn[i] < T7.activation.testValueInt[i] then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T7.activation.tIntIn[i] <= T7.activation.testValueInt[i] then (576) [----] T7.activation.active := false; (576) [----] end if; (576) [----] elseif true then (576) [----] if (T7.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T7.activation.normalArc[i]) and not T7.activation.tIn[i] - (T7.activation.minTokens[i] + T7.activation.arcWeightIn[i]) >= (-1e-9) then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T7.activation.tIn[i] > T7.activation.testValue[i] then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T7.activation.tIn[i] >= T7.activation.testValue[i] then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T7.activation.tIn[i] < T7.activation.testValue[i] then (576) [----] T7.activation.active := false; (576) [----] elseif T7.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T7.activation.tIn[i] <= T7.activation.testValue[i] then (576) [----] T7.activation.active := false; (576) [----] end if; (576) [----] end if; (576) [----] end for; (576) [----] T7.activation.active := T7.activation.active and true; (577) [ALGO] (1) ($RES_SIM_2) (577) [----] T8.activation.active := true; (577) [----] for i in 1:1 loop (577) [----] if T8.activation.disPlaceIn[i] then (577) [----] if (T8.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T8.activation.normalArc[i]) and not T8.activation.tIntIn[i] - T8.activation.arcWeightIntIn[i] >= T8.activation.minTokensInt[i] then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T8.activation.tIntIn[i] > T8.activation.testValueInt[i] then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T8.activation.tIntIn[i] >= T8.activation.testValueInt[i] then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T8.activation.tIntIn[i] < T8.activation.testValueInt[i] then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T8.activation.tIntIn[i] <= T8.activation.testValueInt[i] then (577) [----] T8.activation.active := false; (577) [----] end if; (577) [----] elseif true then (577) [----] if (T8.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T8.activation.normalArc[i]) and not T8.activation.tIn[i] - (T8.activation.minTokens[i] + T8.activation.arcWeightIn[i]) >= (-1e-9) then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T8.activation.tIn[i] > T8.activation.testValue[i] then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T8.activation.tIn[i] >= T8.activation.testValue[i] then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T8.activation.tIn[i] < T8.activation.testValue[i] then (577) [----] T8.activation.active := false; (577) [----] elseif T8.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T8.activation.tIn[i] <= T8.activation.testValue[i] then (577) [----] T8.activation.active := false; (577) [----] end if; (577) [----] end if; (577) [----] end for; (577) [----] T8.activation.active := T8.activation.active and true; (578) [ARRY] (3) T8.color = if $SEV_240 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_25) (579) [WHEN] (1)when T8.fire then (579) [----] T8.fireTime := time (579) [----] end when; (580) [WHEN] (1)when T8.fire then (580) [----] T8.ani := true (580) [----] end when; (581) [SCAL] (1) T8.delayPassed = $SEV_241 ($RES_SIM_29) (582) [WHEN] (1)when T8.active then (582) [----] T8.firingTime := time + T8.delay_ (582) [----] end when; (583) [SCAL] (1) T8.active = $SEV_242 ($RES_SIM_31) (584) [-IF-] (1)if T7.disPlaceIn[1] then (584) [----] [SCAL] (1) T7.arcWeightIntIn[1] = integer(T7.arcWeightIn[1]) ($RES_SIM_33) (584) [----] else (584) [----] [SCAL] (1) T7.arcWeightIntIn[1] = 1 ($RES_SIM_34) (584) [----] end if; (585) [ARRY] (3) T7.color = if $SEV_245 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_39) (586) [WHEN] (1)when T7.fire then (586) [----] T7.ani := true (586) [----] end when; (587) [WHEN] (1)when T7.fire then (587) [----] T7.fireTime := time (587) [----] end when; (588) [SCAL] (1) T7.delayPassed = $SEV_246 ($RES_SIM_43) (589) [WHEN] (1)when T7.active then (589) [----] T7.firingTime := time + T7.delay_ (589) [----] end when; (590) [SCAL] (1) T7.active = $SEV_247 ($RES_SIM_45) (591) [-IF-] (1)if T6.disPlaceIn[1] then (591) [----] [SCAL] (1) T6.arcWeightIntIn[1] = integer(T6.arcWeightIn[1]) ($RES_SIM_47) (591) [----] else (591) [----] [SCAL] (1) T6.arcWeightIntIn[1] = 1 ($RES_SIM_48) (591) [----] end if;