Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr PNlib_PNlib.Examples.HybTest.OutputConflictType3.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.OutputConflictType3,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|T1.fire|T1.instantaneousSpeed|T1.maximumSpeed|T2.active|T2.fire|T3.fire|T3.instantaneousSpeed|T3.maximumSpeed|Time",fileNamePrefix="PNlib_PNlib.Examples.HybTest.OutputConflictType3") translateModel(PNlib.Examples.HybTest.OutputConflictType3,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|T1.fire|T1.instantaneousSpeed|T1.maximumSpeed|T2.active|T2.fire|T3.fire|T3.instantaneousSpeed|T3.maximumSpeed|Time",fileNamePrefix="PNlib_PNlib.Examples.HybTest.OutputConflictType3") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001259/0.001259, allocations: 107.2 kB / 16.38 MB, free: 6.43 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.001275/0.001275, allocations: 186.5 kB / 17.31 MB, free: 5.777 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.274/1.274, allocations: 222.9 MB / 241 MB, free: 15.16 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.07061/0.07061, allocations: 16.73 MB / 307.9 MB, free: 14.24 MB / 254.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.818e-05/2.831e-05, allocations: 5.266 kB / 373 MB, free: 48.59 MB / 302.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.HybTest.OutputConflictType3): time 0.004019/0.004064, allocations: 4.224 MB / 377.2 MB, free: 47.33 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.005636/0.009716, allocations: 3.874 MB / 381.1 MB, free: 46.71 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0006274/0.01036, allocations: 26.69 kB / 381.1 MB, free: 46.71 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0005731/0.01096, allocations: 374.7 kB / 381.5 MB, free: 46.59 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0006558/0.01163, allocations: 375.4 kB / 381.8 MB, free: 46.41 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.003113/0.01475, allocations: 1.891 MB / 383.7 MB, free: 46.11 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.005214/0.01998, allocations: 4.908 MB / 388.6 MB, free: 44.09 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0009265/0.02092, allocations: 0.7386 MB / 389.4 MB, free: 43.81 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.00271/0.02364, allocations: 1.877 MB / 391.2 MB, free: 42.97 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.002233/0.02589, allocations: 1.392 MB / 392.6 MB, free: 42.31 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0008208/0.02673, allocations: 309.5 kB / 392.9 MB, free: 42.31 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.001567/0.0283, allocations: 0.9755 MB / 393.9 MB, free: 42.09 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.002245/0.03056, allocations: 3.641 MB / 397.6 MB, free: 39.63 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.001103/0.03167, allocations: 2.037 MB / 399.6 MB, free: 38.13 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.001679/0.03336, allocations: 472.3 kB / 400.1 MB, free: 37.67 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.0009405/0.03431, allocations: 215.1 kB / 400.3 MB, free: 37.46 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: 675 (504) * Number of variables: 675 (595) Notification: Performance of Bindings: time 0.01055/0.04488, allocations: 11.71 MB / 412 MB, free: 25.57 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.001767/0.04666, allocations: 2.103 MB / 414.1 MB, free: 23.51 MB / 302.1 MB Notification: Performance of Early Inline: time 0.008642/0.05531, allocations: 11.99 MB / 426.1 MB, free: 11.45 MB / 302.1 MB Notification: Performance of simplify1: time 0.0005346/0.05588, allocations: 391.3 kB / 426.4 MB, free: 11.07 MB / 302.1 MB Notification: Performance of Alias: time 0.00712/0.063, allocations: 8.048 MB / 434.5 MB, free: 2.406 MB / 302.1 MB Notification: Performance of simplify2: time 0.0004806/0.06351, allocations: 351.4 kB / 434.8 MB, free: 2.062 MB / 302.1 MB Notification: Performance of Events: time 0.003316/0.06684, allocations: 3.32 MB / 438.2 MB, free: 14.84 MB / 318.1 MB Notification: Performance of Detect States: time 0.003998/0.07085, allocations: 4.276 MB / 442.4 MB, free: 10.52 MB / 318.1 MB Notification: Performance of Partitioning: time 0.004833/0.07569, allocations: 4.081 MB / 446.5 MB, free: 6.203 MB / 318.1 MB Error: Internal error NBAdjacency.Matrix.createPseudo failed for: [SCAL] (1) $FUN_34 = sum(P2.enableIn.enablingProb[P2.enableIn.remTAin[1:P2.enableIn.nremTAin]]) ($RES_$AUX_604) Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (598/689) **************************** (1) [ALGB] (3) Real[3] P2.color (2) [DISC] (1) Integer[1] T3.outPlaces.arcWeightint = {T3.arcWeightIntOut[1]} (3) [DISC] (1) protected Boolean[1] P1.enableIn.TEin_ (4) [ALGB] (3) Real[3] P1.color (5) [ALGB] (1) protected Real T1.prelimSpeed (6) [DISC] (1) Integer[1] T2.outPlaces.maxTokensint = {T2.maxTokensInt[1]} (7) [ALGB] (1) Real[1] T1.inPlaces.testValue = {T1.testValue[1]} (8) [DISC] (1) protected Integer P3.enableOut.t = P3.enableOut.t (9) [ALGB] (1) Real[1] P3.inTransition.maxTokens = {P3.maxTokens} (10) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.inPlaces.arcType = {T2.arcType[1]} (11) [DISC] (2) protected Boolean[2] P1.enableOut.disTransition = P1.disTransitionOut (12) [DISC] (1) protected Integer P3.enableIn.Index (13) [ALGB] (1) Real[1] P1.inTransition.t = {P1.t_} (14) [DISC] (1) Boolean[1] P1.inTransition.active = {P1.activeIn[1]} (15) [ALGB] (1) Real[1] T1.arcWeightIn = {1.0 for $i1 in 1:1} (16) [DISC] (1) protected Boolean P2.emptying.anytrue (17) [DISC] (1) protected Integer[1] T1.activation.arcWeightIntOut = T1.arcWeightIntOut (18) [DISC] (1) protected Integer P2.enableIn.k (19) [DISC] (1) protected Integer[1] T1.activation.minTokensInt = T1.minTokensInt (20) [ALGB] (1) Real[1] P1.inTransition.maxSpeed = {P1.maxSpeedIn[1]} (21) [ALGB] (2) protected Real[2] P1.firingSumOut.arcWeight = P1.arcWeightOut (22) [DISC] (1) protected Integer P1.enableOut.Index (23) [DISC] (1) Integer[1] T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} (24) [DISC] (1) Boolean[1] $SEV_182[$i1] (25) [DISC] (1) protected discrete Real P2.enableIn.arcWeightSum (26) [DISC] (1) Boolean[1] T3.outPlaces.fire = {T3.fire} (27) [ALGB] (1) Real[1] P1.inTransition.prelimSpeed = {P1.prelimSpeedIn[1]} (28) [DISC] (1) protected Integer[1] T1.minTokensInt (29) [DISC] (1) protected Integer P1.disMarksOut.numtrue (30) [DISC] (2) protected Boolean[2] P1.emptying.vec = P1.preFireOut and not P1.disTransitionOut (31) [DISC] (1) protected discrete Real P2.enableIn.randNum (32) [ALGB] (1) Real[1] T1.inPlaces.minTokens = {T1.minTokens[1]} (33) [DISC] (1) Boolean[1] $SEV_175[$i1] (34) [ALGB] (2) protected Real[2] P1.firingSumOut.instSpeed = P1.instSpeedOut (35) [DISC] (1) protected Integer[1] T2.activation.minTokensInt = T2.minTokensInt (36) [DISC] (1) Integer[1] T3.outPlaces.maxTokensint = {T3.maxTokensInt[1]} (37) [DISC] (1) protected Integer[1] T2.testValueInt (38) [DISC] (1) Boolean[1] $FUN_54 (39) [ALGB] (1) Real $FUN_51 (40) [ALGB] (1) Real[1] T1.inPlaces.maxSpeed = {T1.maximumSpeed} (41) [ALGB] (1) Real[1] P2.inTransition.maxSpeed = {P2.maxSpeedIn[1]} (42) [DISC] (1) Boolean $FUN_50 (43) [DISC] (1) protected Boolean[1] P3.delayPassedIn.vec = P3.activeIn and P3.disTransitionIn (44) [DISC] (1) protected discrete Real P1.enableIn.randNum (45) [ALGB] (1) protected Real[1] T2.minTokens (46) [DISC] (1) Boolean[1] T1.inPlaces.disTransition = {false for $i1 in 1:1} (47) [DISC] (1) Boolean[1] $SEV_155[$i1] (48) [ALGB] (1) Real[1] T3.arcWeightOut = {1.0 for $i1 in 1:1} (49) [ALGB] (1) Real[1] T1.inPlaces.decreasingFactor = {T1.decreasingFactorIn[1]} (50) [DISC] (1) protected discrete Real[1] P3.enableIn.cumEnablingProb (fixed = {true for $i1 in 1:1}, start = {0.0 for $i1 in 1:1}) (51) [DISC] (2) protected Boolean[2] P1.activeOut (52) [DISC] (1) Boolean[1] T1.inPlaces.enable = {T1.enableIn[1]} (53) [ALGB] (1) Real[1] T2.arcWeightIn = {1.0 for $i1 in 1:1} (54) [ALGB] (1) protected Real P1.tokenscale (55) [DISC] (1) Boolean[1] T1.inPlaces.fire = {T1.fire} (56) [ALGB] (1) Real $FUN_49 (57) [DISC] (1) Integer $FUN_48 (58) [ALGB] (1) Real[1] T1.outPlaces.maxTokens = {T1.maxTokens[1]} (59) [DISC] (1) Boolean[1] $FUN_47 (60) [DISC] (1) protected Boolean P1.emptying.anytrue (61) [ALGB] (1) Real $FUN_46 (62) [DISC] (1) protected Integer[1] T3.arcWeightIntOut (63) [DISC] (1) Boolean[1] $FUN_45 (64) [DISC] (1) protected Boolean P2.enableIn.delayPassed = P2.enableIn.delayPassed (65) [DISC] (1) protected Integer P1.delayPassedOut.numtrue (66) [DISC] (1) Boolean[1] $FUN_44 (67) [ALGB] (1) protected Real P1.firingSumOut.conFiringSum (68) [DISC] (1) Integer[1] $FUN_43 (69) [ALGB] (1) protected Real[1] T1.tIn (70) [DISC] (4) Integer[4] $FUN_42 (71) [ALGB] (1) Real $FUN_41 (72) [ALGB] (1) Real $FUN_40 (73) [DISC] (2) Boolean[2] P1.outTransition.disPlace = {false for $i1 in 1:2} (74) [DISC] (1) protected Boolean T2.delayPassed (fixed = true, start = false) (75) [ALGB] (1) Real[1] T3.outPlaces.arcWeight = {T3.arcWeightOut[1]} (76) [ALGB] (1) protected Real[1] T3.tOut (77) [ALGB] (2) Real[2] P1.outTransition.minTokens = {P1.minMarks for $outTransition1 in 1:2} (78) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.inPlaces.arcType = {T1.arcType[1]} (79) [ALGB] (1) protected Real[1] T2.testValue (80) [DISC] (1) protected Boolean[1] T1.activation.disPlaceIn = T1.disPlaceIn (81) [DISC] (2) protected Boolean[2] P1.enableOut.TAout = P1.activeOut (82) [ALGB] (1) Real[1] T3.outPlaces.instSpeed = {T3.instantaneousSpeed} (83) [DISC] (1) protected Boolean T1.activation.active (84) [DISC] (1) Integer $FUN_39 (85) [DISC] (1) Integer $FUN_38 (86) [DISC] (1) Boolean[1] T2.inPlaces.disTransition = {true for $i1 in 1:1} (87) [DISC] (1) Integer[1] $FUN_37 (88) [DISC] (4) Integer[4] $FUN_36 (89) [ALGB] (1) Real $FUN_35 (90) [DISC] (1) Boolean[1] T2.outPlaces.enabledByInPlaces = {T2.enabledByInPlaces} (91) [ALGB] (1) Real $FUN_34 (92) [DISC] (1) Boolean[1] T2.inPlaces.fire = {T2.fire} (93) [DISC] (1) protected Boolean[1] P2.enableIn.TAein = P2.enabledByInPlaces and P2.activeIn (94) [DISC] (1) Integer $FUN_33 (95) [DISC] (1) Boolean[1] T2.outPlaces.disTransition = {true for $i1 in 1:1} (96) [DISC] (1) Boolean[1] $FUN_32 (97) [ALGB] (1) Real $FUN_31 (98) [DISC] (1) Boolean[1] $FUN_30 (99) [ALGB] (1) protected Real P1.firingSumIn.conFiringSum (100) [DISC] (1) protected Boolean P2.feeding.anytrue (101) [DISS] (1) protected Boolean T2.ani (102) [DISC] (1) protected discrete Real P2.enableIn.sumEnablingProbTAin (103) [DER-] (1) Real $DER.P2.t_ (104) [DISC] (1) protected Integer P3.firingSumOut.firingSum (105) [DISC] (1) protected Boolean[1] P1.disTransitionIn (106) [DISC] (2) protected Boolean[2] P1.enableOut.TEout (107) [DISC] (1) protected Integer P1.enableOut.nremTAout (108) [DISC] (1) Boolean[1] P3.inTransition.fire = {P3.fireIn[1]} (109) [DISC] (1) protected Integer P1.enableIn.nTAin (110) [DISC] (1) Boolean[1] P1.inTransition.disTransition = {P1.disTransitionIn[1]} (111) [ALGB] (1) Real[1] T1.inPlaces.t = {T1.tIn[1]} (112) [ALGB] (2) Real[2] P1.outTransition.testValue = {-1.0 for $i1 in 1:2} (113) [ALGB] (1) Real P3.levelCon (114) [ALGB] (1) protected Real[1] P2.maxSpeedIn (115) [DISC] (2) Integer[2] $FUN_29 (116) [DISC] (4) Integer[4] $FUN_28 (117) [ALGB] (1) Real $FUN_27 (118) [DISC] (1) protected discrete Real P3.enableIn.sumEnablingProbTAin (119) [ALGB] (1) Real $FUN_26 (120) [DISC] (1) Boolean[1] T3.outPlaces.disTransition = {false for $i1 in 1:1} (121) [DISC] (1) Integer $FUN_25 (122) [DISC] (2) Boolean[2] $FUN_24 (123) [ALGB] (1) Real $FUN_23 (124) [ALGB] (1) protected Real[1] T2.activation.maxTokens = T2.maxTokens (125) [DISC] (1) protected Integer P1.delayPassedIn.numtrue (126) [DISC] (2) Boolean[2] $FUN_22 (127) [DISC] (1) protected Boolean P2.disMarksOut.anytrue (128) [DISC] (1) Integer[1] $FUN_21 (129) [DISC] (4) Integer[4] $FUN_20 (130) [DISC] (2) protected Boolean[2] P1.enableOut.TEout_ (131) [ALGB] (1) Real[1] P1.inTransition.arcWeight = {P1.arcWeightIn[1]} (132) [ALGB] (1) protected Real[1] T2.activation.tIn = T2.tIn (133) [DISC] (1) Boolean $SEV_199 (134) [DISC] (1) Boolean T2.fire (135) [DISC] (1) Boolean $SEV_198 (136) [DISC] (1) Boolean $SEV_195 (137) [DISC] (1) Boolean $SEV_194 (138) [ALGB] (2) Real[2] P1.outTransition.instSpeed = {P1.instSpeedOut[$outTransition1] for $outTransition1 in 1:2} (139) [DISC] (1) Boolean $SEV_193 (140) [DISC] (1) Boolean $SEV_192 (141) [DISC] (4) protected Integer[4] P1.enableIn.state128 (142) [DISC] (1) protected Integer[1] T1.activation.testValueInt = T1.testValueInt (143) [DISC] (1) protected Integer[1] T1.tIntOut (144) [DISC] (1) protected discrete Real P3.enableIn.randNum (145) [ALGB] (1) Real[1] P1.inTransition.instSpeed = {P1.instSpeedIn[1]} (146) [ALGB] (1) Real $FUN_19 (147) [ALGB] (1) Real $FUN_18 (148) [ALGB] (1) protected Real[1] T3.maxTokens (149) [DISC] (1) Integer $FUN_17 (150) [DISC] (1) Boolean[1] $FUN_16 (151) [ALGB] (1) Real $FUN_15 (152) [DISC] (1) Boolean[1] $FUN_14 (153) [ALGB] (0) Real[0] $FUN_12 (154) [ALGB] (1) Real[1] $FUN_11 (155) [ALGB] (2) Real[2] P1.outTransition.arcWeight = {P1.arcWeightOut[$outTransition1] for $outTransition1 in 1:2} (156) [DISC] (1) protected Boolean[1] P2.enableIn.disTAin (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (157) [DISC] (1) protected Integer P2.emptying.numtrue (158) [DISC] (1) protected Integer[1] T1.testValueInt (159) [DISC] (1) protected discrete Real P3.enableIn.benefitMax (160) [DISC] (1) protected Boolean P1.enableOut.endWhile (161) [DISC] (1) protected Integer[1] P3.firingSumIn.arcWeight = P3.arcWeightIn (162) [DISC] (1) Boolean $SEV_186 (163) [ALGB] (1) Real[1] T2.inPlaces.decreasingFactor (164) [DISC] (1) Boolean $SEV_185 (165) [DISC] (1) Boolean[1] T2.outPlaces.enable = {T2.enableOut[1]} (166) [DISC] (1) protected Integer P3.firingSumIn.firingSum (167) [ALGB] (1) protected Real P1.conMarkChange (168) [DISC] (1) protected Integer[1] T2.activation.testValueInt = T2.testValueInt (169) [DISC] (1) Boolean[1] T2.inPlaces.fed (170) [DISC] (1) protected Integer[1] T2.tIntIn (171) [ALGB] (1) protected Real T3.prelimSpeed (172) [DISC] (1) Boolean $SEV_180 (173) [ALGB] (1) Real[1] T2.arcWeightOut = {1.0 for $i1 in 1:1} (174) [ALGB] (1) Real[1] P2.inTransition.arcWeight = {P2.arcWeightIn[1]} (175) [DISC] (1) Boolean[1] T3.outPlaces.enabledByInPlaces = {true for $i1 in 1:1} (176) [DISC] (1) protected Boolean P1.disMarksOut.anytrue (177) [ALGB] (1) protected Real[1] P1.enableIn.enablingProb = P1.enablingProbIn (178) [ALGB] (1) Real[1] T3.outPlaces.maxSpeed = {T3.maximumSpeed} (179) [DISC] (1) protected Boolean[1] T1.disPlaceIn (180) [ALGB] (1) protected Real P1.disMarkChange (181) [DISC] (1) protected Boolean[1] P1.disMarksIn.vec = P1.fireIn and P1.disTransitionIn (182) [ALGB] (1) protected Real[1] T1.activation.maxTokens = T1.maxTokens (183) [DISS] (1) protected Real T2.fireTime (184) [ALGB] (1) Real T1.instantaneousSpeed (185) [DISC] (1) Boolean[1] T1.outPlaces.emptied = {T1.emptied[1]} (186) [DISC] (1) Boolean[1] T2.inPlaces.normalArc = {T2.normalArc[1]} (187) [ALGB] (1) Real[1] P2.inTransition.instSpeed = {P2.instSpeedIn[1]} (188) [DISC] (1) Boolean $SEV_179 (189) [DISC] (1) Boolean $SEV_178 (190) [DISC] (1) protected Boolean[1] T2.enableOut (191) [DISC] (1) Boolean $SEV_173 (192) [DISC] (1) Boolean $SEV_172 (193) [DISC] (1) Boolean $SEV_171 (194) [DISC] (1) Boolean $SEV_170 (195) [DISC] (1) protected Integer P2.enableIn.nremTAin (196) [ALGB] (1) Real[1] T1.outPlaces.t = {T1.tOut[1]} (197) [DISC] (1) protected Boolean[1] P3.disTransitionIn (198) [ALGB] (1) Real[1] T1.inPlaces.prelimSpeed = {T1.prelimSpeed} (199) [ALGB] (1) Real[1] P3.inTransition.arcWeight (200) [DISC] (1) Boolean $SEV_169 (201) [DISC] (1) Boolean $SEV_168 (202) [DISC] (1) protected Integer[1] P1.enableIn.remTAin (fixed = {true for $i1 in 1:1}, start = {0 for $i1 in 1:1}) (203) [DISC] (1) Boolean $SEV_164 (204) [DISC] (1) Boolean $SEV_163 (205) [DISC] (1) protected Integer P1.enableIn.nremTAin (206) [DISC] (1) Boolean $SEV_162 (207) [DISC] (1) Boolean $SEV_161 (208) [DISC] (1) protected Integer[1] T3.activation.tIntOut = T3.tIntOut (209) [DISC] (1) protected Integer[1] P2.enableIn.enablingPrio = P2.enablingPrioIn (210) [ALGB] (1) protected Real[1] P2.enableIn.arcWeight = P2.arcWeightIn (211) [DISC] (1) protected Boolean[1] P2.fireIn (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (212) [DISC] (1) Boolean $TEV_9 (213) [DISC] (1) Boolean $TEV_8 (214) [DISC] (1) Integer[1] T2.inPlaces.minTokensint = {T2.minTokensInt[1]} (215) [DISC] (1) Boolean $TEV_7 (216) [DISC] (1) protected Boolean[1] P2.disMarksIn.vec = P2.fireIn and P2.disTransitionIn (217) [DISC] (1) Boolean $TEV_6 (218) [DISC] (1) Boolean $TEV_5 (219) [ALGB] (1) protected Real[1] T1.minTokens (220) [DISC] (1) Boolean $TEV_4 (221) [DISC] (1) Boolean $TEV_3 (222) [ALGB] (1) Real[1] T3.outPlaces.speedSum = {T3.speedSumOut[1]} (223) [DISC] (1) Boolean $TEV_2 (224) [DISC] (1) protected Boolean[1] P1.enableIn.active = P1.activeIn (225) [DISC] (1) Boolean[1] P3.inTransition.enable = {P3.enableIn.TEin_[1]} (226) [DISC] (1) Boolean $SEV_157 (227) [DISC] (1) protected discrete Real P1.enableOut.randNum (228) [ALGB] (1) Real[1] T1.outPlaces.speedSum = {T1.speedSumOut[1]} (229) [DISC] (1) protected Integer P2.feeding.numtrue (230) [DISC] (1) Boolean[1] P2.inTransition.enabledByInPlaces = {P2.enabledByInPlaces[1]} (231) [ALGB] (1) Real P2.levelCon (232) [DISC] (1) protected Boolean[1] T1.activation.fed = T1.fed (233) [DISC] (2) protected Boolean[2] P1.firingSumOut.fire = P1.preFireOut (234) [ALGB] (1) protected Real P1.firingSumOut.disFiringSum (235) [DISC] (1) Boolean[1] P2.inTransition.enable = {P2.enableIn.TEin_[1]} (236) [ALGB] (1) Real[1] P2.inTransition.prelimSpeed = {P2.prelimSpeedIn[1]} (237) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.arcType (238) [ALGB] (1) Real T1.actualSpeed = if T1.fire then T1.instantaneousSpeed else 0.0 (239) [DISC] (1) protected Integer P2.enableIn.nTAin (240) [DISC] (1) protected Integer[1] T1.activation.tIntOut = T1.tIntOut (241) [DISC] (1) protected Boolean[1] P3.enableIn.TAein = P3.enabledByInPlaces and P3.activeIn (242) [ALGB] (1) protected Real[1] P1.firingSumIn.vec1 (243) [ALGB] (1) protected Real[1] P1.firingSumIn.vec2 (244) [DISC] (1) protected Integer P2.disMarksOut.numtrue (245) [ALGB] (1) protected Real[1] T1.activation.arcWeightOut = T1.arcWeightOut (246) [ALGB] (1) protected Real[1] T2.activation.tOut = T2.tOut (247) [ALGB] (1) protected Real[1] T1.testValue (248) [DISC] (1) Boolean[1] T3.outPlaces.enable (249) [DISC] (1) protected Boolean[1] P1.enableIn.TAein = P1.enabledByInPlaces and P1.activeIn (250) [DISC] (4) protected Integer[4] P2.enableIn.state128 (251) [DISC] (1) protected discrete Real[1] P2.enableIn.cumEnablingProb (fixed = {true for $i1 in 1:1}, start = {0.0 for $i1 in 1:1}) (252) [DISC] (1) Boolean[1] T2.inPlaces.disPlace = {T2.disPlaceIn[1]} (253) [DISC] (1) protected Integer[1] T3.tIntOut (254) [DISC] (2) protected Boolean[2] P1.disTransitionOut (255) [DISC] (1) Boolean[1] T1.inPlaces.fed = {T1.fed[1]} (256) [DISC] (1) protected Boolean T1.activation.NoTokens (257) [ALGB] (1) Real[1] T1.arcWeightOut = {1.0 for $i1 in 1:1} (258) [DISC] (1) protected discrete Real P1.enableOut.sumEnablingProbTAout (259) [ALGB] (1) protected Real[1] T1.speedSumIn (260) [DISC] (1) protected Boolean[1] P3.enabledByInPlaces (261) [ALGB] (2) protected Real[2] P1.decFactorOut (262) [DISC] (1) Boolean T2.active (263) [DISC] (2) protected Boolean[2] P1.firingSumOut.disTransition = P1.disTransitionOut (264) [ALGB] (1) protected Real[1] T2.activation.arcWeightOut = T2.arcWeightOut (265) [DISC] (1) protected Integer P1.enableIn.k (266) [ALGB] (1) Real[1] P3.inTransition.t = {P3.pret} (267) [DISC] (2) Boolean[2] $SEV_197[$i1] (268) [DISC] (1) Boolean[1] P3.inTransition.disPlace = {true for $i1 in 1:1} (269) [DISC] (1) Boolean[1] P2.inTransition.fire = {P2.fireIn[1]} (270) [DISC] (2) protected discrete Real[2] P1.enableOut.cumEnablingProb (fixed = {true for $i1 in 1:2}, start = {0.0 for $i1 in 1:2}) (271) [DISC] (1) Boolean[1] T1.outPlaces.fire = {T1.fire} (272) [ALGB] (1) Real[1] T1.outPlaces.maxSpeed = {T1.maximumSpeed} (273) [DISC] (1) Boolean[1] P2.inTransition.disTransition = {P2.disTransitionIn[1]} (274) [DISC] (1) Boolean[1] $SEV_184[$i1] (275) [DISC] (1) protected Integer[1] T3.activation.maxTokensInt = T3.maxTokensInt (276) [DISC] (1) Boolean[1] $SEV_181[$i1] (277) [DISC] (1) protected Boolean[1] P1.feeding.vec = P1.preFireIn and not P1.disTransitionIn (278) [DISC] (2) Boolean[2] P1.outTransition.disTransition = {P1.disTransitionOut[$outTransition1] for $outTransition1 in 1:2} (279) [DISC] (1) Boolean $SEV_216 (280) [DISC] (1) Boolean[1] $SEV_177[$i1] (281) [DISC] (1) protected discrete Real[1] P1.enableIn.cumEnablingProb (fixed = {true for $i1 in 1:1}, start = {0.0 for $i1 in 1:1}) (282) [DISC] (1) Boolean $SEV_215 (283) [DISC] (1) Boolean[1] $SEV_174[$i1] (284) [DISC] (1) Boolean $SEV_214 (285) [DISC] (1) Boolean $SEV_213 (286) [DISS] (1) Integer P3.t (fixed = true, start = P3.startTokens) (287) [DISC] (1) Boolean $SEV_212 (288) [DISC] (1) Boolean[1] P1.inTransition.enabledByInPlaces = {P1.enabledByInPlaces[1]} (289) [DISC] (1) Boolean $SEV_211 (290) [DISC] (1) Boolean $SEV_210 (291) [DISC] (1) Integer[1] P1.inTransition.tint = {1 for $i1 in 1:1} (292) [DISC] (1) Boolean[1] T2.outPlaces.disPlace = {T2.disPlaceOut[1]} (293) [DISC] (1) protected Boolean T3.activation.NoTokens (294) [DISC] (1) protected Integer[1] P1.enableIn.enablingPrio = P1.enablingPrioIn (295) [DER-] (1) Real $DER.P1.t_ (296) [ALGB] (1) protected Real[1] T1.activation.arcWeightIn = T1.arcWeightIn (297) [DISC] (2) Integer[2] P1.outTransition.tint = {1 for $i1 in 1:2} (298) [DISC] (1) Integer[1] P2.inTransition.arcWeightint (299) [DISC] (1) protected Integer[1] P3.enableIn.arcWeight = P3.arcWeightIn (300) [DISC] (1) protected Boolean[1] P1.enableIn.disTransition = P1.disTransitionIn (301) [ALGB] (1) protected Real[1] T2.maxTokens (302) [ALGB] (2) Real[2] P1.outTransition.t = {P1.t_ for $outTransition1 in 1:2} (303) [DISC] (1) protected Boolean[1] T1.activation.normalArc = T1.normalArc (304) [DISC] (1) protected Integer P1.disMarksIn.numtrue (305) [DISC] (1) Boolean $SEV_209 (306) [DISC] (1) Boolean $SEV_208 (307) [DISC] (1) Boolean $SEV_207 (308) [DISC] (1) Boolean $SEV_206 (309) [DISC] (1) Boolean[1] T2.outPlaces.fire = {T2.fire} (310) [DISC] (1) Boolean $SEV_205 (311) [DISC] (1) Boolean $SEV_204 (312) [DISC] (2) protected Boolean[2] P1.delayPassedOut.vec = P1.activeOut and P1.disTransitionOut (313) [DISC] (1) Boolean $SEV_203 (314) [DISC] (1) Boolean $SEV_202 (315) [ALGB] (1) protected Real[1] P1.arcWeightIn (316) [DISC] (1) Boolean $SEV_201 (317) [DISC] (1) Boolean $SEV_200 (318) [ALGB] (1) protected Real P3.tokenscale (319) [ALGB] (1) Real[1] P2.inTransition.decreasingFactor = {P2.decFactorIn[1]} (320) [ALGB] (1) Real[1] T1.outPlaces.decreasingFactor = {T1.decreasingFactorOut[1]} (321) [DISC] (1) Boolean[1] T2.inPlaces.enable = {T2.enableIn[1]} (322) [DISC] (1) protected Integer[1] T2.activation.arcWeightIntOut = T2.arcWeightIntOut (323) [ALGB] (1) protected Real[1] T2.tOut (324) [DISC] (2) Integer[2] P1.outTransition.arcWeightint (325) [DISC] (1) protected Boolean[1] P3.activeIn (326) [DISC] (1) protected Integer[1] T1.activation.arcWeightIntIn = T1.arcWeightIntIn (327) [ALGB] (1) Real P2.pc_t = P2.pc_t (328) [ALGB] (1) protected Real[1] P1.decFactorIn (329) [DISC] (1) protected Integer[1] T2.activation.tIntIn = T2.tIntIn (330) [ALGB] (1) protected Real[1] T2.activation.arcWeightIn = T2.arcWeightIn (331) [DISC] (1) protected Boolean[1] T3.activation.weaklyOutputActiveVec (332) [ALGB] (1) protected Real[1] P2.firingSumIn.vec1 (333) [ALGB] (1) protected Real[1] T2.activation.testValue = T2.testValue (334) [ALGB] (1) protected Real[1] P2.firingSumIn.vec2 (335) [DISC] (1) protected Boolean[1] P2.enableIn.disTransition = P2.disTransitionIn (336) [DISC] (1) protected Boolean[1] P2.enableIn.TEin_ (337) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.activation.arcType = T1.arcType (338) [DISC] (1) Boolean[1] T1.inPlaces.active = {T1.activation.active} (339) [DISC] (1) Integer[1] P2.inTransition.maxTokensint = {1 for $i1 in 1:1} (340) [ALGB] (1) protected Real[1] P2.enableIn.enablingProb = P2.enablingProbIn (341) [ALGB] (1) Real P1.levelCon (342) [DISC] (1) protected Boolean[1] T1.disPlaceOut (343) [ALGB] (1) protected Real[1] T3.speedSumOut (344) [DISC] (1) protected Boolean[1] P2.enableIn.TEin (345) [ALGB] (1) protected Real[1] T1.decreasingFactorOut (346) [ALGB] (1) Real[1] T2.inPlaces.t = {T2.tIn[1]} (347) [ALGB] (1) protected Real[1] P1.maxSpeedIn (348) [DISC] (1) protected Integer[1] T1.arcWeightIntOut (349) [DISC] (1) protected Boolean[1] P2.preFireIn (350) [DISC] (1) protected Boolean[1] P2.feeding.vec = P2.preFireIn and not P2.disTransitionIn (351) [ALGB] (1) protected Real[1] T2.activation.minTokens = T2.minTokens (352) [ALGB] (2) Real[2] P1.outTransition.speedSum = {P1.firingSumIn.conFiringSum for $outTransition1 in 1:2} (353) [DISC] (1) protected Boolean P3.enableIn.endWhile (354) [DISC] (1) Boolean T1.fire (355) [DISC] (1) protected Boolean T2.enabledByInPlaces = PNlib.Functions.OddsAndEnds.allTrue(T2.enableIn) (356) [DISC] (2) protected Boolean[2] P1.preFireOut (357) [ALGB] (1) Real[1] T2.outPlaces.maxTokens = {T2.maxTokens[1]} (358) [DISC] (1) protected Integer P3.enableIn.nTAin (359) [DISC] (1) Boolean[1] T1.inPlaces.normalArc = {T1.normalArc[1]} (360) [DISC] (1) protected discrete Real P3.enableIn.benefitLimit (361) [ALGB] (2) protected Real[2] P1.arcWeightOut (362) [DISC] (1) Boolean[1] T3.outPlaces.emptied = {T3.emptied[1]} (363) [DISC] (1) Boolean[1] T1.outPlaces.active = {T1.activation.active} (364) [ALGB] (1) protected Real[1] P2.arcWeightIn (365) [DISC] (1) protected Boolean P1.enableIn.endWhile (366) [ALGB] (1) Real[1] T3.outPlaces.prelimSpeed = {T3.prelimSpeed} (367) [ALGB] (1) protected Real P2.disMarkChange (368) [DISC] (1) Integer[1] P3.inTransition.maxTokensint = {P3.maxTokens} (369) [ALGB] (2) protected Real[2] P1.maxSpeedOut (370) [DISC] (1) Integer[1] T2.inPlaces.testValueint = {T2.testValueInt[1]} (371) [DISC] (1) Integer[1] T3.outPlaces.tint = {T3.tIntOut[1]} (372) [DISC] (1) protected Integer P2.enableIn.posTE (373) [DISC] (1) protected Boolean[1] T2.disPlaceIn (374) [DISC] (1) protected Integer[1] T1.tIntIn (375) [ALGB] (1) Real T3.instantaneousSpeed (376) [DISC] (1) Boolean[1] P1.inTransition.disPlace = {false for $i1 in 1:1} (377) [DISC] (2) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[2] P1.outTransition.arcType = {PNlib.Types.ArcType.NormalArc for $i1 in 1:2} (378) [ALGB] (1) protected Real P2.conMarkChange (379) [ALGB] (1) protected Real[1] P2.decFactorIn (380) [DISC] (2) Boolean[2] P1.outTransition.active = {P1.activeOut[$outTransition1] for $outTransition1 in 1:2} (381) [ALGB] (1) protected Real[1] T3.decreasingFactorOut (382) [ALGB] (1) protected Real[1] P3.enableIn.enablingProb = P3.enablingProbIn (383) [ALGB] (1) protected Real[1] T2.tIn (384) [DISC] (1) protected Boolean[1] P1.enableIn.TEin (385) [ALGB] (2) protected Real[2] P1.enableOut.enablingProb = P1.enablingProbOut (386) [ALGB] (2) Real[2] P1.outTransition.maxSpeed = {P1.maxSpeedOut[$outTransition1] for $outTransition1 in 1:2} (387) [DISC] (1) protected Integer[1] T3.maxTokensInt (388) [DISC] (1) protected Boolean P1.disMarksIn.anytrue (389) [DISC] (1) Boolean[1] T2.outPlaces.active = {T2.delayPassed} (390) [DISC] (1) Integer[1] T1.inPlaces.testValueint = {T1.testValueInt[1]} (391) [ALGB] (1) protected Real T2.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (392) [DISC] (1) Boolean[1] T1.inPlaces.disPlace = {T1.disPlaceIn[1]} (393) [DISC] (1) Boolean[1] P2.inTransition.disPlace = {false for $i1 in 1:1} (394) [DISC] (1) protected Boolean[1] T2.normalArc (395) [ALGB] (1) protected Real[1] T1.activation.tOut = T1.tOut (396) [DISC] (1) Integer[1] T1.inPlaces.tint = {T1.tIntIn[1]} (397) [DISC] (1) protected Boolean T2.activation.active (398) [DISC] (1) protected Boolean[1] P2.delayPassedIn.vec = P2.activeIn and P2.disTransitionIn (399) [DISC] (1) protected Boolean[1] P2.activeIn (400) [ALGB] (3) Real[3] T3.color (401) [DISC] (1) protected Boolean[1] P1.firingSumIn.disTransition = P1.disTransitionIn (402) [DISC] (1) protected Boolean[1] T2.enableIn (403) [DISC] (1) Boolean[1] T1.outPlaces.disTransition = {false for $i1 in 1:1} (404) [ALGB] (3) protected Real[3] T2.color (405) [DISC] (2) Boolean[2] P1.outTransition.fed = {P1.feeding.anytrue for $outTransition1 in 1:2} (406) [DISC] (1) Integer[1] T2.inPlaces.tint = {T2.tIntIn[1]} (407) [ALGB] (3) Real[3] T1.color (408) [DISC] (2) Boolean[2] P1.outTransition.normalArc = {false for $i1 in 1:2} (409) [ALGB] (1) protected Real[1] T1.maxTokens (410) [ALGB] (1) Real[1] T3.outPlaces.decreasingFactor = {T3.decreasingFactorOut[1]} (411) [DISC] (1) protected discrete Real P1.enableIn.arcWeightSum (412) [DISC] (1) protected Boolean[1] P1.fireIn (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (413) [DISC] (1) protected Boolean[1] T2.disPlaceOut (414) [ALGB] (1) Real[1] P1.inTransition.decreasingFactor = {P1.decFactorIn[1]} (415) [DISC] (1) protected Boolean[1] P2.enableIn.active = P2.activeIn (416) [DISC] (1) Boolean[1] P1.inTransition.enable = {P1.enableIn.TEin_[1]} (417) [DISC] (1) protected Integer P1.enableIn.Index (418) [DISC] (1) Integer[1] P3.inTransition.tint = {P3.pret} (419) [DISC] (1) protected Boolean[1] P3.enableIn.TEin_ (420) [DISC] (1) protected Boolean[1] T3.activation.emptied = T3.emptied (421) [DISC] (1) protected Integer[1] P3.arcWeightIn (422) [DISC] (1) Boolean[1] T1.inPlaces.tokenInOut (423) [ALGB] (1) protected Real P2.firingSumIn.disFiringSum (424) [DISC] (1) Boolean[1] P1.inTransition.emptied = {P1.emptying.anytrue} (425) [ALGB] (1) Real[1] T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} (426) [DISC] (1) protected Integer P1.enableOut.nTAout (427) [DISC] (1) Boolean[1] T1.outPlaces.enabledByInPlaces = {true for $i1 in 1:1} (428) [ALGB] (1) Real[1] T2.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (429) [DISC] (1) Boolean[1] P2.inTransition.active = {P2.activeIn[1]} (430) [DISC] (2) Integer[2] P1.outTransition.minTokensint = {1 for $i1 in 1:2} (431) [DISC] (1) protected Boolean[1] P1.enabledByInPlaces (432) [DISC] (1) Integer[1] P1.inTransition.arcWeightint (433) [DISC] (1) Boolean[1] T3.outPlaces.disPlace = {T3.disPlaceOut[1]} (434) [DISC] (2) Boolean[2] $SEV_196[$i1] (435) [DISC] (1) protected Integer P3.enableIn.k (436) [DISC] (1) protected Boolean T1.fire_ = PNlib.Functions.OddsAndEnds.allTrue(PNlib.Functions.OddsAndEnds.boolOr(T1.enableIn, not T1.disPlaceIn)) (437) [ALGB] (1) protected Real[1] P3.enableIn.enablingBene = P3.enablingBeneIn (438) [DISC] (1) protected Boolean P3.enableIn.valid (439) [DISC] (1) protected Boolean[1] P1.preFireIn (440) [ALGB] (1) Real[1] T2.inPlaces.testValue = {T2.testValue[1]} (441) [DISC] (1) protected Boolean[1] P3.enableIn.active = P3.activeIn (442) [DISC] (1) Boolean[1] $SEV_183[$i1] (443) [DISC] (1) protected Boolean P2.disMarksIn.anytrue (444) [DISC] (1) Boolean[1] T3.outPlaces.active = {T3.activation.active} (445) [DISC] (1) protected Integer[1] T2.maxTokensInt (446) [ALGB] (1) protected Real[1] T3.activation.maxTokens = T3.maxTokens (447) [DISC] (1) Boolean[1] $SEV_176[$i1] (448) [DISC] (2) protected Boolean[2] P1.enableOut.disTAout (fixed = {true for $i1 in 1:2}, start = {false for $i1 in 1:2}) (449) [DISC] (1) Boolean[1] P2.inTransition.emptied = {P2.emptying.anytrue} (450) [ALGB] (1) protected Real[1] P1.enableIn.arcWeight = P1.arcWeightIn (451) [DISS] (1) protected Real T2.firingTime (452) [DISC] (1) Integer[1] T1.inPlaces.minTokensint = {T1.minTokensInt[1]} (453) [ALGB] (1) protected Real[1] P1.instSpeedIn (454) [ALGB] (1) protected Real[1] T1.decreasingFactorIn (455) [DISC] (1) protected Boolean[1] P3.enableIn.TEin (456) [ALGB] (2) protected Real[2] P1.prelimSpeedOut (457) [DISC] (1) protected Integer[1] P3.enableIn.enablingPrio = P3.enablingPrioIn (458) [DISC] (1) Boolean[1] $SEV_156[$i1] (459) [DISC] (1) protected Integer[1] T2.arcWeightIntIn (460) [ALGB] (1) Real[1] T2.inPlaces.speedSum (461) [ALGB] (1) protected Real[1] T1.speedSumOut (462) [DISC] (1) protected Integer P3.enableIn.posTE (463) [ALGB] (1) Real[1] T2.inPlaces.minTokens = {T2.minTokens[1]} (464) [DISC] (1) Integer[1] P1.inTransition.maxTokensint = {1 for $i1 in 1:1} (465) [DISC] (1) protected Boolean[1] T3.disPlaceOut (466) [DISC] (2) protected Integer[2] P1.enableOut.enablingPrio = P1.enablingPrioOut (467) [ALGB] (1) protected Real P2.tokenscale (468) [DISC] (1) protected Boolean[1] P1.activeIn (469) [DISC] (1) protected Boolean[1] T1.fed (470) [DISC] (1) protected Integer[1] T2.tIntOut (471) [ALGB] (1) Real[1] T2.outPlaces.arcWeight = {T2.arcWeightOut[1]} (472) [DISC] (1) protected Integer P3.delayPassedIn.numtrue (473) [DISC] (1) protected Boolean[1] T1.enableIn (474) [ALGB] (2) protected Real[2] P1.firingSumOut.vec1 (475) [ALGB] (2) protected Real[2] P1.firingSumOut.vec2 (476) [ALGB] (1) protected Real[1] T1.tOut (477) [DISC] (1) protected Integer P1.enableOut.posTE (478) [DISC] (1) protected Integer P3.enableIn.nremTAin (479) [DISC] (1) Boolean[1] P3.inTransition.enabledByInPlaces = {P3.enabledByInPlaces[1]} (480) [DISC] (1) protected Integer P1.enableOut.k (481) [DISC] (1) protected Integer[1] T1.arcWeightIntIn (482) [ALGB] (1) Real P1.pc_t = P1.pc_t (483) [DISC] (1) protected Boolean P1.enableIn.delayPassed = P1.enableIn.delayPassed (484) [DISC] (1) protected Boolean[1] P3.enableIn.disTransition = P3.disTransitionIn (485) [DISC] (2) protected Boolean[2] P1.disMarksOut.vec = P1.fireOut and P1.disTransitionOut (486) [DISC] (1) protected Boolean P1.feeding.anytrue (487) [DISC] (2) protected Boolean[2] P1.fireOut (fixed = {true for $i1 in 1:2}, start = {false for $i1 in 1:2}) (488) [DISC] (1) protected Boolean[1] T1.activation.weaklyInputActiveVec (489) [DISC] (1) protected Integer P2.delayPassedIn.numtrue (490) [ALGB] (1) protected Real[1] P2.firingSumIn.instSpeed = P2.instSpeedIn (491) [DISC] (1) protected Boolean[1] T1.emptied (492) [DISC] (1) Boolean[1] T2.inPlaces.active = {T2.delayPassed} (493) [DISC] (1) protected Boolean[1] T1.normalArc (494) [ALGB] (2) Real[2] $FUN_6 (495) [ALGB] (1) Real[1] $FUN_5 (496) [ALGB] (1) Real[1] T2.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (497) [ALGB] (1) protected Real[1] P2.firingSumIn.arcWeight = P2.arcWeightIn (498) [DISC] (1) protected Integer P2.enableIn.Index (499) [ALGB] (1) Real[1] T1.outPlaces.instSpeed = {T1.instantaneousSpeed} (500) [ALGB] (1) Real[1] P2.inTransition.t = {P2.t_} (501) [DISC] (1) protected Boolean[1] P2.enabledByInPlaces (502) [DISC] (1) protected Integer[1] T2.arcWeightIntOut (503) [DISC] (1) protected discrete Real P1.enableIn.sumEnablingProbTAin (504) [DISC] (1) protected Integer[1] T1.activation.maxTokensInt = T1.maxTokensInt (505) [ALGB] (1) protected Real[1] P1.firingSumIn.instSpeed = P1.instSpeedIn (506) [DISC] (1) Boolean T3.fire (507) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.activation.arcType = T2.arcType (508) [DISC] (2) Integer[2] P1.outTransition.testValueint = {-1 for $i1 in 1:2} (509) [DISC] (1) protected Integer[1] T2.activation.arcWeightIntIn = T2.arcWeightIntIn (510) [ALGB] (1) Real[1] T1.outPlaces.arcWeight = {T1.arcWeightOut[1]} (511) [ALGB] (1) Real[1] T2.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (512) [DISC] (4) protected Integer[4] P1.enableOut.state128 (513) [DISC] (1) protected Boolean[1] P1.delayPassedIn.vec = P1.activeIn and P1.disTransitionIn (514) [DISC] (1) protected Boolean P3.tokeninout (fixed = true, start = false) (515) [DISC] (1) protected Boolean[1] T1.activation.disPlaceOut = T1.disPlaceOut (516) [ALGB] (1) Real[1] T3.outPlaces.maxTokens = {T3.maxTokens[1]} (517) [ALGB] (1) protected Real[1] P2.instSpeedIn (518) [ALGB] (1) protected Real[1] P1.firingSumIn.arcWeight = P1.arcWeightIn (519) [DISC] (1) protected Integer[1] T1.maxTokensInt (520) [ALGB] (1) Real[1] T2.outPlaces.t = {T2.tOut[1]} (521) [DISC] (1) protected Integer[1] P2.enableIn.remTAin (fixed = {true for $i1 in 1:1}, start = {0 for $i1 in 1:1}) (522) [ALGB] (1) protected Real[1] P2.prelimSpeedIn (523) [DISC] (1) Boolean $TEV_10 (524) [DISC] (1) protected Boolean P1.disMarksInOut (fixed = true, start = false) (525) [DISC] (1) protected Boolean[1] P1.firingSumIn.fire = P1.preFireIn (526) [DISC] (1) protected Integer[1] T2.activation.maxTokensInt = T2.maxTokensInt (527) [DISC] (4) protected Integer[4] P3.enableIn.state128 (528) [DISC] (1) protected Boolean[1] P3.firingSumIn.fire = P3.fireIn and P3.disTransitionIn (529) [DISC] (1) Integer[1] P2.inTransition.tint = {1 for $i1 in 1:1} (530) [ALGB] (1) protected Real P2.firingSumIn.conFiringSum (531) [DISC] (1) Integer[1] P3.inTransition.arcWeightint = {P3.arcWeightIn[1]} (532) [ALGB] (2) protected Real[2] P1.enableOut.arcWeight = P1.arcWeightOut (533) [DISC] (1) Integer[1] T1.outPlaces.tint = {T1.tIntOut[1]} (534) [DISC] (1) protected Integer P2.disMarksIn.numtrue (535) [ALGB] (1) protected Real[1] T3.activation.arcWeightOut = T3.arcWeightOut (536) [ALGB] (2) protected Real[2] P1.instSpeedOut (537) [ALGB] (1) Real[1] T1.outPlaces.prelimSpeed = {T1.prelimSpeed} (538) [ALGB] (1) protected Real[1] T1.activation.minTokens = T1.minTokens (539) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.arcType (540) [DISC] (1) protected Boolean[1] T2.activation.disPlaceOut = T2.disPlaceOut (541) [DISC] (1) protected Integer[1] T3.activation.arcWeightIntOut = T3.arcWeightIntOut (542) [DISC] (2) Boolean[2] P1.outTransition.fire = {P1.fireOut[$outTransition1] for $outTransition1 in 1:2} (543) [DISC] (1) Boolean[1] P1.inTransition.fire = {P1.fireIn[1]} (544) [DISC] (1) protected Boolean[1] P2.firingSumIn.disTransition = P2.disTransitionIn (545) [DISC] (1) Boolean[1] T1.outPlaces.disPlace = {T1.disPlaceOut[1]} (546) [ALGB] (1) Real T3.actualSpeed = if T3.fire then T3.instantaneousSpeed else 0.0 (547) [DISC] (2) Boolean[2] P1.outTransition.tokenInOut = {pre(P1.disMarksInOut) for $outTransition1 in 1:2} (548) [DISC] (1) Integer[1] T1.outPlaces.arcWeightint = {T1.arcWeightIntOut[1]} (549) [DISC] (1) protected Boolean P2.disMarksInOut (fixed = true, start = false) (550) [DISC] (1) Boolean[1] P3.inTransition.disTransition = {P3.disTransitionIn[1]} (551) [ALGB] (1) protected Real[1] P1.prelimSpeedIn (552) [DISC] (1) protected Integer[1] T2.minTokensInt (553) [DISC] (1) protected Integer P1.enableIn.posTE (554) [DISC] (1) protected Boolean[1] T2.activation.disPlaceIn = T2.disPlaceIn (555) [DISC] (1) Integer[1] T2.outPlaces.tint = {T2.tIntOut[1]} (556) [ALGB] (1) Real[1] P1.inTransition.maxTokens = {P1.maxMarks} (557) [DISC] (1) Boolean[1] T1.outPlaces.enable (558) [DISC] (1) protected Boolean[1] P2.disTransitionIn (559) [ALGB] (2) Real[2] P1.outTransition.decreasingFactor = {P1.decFactorOut[$outTransition1] for $outTransition1 in 1:2} (560) [DISC] (1) Boolean[1] P3.inTransition.active = {P3.activeIn[1]} (561) [ALGB] (1) protected Real P1.firingSumIn.disFiringSum (562) [DISC] (2) protected Integer[2] P1.enableOut.remTAout (fixed = {true for $i1 in 1:2}, start = {0 for $i1 in 1:2}) (563) [DISC] (1) protected Boolean T3.activation.active (564) [DISC] (1) protected Integer P1.emptying.numtrue (565) [DISC] (1) protected Boolean[1] P1.enableIn.disTAin (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (566) [ALGB] (1) protected Real[1] T1.activation.testValue = T1.testValue (567) [DISC] (1) protected Boolean[1] T1.activation.weaklyOutputActiveVec (568) [DISC] (2) Boolean[2] P1.outTransition.enable = {P1.enableOut.TEout_[$outTransition1] for $outTransition1 in 1:2} (569) [DISC] (1) protected Boolean[1] P3.fireIn (570) [DISC] (1) protected Boolean[1] T1.activation.emptied = T1.emptied (571) [DISC] (1) protected Boolean[1] T3.activation.disPlaceOut = T3.disPlaceOut (572) [ALGB] (2) Real[2] P1.outTransition.prelimSpeed = {P1.prelimSpeedOut[$outTransition1] for $outTransition1 in 1:2} (573) [DISC] (1) Integer[1] T2.outPlaces.arcWeightint = {T2.arcWeightIntOut[1]} (574) [DISC] (1) protected Integer P1.feeding.numtrue (575) [ALGB] (1) Real[1] P1.inTransition.speedSum = {P1.firingSumOut.conFiringSum} (576) [DISC] (1) Integer[1] T1.outPlaces.maxTokensint = {T1.maxTokensInt[1]} (577) [ALGB] (1) Real[1] P2.inTransition.maxTokens = {P2.maxMarks} (578) [DISC] (1) protected Boolean[1] T3.emptied (579) [ALGB] (1) Real[1] T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} (580) [ALGB] (1) Real[1] T3.outPlaces.t = {T3.tOut[1]} (581) [ALGB] (1) protected Real[1] T1.activation.tIn = T1.tIn (582) [DISC] (1) protected Integer[1] T2.activation.tIntOut = T2.tIntOut (583) [DISC] (1) protected Boolean[1] T2.activation.normalArc = T2.normalArc (584) [DISC] (1) protected Integer[1] T1.activation.tIntIn = T1.tIntIn (585) [DISC] (1) protected Boolean P2.enableIn.endWhile (586) [DISC] (1) protected Boolean P1.enableOut.delayPassed = P1.enableOut.delayPassed (587) [DISC] (1) protected Boolean P3.enableIn.delayPassed = P3.enableIn.delayPassed (588) [DISC] (1) protected Integer P3.enableIn.arcWeightSum (589) [ALGB] (1) Real[1] T1.inPlaces.instSpeed = {T1.instantaneousSpeed} (590) [DISC] (1) Integer[1] T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} (591) [ALGB] (1) protected Real[1] T3.activation.tOut = T3.tOut (592) [DISC] (1) protected Integer[1] P3.enableIn.remTAin (fixed = {true for $i1 in 1:1}, start = {0 for $i1 in 1:1}) (593) [ALGB] (3) Real[3] P3.color (594) [DISC] (1) Boolean[1] T2.inPlaces.tokenInOut (595) [ALGB] (1) Real[1] T1.inPlaces.speedSum = {T1.speedSumIn[1]} (596) [DISC] (1) protected discrete Real P1.enableOut.arcWeightSum (597) [ALGB] (1) Real[1] P2.inTransition.speedSum = {P2.firingSumOut.conFiringSum} (598) [DISC] (1) protected Boolean[1] P2.firingSumIn.fire = P2.preFireIn System Equations (521/689) **************************** (1) [ARRY] (1) $FUN_32 = PNlib.Functions.OddsAndEnds.boolAnd(P2.enableIn.TAein, not P2.enableIn.disTransition) ($RES_$AUX_606) (2) [ARRY] (1) T1.outPlaces.arcWeight = {T1.arcWeightOut[1]} ($RES_BND_380) (3) [ARRY] (1) P3.enableIn.active = P3.activeIn ($RES_BND_555) (4) [SCAL] (1) $FUN_33 = Modelica.Math.Vectors.find(i, P2.enableIn.enablingPrio, 0.0) ($RES_$AUX_605) (5) [ARRY] (1) T1.outPlaces.fire = {T1.fire} ($RES_BND_381) (6) [SCAL] (1) $FUN_34 = sum(P2.enableIn.enablingProb[P2.enableIn.remTAin[1:P2.enableIn.nremTAin]]) ($RES_$AUX_604) (7) [SCAL] (1) T3.arcWeightOut[1] = 1.0 ($RES_BND_557) (8) [ARRY] (1) T1.outPlaces.active = {T1.activation.active} ($RES_BND_382) (9) [TUPL] (5) ($FUN_35, $FUN_36) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_9) ($RES_$AUX_603) (10) [ARRY] (1) T1.outPlaces.speedSum = {T1.speedSumOut[1]} ($RES_BND_383) (11) [ARRY] (1) $FUN_37 = PNlib.Functions.OddsAndEnds.deleteElementInt(P2.enableIn.remTAin, P2.enableIn.k) ($RES_$AUX_602) (12) [SCAL] (1) T3.actualSpeed = if T3.fire then T3.instantaneousSpeed else 0.0 ($RES_BND_559) (13) [ARRY] (1) T1.outPlaces.emptied = {T1.emptied[1]} ($RES_BND_384) (14) [SCAL] (1) $FUN_38 = PNlib.Functions.OddsAndEnds.conditionalSumInt(P3.enableIn.arcWeight, P3.enableIn.TAein) ($RES_$AUX_601) (15) [ARRY] (1) T1.outPlaces.disPlace = {T1.disPlaceOut[1]} ($RES_BND_385) (16) [SCAL] (1) $FUN_39 = Modelica.Math.Vectors.find(i, P3.enableIn.enablingPrio, 0.0) ($RES_$AUX_600) (17) [ARRY] (1) T1.outPlaces.decreasingFactor = {T1.decreasingFactorOut[1]} ($RES_BND_386) (18) [ARRY] (1) T1.outPlaces.maxTokensint = {T1.maxTokensInt[1]} ($RES_BND_387) (19) [ARRY] (1) T1.outPlaces.maxTokens = {T1.maxTokens[1]} ($RES_BND_388) (20) [ARRY] (1) T1.outPlaces.tint = {T1.tIntOut[1]} ($RES_BND_389) (21) [ARRY] (1) T2.activation.testValue = T2.testValue ($RES_BND_470) (22) [SCAL] (1) T2.inPlaces[1].tint = P1.outTransition[2].tint ($RES_SIM_170) (23) [SCAL] (1) T2.inPlaces[1].testValueint = P1.outTransition[2].testValueint ($RES_SIM_171) (24) [ARRY] (1) T2.activation.testValueInt = T2.testValueInt ($RES_BND_471) (25) [SCAL] (1) T2.inPlaces[1].testValue = P1.outTransition[2].testValue ($RES_SIM_172) (26) [SCAL] (1) T2.inPlaces[1].t = P1.outTransition[2].t ($RES_SIM_173) (27) [SCAL] (1) T2.inPlaces[1].speedSum = P1.outTransition[2].speedSum ($RES_SIM_174) (28) [SCAL] (1) $TEV_2 = $PRE.P3.t ($RES_EVT_645) (29) [SCAL] (1) T2.inPlaces[1].prelimSpeed = P1.outTransition[2].prelimSpeed ($RES_SIM_175) (30) [SCAL] (1) $TEV_3 = $PRE.P2.fireIn[1] ($RES_EVT_646) (31) [SCAL] (1) T2.inPlaces[1].normalArc = P1.outTransition[2].normalArc ($RES_SIM_176) (32) [SCAL] (1) $TEV_4 = $PRE.P1.fireIn[1] ($RES_EVT_647) (33) [SCAL] (1) T2.inPlaces[1].minTokensint = P1.outTransition[2].minTokensint ($RES_SIM_177) (34) [SCAL] (1) $TEV_5 = $PRE.P1.fireOut[$i1] ($RES_EVT_648) (35) [ARRY] (1) P2.inTransition.speedSum = {0.0} ($RES_BND_478) (36) [SCAL] (1) T2.inPlaces[1].minTokens = P1.outTransition[2].minTokens ($RES_SIM_178) (37) [SCAL] (1) $TEV_6 = $PRE.P1.disMarksInOut ($RES_EVT_649) (38) [SCAL] (1) T2.inPlaces[1].maxSpeed = P1.outTransition[2].maxSpeed ($RES_SIM_179) (39) [ARRY] (1) P2.inTransition.emptied = {P2.emptying.anytrue} ($RES_BND_479) (40) [ARRY] (1) T3.outPlaces.maxSpeed = {1.0} ($RES_BND_562) (41) [ARRY] (1) T3.outPlaces.prelimSpeed = {T3.prelimSpeed} ($RES_BND_563) (42) [ARRY] (1) T3.outPlaces.instSpeed = {T3.instantaneousSpeed} ($RES_BND_564) (43) [ARRY] (1) T1.outPlaces.t = {T1.tOut[1]} ($RES_BND_390) (44) [SCAL] (1) T3.outPlaces[1].disTransition = false ($RES_BND_565) (45) [ARRY] (1) T1.activation.tIn = T1.tIn ($RES_BND_391) (46) [SCAL] (1) T3.outPlaces[1].enabledByInPlaces = true ($RES_BND_566) (47) [ARRY] (1) T1.activation.tOut = T1.tOut ($RES_BND_392) (48) [ARRY] (1) T3.outPlaces.arcWeightint = {T3.arcWeightIntOut[1]} ($RES_BND_567) (49) [ARRY] (1) T3.outPlaces.arcWeight = {T3.arcWeightOut[1]} ($RES_BND_568) (50) [ARRY] (1) T1.activation.tIntIn = T1.tIntIn ($RES_BND_393) (51) [ARRY] (1) T3.outPlaces.fire = {T3.fire} ($RES_BND_569) (52) [ARRY] (1) T1.activation.tIntOut = T1.tIntOut ($RES_BND_394) (53) [ARRY] (1) T1.activation.arcType = T1.arcType ($RES_BND_395) (54) [ARRY] (1) T1.activation.arcWeightIn = T1.arcWeightIn ($RES_BND_396) (55) [ARRY] (1) T1.activation.arcWeightOut = T1.arcWeightOut ($RES_BND_397) (56) [ARRY] (1) T1.activation.arcWeightIntIn = T1.arcWeightIntIn ($RES_BND_398) (57) [ARRY] (1) T1.activation.arcWeightIntOut = T1.arcWeightIntOut ($RES_BND_399) (58) [SCAL] (1) $TEV_7 = $PRE.P1.enableIn.state128 ($RES_EVT_650) (59) [SCAL] (1) T2.inPlaces[1].instSpeed = P1.outTransition[2].instSpeed ($RES_SIM_180) (60) [SCAL] (1) P2.inTransition[1].disPlace = false ($RES_BND_480) (61) [SCAL] (1) $TEV_8 = $PRE.P1.enableOut.state128 ($RES_EVT_651) (62) [ARRY] (1) P2.inTransition.decreasingFactor = {P2.decFactorIn[1]} ($RES_BND_481) (63) [SCAL] (1) T2.inPlaces[1].fire = P1.outTransition[2].fire ($RES_SIM_181) (64) [SCAL] (1) $TEV_9 = $PRE.P2.enableIn.state128 ($RES_EVT_652) (65) [SCAL] (1) T2.inPlaces[1].fed = P1.outTransition[2].fed ($RES_SIM_182) (66) [ARRY] (1) P2.inTransition.enable = {P2.enableIn.TEin_[1]} ($RES_BND_482) (67) [SCAL] (1) $TEV_10 = $PRE.P3.enableIn.state128 ($RES_EVT_653) (68) [SCAL] (1) T2.inPlaces[1].enable = P1.outTransition[2].enable ($RES_SIM_183) (69) [SCAL] (1) P2.inTransition[1].maxTokensint = 1 ($RES_BND_483) (70) [SCAL] (1) $SEV_155[1] = T3.disPlaceOut[1] and T3.arcWeightOut[1] - T3.arcWeightIntOut[1] <= 0.0 or not T3.disPlaceOut[1] ($RES_EVT_654) (71) [ARRY] (1) P2.inTransition.maxTokens = {P2.maxMarks} ($RES_BND_484) (72) [SCAL] (1) T2.inPlaces[1].disTransition = P1.outTransition[2].disTransition ($RES_SIM_184) (73) [SCAL] (1) $SEV_156[1] = T3.arcWeightOut[1] >= 0.0 ($RES_EVT_655) (74) [SCAL] (1) T2.inPlaces[1].disPlace = P1.outTransition[2].disPlace ($RES_SIM_185) (75) [SCAL] (1) P2.inTransition[1].tint = 1 ($RES_BND_485) (76) [SCAL] (1) $SEV_157 = T3.fire and settings.animateTransition ($RES_EVT_656) (77) [ARRY] (1) P2.inTransition.t = {P2.t_} ($RES_BND_486) (78) [SCAL] (1) T2.inPlaces[1].decreasingFactor = P1.outTransition[2].decreasingFactor ($RES_SIM_186) (79) [ARRY] (1) P2.inTransition.maxSpeed = {P2.maxSpeedIn[1]} ($RES_BND_487) (80) [SCAL] (1) T2.inPlaces[1].arcWeightint = P1.outTransition[2].arcWeightint ($RES_SIM_187) (81) [ARRY] (1) P2.inTransition.prelimSpeed = {P2.prelimSpeedIn[1]} ($RES_BND_488) (82) [SCAL] (1) T2.inPlaces[1].arcWeight = P1.outTransition[2].arcWeight ($RES_SIM_188) (83) [ARRY] (1) P2.inTransition.instSpeed = {P2.instSpeedIn[1]} ($RES_BND_489) (84) [SCAL] (1) T2.inPlaces[1].arcType = P1.outTransition[2].arcType ($RES_SIM_189) (85) [ARRY] (1) T3.outPlaces.active = {T3.activation.active} ($RES_BND_570) (86) [ARRY] (1) T3.outPlaces.speedSum = {T3.speedSumOut[1]} ($RES_BND_571) (87) [ARRY] (1) T3.outPlaces.emptied = {T3.emptied[1]} ($RES_BND_572) (88) [ARRY] (1) T3.outPlaces.disPlace = {T3.disPlaceOut[1]} ($RES_BND_573) (89) [ARRY] (1) T3.outPlaces.decreasingFactor = {T3.decreasingFactorOut[1]} ($RES_BND_574) (90) [ARRY] (1) T3.outPlaces.maxTokensint = {T3.maxTokensInt[1]} ($RES_BND_575) (91) [ARRY] (1) T3.outPlaces.maxTokens = {T3.maxTokens[1]} ($RES_BND_576) (92) [ARRY] (1) T3.outPlaces.tint = {T3.tIntOut[1]} ($RES_BND_577) (93) [ARRY] (1) T3.outPlaces.t = {T3.tOut[1]} ($RES_BND_578) (94) [ARRY] (1) T3.activation.tOut = T3.tOut ($RES_BND_579) (95) [SCAL] (1) $SEV_161 = P3.tokenscale < 100.0 ($RES_EVT_660) (96) [SCAL] (1) T2.inPlaces[1].active = P1.outTransition[2].active ($RES_SIM_190) (97) [ARRY] (1) P2.inTransition.disTransition = {P2.disTransitionIn[1]} ($RES_BND_490) (98) [SCAL] (1) $SEV_162 = $PRE.P3.firingSumIn.firingSum > 0 ($RES_EVT_661) (99) [SCAL] (1) T1.outPlaces[1].tint = P2.inTransition[1].tint ($RES_SIM_191) (100) [ARRY] (1) P2.inTransition.enabledByInPlaces = {P2.enabledByInPlaces[1]} ($RES_BND_491) (101) [SCAL] (1) $SEV_163 = $PRE.P3.firingSumOut.firingSum > 0 ($RES_EVT_662) (102) [ARRY] (1) P2.inTransition.arcWeight = {P2.arcWeightIn[1]} ($RES_BND_492) (103) [SCAL] (1) T1.outPlaces[1].t = P2.inTransition[1].t ($RES_SIM_192) (104) [SCAL] (1) $SEV_164 = $PRE.P3.firingSumIn.firingSum > 0 or $PRE.P3.firingSumOut.firingSum > 0 ($RES_EVT_663) (105) [SCAL] (1) T1.outPlaces[1].speedSum = P2.inTransition[1].speedSum ($RES_SIM_193) (106) [ARRY] (1) P2.inTransition.fire = {P2.fireIn[1]} ($RES_BND_493) (107) [SCAL] (1) T1.outPlaces[1].prelimSpeed = P2.inTransition[1].prelimSpeed ($RES_SIM_194) (108) [ARRY] (1) P2.inTransition.active = {P2.activeIn[1]} ($RES_BND_494) (109) [SCAL] (1) T1.outPlaces[1].maxTokensint = P2.inTransition[1].maxTokensint ($RES_SIM_195) (110) [ARRY] (1) P2.enableIn.arcWeight = P2.arcWeightIn ($RES_BND_496) (111) [SCAL] (1) T1.outPlaces[1].maxTokens = P2.inTransition[1].maxTokens ($RES_SIM_196) (112) [SCAL] (1) $SEV_168 = P2.tokenscale < 100.0 ($RES_EVT_667) (113) [SCAL] (1) T1.outPlaces[1].maxSpeed = P2.inTransition[1].maxSpeed ($RES_SIM_197) (114) [SCAL] (1) $SEV_169 = P2.t_ < P2.minMarks ($RES_EVT_668) (115) [SCAL] (1) T1.outPlaces[1].instSpeed = P2.inTransition[1].instSpeed ($RES_SIM_198) (116) [SCAL] (1) $SEV_170 = P2.t_ > P2.maxMarks ($RES_EVT_669) (117) [SCAL] (1) T1.outPlaces[1].fire = P2.inTransition[1].fire ($RES_SIM_199) (118) [ARRY] (1) P2.enableIn.TAein = $SEV_206 ($RES_BND_499) (119) [ARRY] (1) T3.activation.tIntOut = T3.tIntOut ($RES_BND_580) (120) [ARRY] (1) T3.activation.arcWeightOut = T3.arcWeightOut ($RES_BND_581) (121) [ARRY] (1) T3.activation.arcWeightIntOut = T3.arcWeightIntOut ($RES_BND_582) (122) [ARRY] (1) T3.activation.maxTokens = T3.maxTokens ($RES_BND_583) (123) [ARRY] (1) T3.activation.maxTokensInt = T3.maxTokensInt ($RES_BND_584) (124) [ARRY] (1) T3.activation.emptied = T3.emptied ($RES_BND_586) (125) [ARRY] (1) T3.activation.disPlaceOut = T3.disPlaceOut ($RES_BND_587) (126) [ALGO] (1) ($RES_SIM_9) (126) [----] P3.firingSumOut.firingSum := 0; (127) [ALGO] (20) ($RES_SIM_7) (127) [----] P3.enableIn.TEin := fill(false, 1); (127) [----] P3.enableIn.arcWeightSum := 0; (127) [----] when P3.enableIn.delayPassed then (127) [----] P3.enableIn.arcWeightSum := $FUN_38; (127) [----] if P3.enableOut.t + P3.enableIn.arcWeightSum <= P3.maxTokens then (127) [----] P3.enableIn.TEin := P3.enableIn.TAein; (127) [----] elseif true then (127) [----] if P3.enablingType == PNlib.Types.EnablingType.Priority then (127) [----] P3.enableIn.arcWeightSum := 0; (127) [----] for i in 1:1 loop (127) [----] P3.enableIn.Index := $FUN_39; (127) [----] if ((P3.enableIn.Index > 0 and P3.enableIn.TAein[P3.enableIn.Index]) and P3.enableIn.disTransition[P3.enableIn.Index]) and P3.enableOut.t + P3.enableIn.arcWeight[P3.enableIn.Index] + P3.enableIn.arcWeightSum <= P3.maxTokens then (127) [----] P3.enableIn.TEin[P3.enableIn.Index] := true; (127) [----] P3.enableIn.arcWeightSum := P3.enableIn.arcWeightSum + P3.enableIn.arcWeight[P3.enableIn.Index]; (127) [----] end if; (127) [----] end for; (127) [----] for i in 1:1 loop (127) [----] P3.enableIn.Index := $FUN_39; (127) [----] if (P3.enableIn.TAein[P3.enableIn.Index] and not P3.enableIn.disTransition[P3.enableIn.Index]) and P3.enableOut.t + P3.enableIn.arcWeight[P3.enableIn.Index] + P3.enableIn.arcWeightSum <= P3.maxTokens then (127) [----] P3.enableIn.TEin[P3.enableIn.Index] := true; (127) [----] P3.enableIn.arcWeightSum := P3.enableIn.arcWeightSum + P3.enableIn.arcWeight[P3.enableIn.Index]; (127) [----] end if; (127) [----] end for; (127) [----] elseif P3.enablingType == PNlib.Types.EnablingType.Probability then (127) [----] P3.enableIn.arcWeightSum := 0; (127) [----] P3.enableIn.remTAin := fill(0, 1); (127) [----] P3.enableIn.nremTAin := 0; (127) [----] for i in 1:1 loop (127) [----] if P3.enableIn.TAein[i] and P3.enableIn.disTransition[i] then (127) [----] P3.enableIn.nremTAin := P3.enableIn.nremTAin + 1; (127) [----] P3.enableIn.remTAin[P3.enableIn.nremTAin] := i; (127) [----] end if; (127) [----] end for; (127) [----] P3.enableIn.nTAin := P3.enableIn.nremTAin; (127) [----] P3.enableIn.sumEnablingProbTAin := $FUN_40; (127) [----] P3.enableIn.cumEnablingProb := fill(0.0, 1); (127) [----] P3.enableIn.cumEnablingProb[1] := P3.enableIn.enablingProb[P3.enableIn.remTAin[1]] / P3.enableIn.sumEnablingProbTAin; (127) [----] for j in 2:P3.enableIn.nremTAin loop (127) [----] P3.enableIn.cumEnablingProb[j] := P3.enableIn.cumEnablingProb[j - 1] + P3.enableIn.enablingProb[P3.enableIn.remTAin[j]] / P3.enableIn.sumEnablingProbTAin; (127) [----] end for; (127) [----] for i in 1:P3.enableIn.nTAin loop (127) [----] (P3.enableIn.randNum, P3.enableIn.state128) := ($FUN_41, $FUN_42); (127) [----] P3.enableIn.endWhile := false; (127) [----] P3.enableIn.k := 1; (127) [----] while P3.enableIn.k <= P3.enableIn.nremTAin and not P3.enableIn.endWhile then (127) [----] if P3.enableIn.randNum <= P3.enableIn.cumEnablingProb[P3.enableIn.k] then (127) [----] P3.enableIn.posTE := P3.enableIn.remTAin[P3.enableIn.k]; (127) [----] P3.enableIn.endWhile := true; (127) [----] elseif true then (127) [----] P3.enableIn.k := P3.enableIn.k + 1; (127) [----] end if; (127) [----] end while; (127) [----] if P3.enableIn.arcWeightSum + P3.enableOut.t + P3.enableIn.arcWeight[P3.enableIn.posTE] <= P3.maxTokens then (127) [----] P3.enableIn.arcWeightSum := P3.enableIn.arcWeightSum + P3.enableIn.arcWeight[P3.enableIn.posTE]; (127) [----] P3.enableIn.TEin[P3.enableIn.posTE] := true; (127) [----] end if; (127) [----] P3.enableIn.nremTAin := P3.enableIn.nremTAin - 1; (127) [----] if P3.enableIn.nremTAin > 0 then (127) [----] P3.enableIn.remTAin := $FUN_43; (127) [----] P3.enableIn.cumEnablingProb := fill(0.0, 1); (127) [----] P3.enableIn.sumEnablingProbTAin := $FUN_40; (127) [----] if P3.enableIn.sumEnablingProbTAin > 0.0 then (127) [----] P3.enableIn.cumEnablingProb[1] := P3.enableIn.enablingProb[P3.enableIn.remTAin[1]] / P3.enableIn.sumEnablingProbTAin; (127) [----] for j in 2:P3.enableIn.nremTAin loop (127) [----] P3.enableIn.cumEnablingProb[j] := P3.enableIn.cumEnablingProb[j - 1] + P3.enableIn.enablingProb[P3.enableIn.remTAin[j]] / P3.enableIn.sumEnablingProbTAin; (127) [----] end for; (127) [----] elseif true then (127) [----] P3.enableIn.cumEnablingProb[1:P3.enableIn.nremTAin] := fill(1.0 / P3.enableIn.nremTAin, P3.enableIn.nremTAin); (127) [----] end if; (127) [----] end if; (127) [----] end for; (127) [----] elseif true then (127) [----] if P3.benefitType == PNlib.Types.BenefitType.Greedy then (127) [----] P3.enableIn.TEin := $FUN_44; (127) [----] elseif P3.benefitType == PNlib.Types.BenefitType.BenefitQuotient then (127) [----] P3.enableIn.TEin := $FUN_45; (127) [----] elseif true then (127) [----] P3.enableIn.arcWeightSum := 0; (127) [----] P3.enableIn.benefitMax := $FUN_46; (127) [----] P3.enableIn.benefitLimit := 0.0; (127) [----] (P3.enableIn.TEin, P3.enableIn.arcWeightSum, P3.enableIn.benefitMax, P3.enableIn.valid, P3.enableIn.benefitLimit) := ($FUN_47, $FUN_48, $FUN_49, $FUN_50, $FUN_51); (127) [----] end if; (127) [----] end if; (127) [----] end if; (127) [----] end when; (127) [----] for i in 1:1 loop (127) [----] P3.enableIn.TEin_[i] := P3.enableIn.TEin[i] and P3.enableIn.active[i]; (127) [----] end for; (128) [ALGO] (3) ($RES_SIM_6) (128) [----] T3.activation.NoTokens := false; (128) [----] T3.activation.active := true; (128) [----] T3.activation.weaklyOutputActiveVec := fill(false, 1); (128) [----] for i in 1:1 loop (128) [----] if T3.activation.disPlaceOut[i] then (128) [----] if T3.activation.tIntOut[i] + T3.activation.arcWeightIntOut[i] > T3.activation.maxTokensInt[i] then (128) [----] T3.activation.active := false; (128) [----] end if; (128) [----] elseif true then (128) [----] if T3.activation.tOut[i] >= T3.activation.maxTokens[i] then (128) [----] if T3.activation.emptied[i] then (128) [----] T3.activation.weaklyOutputActiveVec[i] := true; (128) [----] elseif true then (128) [----] T3.activation.active := false; (128) [----] end if; (128) [----] end if; (128) [----] end if; (128) [----] end for; (128) [----] T3.activation.active := T3.activation.active and true; (128) [----] for i in 1:1 loop (128) [----] T3.activation.weaklyOutputActiveVec[i] := T3.activation.weaklyOutputActiveVec[i] and true; (128) [----] end for; (129) [SCAL] (1) $SEV_171 = $PRE.P2.disMarksOut.anytrue or $PRE.P2.disMarksIn.anytrue ($RES_EVT_670) (130) [SCAL] (1) $SEV_172 = P2.firingSumIn.fire[1] and not P2.firingSumIn.disTransition[1] ($RES_EVT_671) (131) [SCAL] (1) $SEV_173 = P2.firingSumIn.fire[1] and P2.firingSumIn.disTransition[1] ($RES_EVT_672) (132) [SCAL] (1) $SEV_174[1] = T2.disPlaceOut[1] and T2.arcWeightOut[1] - T2.arcWeightIntOut[1] <= 0.0 or not T2.disPlaceOut[1] ($RES_EVT_673) (133) [SCAL] (1) $SEV_175[1] = T2.arcWeightOut[1] >= 0.0 ($RES_EVT_674) (134) [SCAL] (1) $SEV_176[1] = T2.disPlaceIn[1] and T2.arcWeightIn[1] - T2.arcWeightIntIn[1] <= 0.0 or not T2.disPlaceIn[1] ($RES_EVT_675) (135) [SCAL] (1) $SEV_177[1] = T2.arcWeightIn[1] >= 0.0 ($RES_EVT_676) (136) [SCAL] (1) $SEV_178 = (T2.fireTime + settings.timeFire >= time and settings.animateTransition) and T2.ani ($RES_EVT_677) (137) [SCAL] (1) $SEV_179 = T2.active and time >= T2.firingTime ($RES_EVT_678) (138) [SCAL] (1) $SEV_180 = T2.activation.active and not $PRE.T2.delayPassed ($RES_EVT_679) (139) [SCAL] (1) $SEV_181[1] = T1.disPlaceOut[1] and T1.arcWeightOut[1] - T1.arcWeightIntOut[1] <= 0.0 or not T1.disPlaceOut[1] ($RES_EVT_680) (140) [SCAL] (1) $SEV_182[1] = T1.arcWeightOut[1] >= 0.0 ($RES_EVT_681) (141) [SCAL] (1) $SEV_183[1] = T1.disPlaceIn[1] and T1.arcWeightIn[1] - T1.arcWeightIntIn[1] <= 0.0 or not T1.disPlaceIn[1] ($RES_EVT_682) (142) [SCAL] (1) $SEV_184[1] = T1.arcWeightIn[1] >= 0.0 ($RES_EVT_683) (143) [SCAL] (1) $SEV_185 = T1.fire and settings.animateTransition ($RES_EVT_684) (144) [SCAL] (1) $SEV_186 = T1.fire_ and T1.activation.active ($RES_EVT_685) (145) [ALGO] (1) ($RES_SIM_10) (145) [----] P3.firingSumIn.firingSum := 0; (145) [----] for i in 1:1 loop (145) [----] if P3.firingSumIn.fire[i] then (145) [----] P3.firingSumIn.firingSum := P3.firingSumIn.firingSum + P3.firingSumIn.arcWeight[i]; (145) [----] end if; (145) [----] end for; (146) [ALGO] (2) ($RES_SIM_11) (146) [----] P3.enableIn.delayPassed := false; (146) [----] P3.delayPassedIn.numtrue := 0; (146) [----] for i in 1:1 loop (146) [----] P3.enableIn.delayPassed := P3.enableIn.delayPassed or P3.delayPassedIn.vec[i]; (146) [----] if P3.delayPassedIn.vec[i] then (146) [----] P3.delayPassedIn.numtrue := P3.delayPassedIn.numtrue + 1; (146) [----] end if; (146) [----] end for; (147) [ALGO] (2) ($RES_SIM_14) (147) [----] P2.emptying.anytrue := false; (147) [----] P2.emptying.numtrue := 0; (148) [ALGO] (2) ($RES_SIM_15) (148) [----] P2.feeding.anytrue := false; (148) [----] P2.feeding.numtrue := 0; (148) [----] for i in 1:1 loop (148) [----] P2.feeding.anytrue := P2.feeding.anytrue or P2.feeding.vec[i]; (148) [----] if P2.feeding.vec[i] then (148) [----] P2.feeding.numtrue := P2.feeding.numtrue + 1; (148) [----] end if; (148) [----] end for; (149) [ALGO] (2) ($RES_SIM_16) (149) [----] P2.disMarksIn.anytrue := false; (149) [----] P2.disMarksIn.numtrue := 0; (149) [----] for i in 1:1 loop (149) [----] P2.disMarksIn.anytrue := P2.disMarksIn.anytrue or P2.disMarksIn.vec[i]; (149) [----] if P2.disMarksIn.vec[i] then (149) [----] P2.disMarksIn.numtrue := P2.disMarksIn.numtrue + 1; (149) [----] end if; (149) [----] end for; (150) [ALGO] (2) ($RES_SIM_17) (150) [----] P2.disMarksOut.anytrue := false; (150) [----] P2.disMarksOut.numtrue := 0; (151) [ALGO] (2) ($RES_SIM_18) (151) [----] P2.enableIn.delayPassed := false; (151) [----] P2.delayPassedIn.numtrue := 0; (151) [----] for i in 1:1 loop (151) [----] P2.enableIn.delayPassed := P2.enableIn.delayPassed or P2.delayPassedIn.vec[i]; (151) [----] if P2.delayPassedIn.vec[i] then (151) [----] P2.delayPassedIn.numtrue := P2.delayPassedIn.numtrue + 1; (151) [----] end if; (151) [----] end for; (152) [SCAL] (1) $SEV_192 = P1.tokenscale < 100.0 ($RES_EVT_691) (153) [SCAL] (1) $SEV_193 = P1.t_ < P1.minMarks ($RES_EVT_692) (154) [SCAL] (1) $SEV_194 = P1.t_ > P1.maxMarks ($RES_EVT_693) (155) [SCAL] (1) $SEV_195 = $PRE.P1.disMarksOut.anytrue or $PRE.P1.disMarksIn.anytrue ($RES_EVT_694) (156) [FOR-] (2) ($RES_EVT_695) (156) [----] for $i1 in 1:2 loop (156) [----] [SCAL] (1) $SEV_196[$i1] = P1.firingSumOut.fire[$i1] and not P1.firingSumOut.disTransition[$i1] ($RES_EVT_696) (156) [----] end for; (157) [ALGO] (18) ($RES_SIM_21) (157) [----] P2.enableIn.TEin := fill(false, 1); (157) [----] when P2.enableIn.delayPassed then (157) [----] P2.enableIn.disTAin := $FUN_30; (157) [----] P2.enableIn.arcWeightSum := $FUN_31; (157) [----] if (P2.enableIn.arcWeightSum + P2.t_) - P2.maxMarks <= 1e-9 or abs(P2.enableIn.arcWeightSum) <= 1e-8 then (157) [----] P2.enableIn.TEin := P2.enableIn.TAein; (157) [----] elseif true then (157) [----] P2.enableIn.TEin := $FUN_32; (157) [----] if P2.enablingType == PNlib.Types.EnablingType.Priority then (157) [----] P2.enableIn.arcWeightSum := 0.0; (157) [----] for i in 1:1 loop (157) [----] P2.enableIn.Index := $FUN_33; (157) [----] if (P2.enableIn.Index > 0 and P2.enableIn.disTAin[P2.enableIn.Index]) and ((P2.enableIn.arcWeight[P2.enableIn.Index] + P2.enableIn.arcWeightSum + P2.t_) - P2.maxMarks <= 1e-9 or abs(P2.enableIn.arcWeight[P2.enableIn.Index]) <= 1e-8) then (157) [----] P2.enableIn.TEin[P2.enableIn.Index] := true; (157) [----] P2.enableIn.arcWeightSum := P2.enableIn.arcWeightSum + P2.enableIn.arcWeight[P2.enableIn.Index]; (157) [----] end if; (157) [----] end for; (157) [----] elseif true then (157) [----] P2.enableIn.arcWeightSum := 0.0; (157) [----] P2.enableIn.remTAin := fill(0, 1); (157) [----] P2.enableIn.nremTAin := 0; (157) [----] for i in 1:1 loop (157) [----] if P2.enableIn.disTAin[i] then (157) [----] P2.enableIn.nremTAin := P2.enableIn.nremTAin + 1; (157) [----] P2.enableIn.remTAin[P2.enableIn.nremTAin] := i; (157) [----] end if; (157) [----] end for; (157) [----] P2.enableIn.nTAin := P2.enableIn.nremTAin; (157) [----] P2.enableIn.sumEnablingProbTAin := $FUN_34; (157) [----] P2.enableIn.cumEnablingProb := fill(0.0, 1); (157) [----] P2.enableIn.cumEnablingProb[1] := P2.enableIn.enablingProb[P2.enableIn.remTAin[1]] / P2.enableIn.sumEnablingProbTAin; (157) [----] for j in 2:P2.enableIn.nremTAin loop (157) [----] P2.enableIn.cumEnablingProb[j] := P2.enableIn.cumEnablingProb[j - 1] + P2.enableIn.enablingProb[P2.enableIn.remTAin[j]] / P2.enableIn.sumEnablingProbTAin; (157) [----] end for; (157) [----] for i in 1:P2.enableIn.nTAin loop (157) [----] (P2.enableIn.randNum, P2.enableIn.state128) := ($FUN_35, $FUN_36); (157) [----] P2.enableIn.endWhile := false; (157) [----] P2.enableIn.k := 1; (157) [----] while P2.enableIn.k <= P2.enableIn.nremTAin and not P2.enableIn.endWhile then (157) [----] if P2.enableIn.randNum <= P2.enableIn.cumEnablingProb[P2.enableIn.k] then (157) [----] P2.enableIn.posTE := P2.enableIn.remTAin[P2.enableIn.k]; (157) [----] P2.enableIn.endWhile := true; (157) [----] elseif true then (157) [----] P2.enableIn.k := P2.enableIn.k + 1; (157) [----] end if; (157) [----] end while; (157) [----] if (P2.enableIn.arcWeight[P2.enableIn.posTE] + P2.enableIn.arcWeightSum + P2.t_) - P2.maxMarks <= 1e-9 or abs(P2.enableIn.arcWeight[i]) <= 1e-8 then (157) [----] P2.enableIn.arcWeightSum := P2.enableIn.arcWeightSum + P2.enableIn.arcWeight[P2.enableIn.posTE]; (157) [----] P2.enableIn.TEin[P2.enableIn.posTE] := true; (157) [----] end if; (157) [----] P2.enableIn.nremTAin := P2.enableIn.nremTAin - 1; (157) [----] if P2.enableIn.nremTAin > 0 then (157) [----] P2.enableIn.remTAin := $FUN_37; (157) [----] P2.enableIn.cumEnablingProb := fill(0.0, 1); (157) [----] P2.enableIn.sumEnablingProbTAin := $FUN_34; (157) [----] if P2.enableIn.sumEnablingProbTAin > 0.0 then (157) [----] P2.enableIn.cumEnablingProb[1] := P2.enableIn.enablingProb[P2.enableIn.remTAin[1]] / P2.enableIn.sumEnablingProbTAin; (157) [----] for j in 2:P2.enableIn.nremTAin loop (157) [----] P2.enableIn.cumEnablingProb[j] := P2.enableIn.cumEnablingProb[j - 1] + P2.enableIn.enablingProb[P2.enableIn.remTAin[j]] / P2.enableIn.sumEnablingProbTAin; (157) [----] end for; (157) [----] elseif true then (157) [----] P2.enableIn.cumEnablingProb[1:P2.enableIn.nremTAin] := fill(1.0 / P2.enableIn.nremTAin, P2.enableIn.nremTAin); (157) [----] end if; (157) [----] end if; (157) [----] end for; (157) [----] end if; (157) [----] end if; (157) [----] end when; (157) [----] for i in 1:1 loop (157) [----] P2.enableIn.TEin_[i] := P2.enableIn.TEin[i] and P2.enableIn.active[i]; (157) [----] end for; (158) [FOR-] (2) ($RES_EVT_697) (158) [----] for $i1 in 1:2 loop (158) [----] [SCAL] (1) $SEV_197[$i1] = P1.firingSumOut.fire[$i1] and P1.firingSumOut.disTransition[$i1] ($RES_EVT_698) (158) [----] end for; (159) [ALGO] (1) ($RES_SIM_22) (159) [----] T2.activation.active := true; (159) [----] for i in 1:1 loop (159) [----] if T2.activation.disPlaceIn[i] then (159) [----] 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 (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIntIn[i] > T2.activation.testValueInt[i] then (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIntIn[i] >= T2.activation.testValueInt[i] then (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIntIn[i] < T2.activation.testValueInt[i] then (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIntIn[i] <= T2.activation.testValueInt[i] then (159) [----] T2.activation.active := false; (159) [----] end if; (159) [----] elseif true then (159) [----] 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 (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIn[i] > T2.activation.testValue[i] then (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIn[i] >= T2.activation.testValue[i] then (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIn[i] < T2.activation.testValue[i] then (159) [----] T2.activation.active := false; (159) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIn[i] <= T2.activation.testValue[i] then (159) [----] T2.activation.active := false; (159) [----] end if; (159) [----] end if; (159) [----] end for; (159) [----] for i in 1:1 loop (159) [----] if T2.activation.disPlaceOut[i] then (159) [----] if not T2.activation.tIntOut[i] + T2.activation.arcWeightIntOut[i] <= T2.activation.maxTokensInt[i] then (159) [----] T2.activation.active := false; (159) [----] end if; (159) [----] elseif true then (159) [----] if not (T2.activation.arcWeightOut[i] + T2.activation.tOut[i]) - T2.activation.maxTokens[i] <= 1e-9 then (159) [----] T2.activation.active := false; (159) [----] end if; (159) [----] end if; (159) [----] end for; (159) [----] T2.activation.active := T2.activation.active and true; (160) [ALGO] (4) ($RES_SIM_23) (160) [----] T1.activation.NoTokens := false; (160) [----] T1.activation.active := true; (160) [----] T1.activation.weaklyInputActiveVec := fill(false, 1); (160) [----] T1.activation.weaklyOutputActiveVec := fill(false, 1); (160) [----] for i in 1:1 loop (160) [----] if T1.activation.disPlaceIn[i] then (160) [----] if T1.activation.arcType[i] == PNlib.Types.ArcType.NormalArc and T1.activation.tIntIn[i] - T1.activation.arcWeightIntIn[i] < T1.activation.minTokensInt[i] then (160) [----] T1.activation.active := false; (160) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and T1.activation.tIntIn[i] <= T1.activation.testValueInt[i] then (160) [----] T1.activation.active := false; (160) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc and T1.activation.tIntIn[i] < T1.activation.testValueInt[i] then (160) [----] T1.activation.active := false; (160) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and T1.activation.tIntIn[i] >= T1.activation.testValueInt[i] then (160) [----] T1.activation.active := false; (160) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and T1.activation.tIntIn[i] > T1.activation.testValueInt[i] then (160) [----] T1.activation.active := false; (160) [----] end if; (160) [----] elseif true then (160) [----] if T1.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T1.activation.normalArc[i] then (160) [----] T1.activation.NoTokens := not T1.activation.tIn[i] - T1.activation.minTokens[i] >= (-1e-9); (160) [----] if T1.activation.arcWeightIn[i] <= 0.0 then (160) [----] elseif T1.activation.NoTokens and not T1.activation.fed[i] then (160) [----] T1.activation.active := false; (160) [----] elseif T1.activation.NoTokens and T1.activation.fed[i] then (160) [----] T1.activation.weaklyInputActiveVec[i] := true; (160) [----] end if; (160) [----] end if; (160) [----] if T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc then (160) [----] if T1.activation.tIn[i] <= (T1.activation.testValue[i] + 1e-9) then (160) [----] T1.activation.active := false; (160) [----] end if; (160) [----] if (T1.activation.tIn[i] > (T1.activation.testValue[i] + 1e-9) and T1.activation.fed[i]) and not T1.activation.normalArc[i] then (160) [----] T1.activation.weaklyInputActiveVec[i] := true; (160) [----] end if; (160) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc then (160) [----] if T1.activation.tIn[i] < (T1.activation.testValue[i] - 1e-9) then (160) [----] T1.activation.active := false; (160) [----] end if; (160) [----] if (T1.activation.tIn[i] >= (T1.activation.testValue[i] - 1e-9) and T1.activation.fed[i]) and not T1.activation.normalArc[i] then (160) [----] T1.activation.weaklyInputActiveVec[i] := true; (160) [----] end if; (160) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and T1.activation.tIn[i] >= (T1.activation.testValue[i] - 1e-9) then (160) [----] T1.activation.active := false; (160) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and T1.activation.tIn[i] > (T1.activation.testValue[i] + 1e-9) then (160) [----] T1.activation.active := false; (160) [----] end if; (160) [----] end if; (160) [----] end for; (160) [----] for i in 1:1 loop (160) [----] if T1.activation.disPlaceOut[i] then (160) [----] if T1.activation.tIntOut[i] + T1.activation.arcWeightIntOut[i] > T1.activation.maxTokensInt[i] then (160) [----] T1.activation.active := false; (160) [----] end if; (160) [----] elseif true then (160) [----] if T1.activation.tOut[i] >= T1.activation.maxTokens[i] then (160) [----] if T1.activation.emptied[i] then (160) [----] T1.activation.weaklyOutputActiveVec[i] := true; (160) [----] elseif true then (160) [----] T1.activation.active := false; (160) [----] end if; (160) [----] end if; (160) [----] end if; (160) [----] end for; (160) [----] T1.activation.active := T1.activation.active and true; (160) [----] for i in 1:1 loop (160) [----] T1.activation.weaklyOutputActiveVec[i] := T1.activation.weaklyOutputActiveVec[i] and true; (160) [----] end for; (160) [----] for i in 1:1 loop (160) [----] T1.activation.weaklyInputActiveVec[i] := T1.activation.weaklyInputActiveVec[i] and true; (160) [----] end for; (161) [SCAL] (1) $SEV_198 = P1.firingSumIn.fire[1] and not P1.firingSumIn.disTransition[1] ($RES_EVT_699) (162) [ALGO] (2) ($RES_SIM_24) (162) [----] P1.emptying.anytrue := false; (162) [----] P1.emptying.numtrue := 0; (162) [----] for i in 1:2 loop (162) [----] P1.emptying.anytrue := P1.emptying.anytrue or P1.emptying.vec[i]; (162) [----] if P1.emptying.vec[i] then (162) [----] P1.emptying.numtrue := P1.emptying.numtrue + 1; (162) [----] end if; (162) [----] end for; (163) [ALGO] (2) ($RES_SIM_25) (163) [----] P1.feeding.anytrue := false; (163) [----] P1.feeding.numtrue := 0; (163) [----] for i in 1:1 loop (163) [----] P1.feeding.anytrue := P1.feeding.anytrue or P1.feeding.vec[i]; (163) [----] if P1.feeding.vec[i] then (163) [----] P1.feeding.numtrue := P1.feeding.numtrue + 1; (163) [----] end if; (163) [----] end for; (164) [ALGO] (2) ($RES_SIM_26) (164) [----] P1.disMarksIn.anytrue := false; (164) [----] P1.disMarksIn.numtrue := 0; (164) [----] for i in 1:1 loop (164) [----] P1.disMarksIn.anytrue := P1.disMarksIn.anytrue or P1.disMarksIn.vec[i]; (164) [----] if P1.disMarksIn.vec[i] then (164) [----] P1.disMarksIn.numtrue := P1.disMarksIn.numtrue + 1; (164) [----] end if; (164) [----] end for; (165) [ALGO] (2) ($RES_SIM_27) (165) [----] P1.disMarksOut.anytrue := false; (165) [----] P1.disMarksOut.numtrue := 0; (165) [----] for i in 1:2 loop (165) [----] P1.disMarksOut.anytrue := P1.disMarksOut.anytrue or P1.disMarksOut.vec[i]; (165) [----] if P1.disMarksOut.vec[i] then (165) [----] P1.disMarksOut.numtrue := P1.disMarksOut.numtrue + 1; (165) [----] end if; (165) [----] end for; (166) [ALGO] (2) ($RES_SIM_28) (166) [----] P1.enableIn.delayPassed := false; (166) [----] P1.delayPassedIn.numtrue := 0; (166) [----] for i in 1:1 loop (166) [----] P1.enableIn.delayPassed := P1.enableIn.delayPassed or P1.delayPassedIn.vec[i]; (166) [----] if P1.delayPassedIn.vec[i] then (166) [----] P1.delayPassedIn.numtrue := P1.delayPassedIn.numtrue + 1; (166) [----] end if; (166) [----] end for; (167) [ALGO] (2) ($RES_SIM_29) (167) [----] P1.enableOut.delayPassed := false; (167) [----] P1.delayPassedOut.numtrue := 0; (167) [----] for i in 1:2 loop (167) [----] P1.enableOut.delayPassed := P1.enableOut.delayPassed or P1.delayPassedOut.vec[i]; (167) [----] if P1.delayPassedOut.vec[i] then (167) [----] P1.delayPassedOut.numtrue := P1.delayPassedOut.numtrue + 1; (167) [----] end if; (167) [----] end for; (168) [ALGO] (23) ($RES_SIM_30) (168) [----] P1.enableOut.TEout := fill(false, 2); (168) [----] when P1.enableOut.delayPassed then (168) [----] P1.enableOut.disTAout := $FUN_22; (168) [----] P1.enableOut.arcWeightSum := $FUN_23; (168) [----] if P1.t_ - (P1.minMarks + P1.enableOut.arcWeightSum) >= (-1e-9) or abs(P1.enableOut.arcWeightSum) <= 1e-8 then (168) [----] P1.enableOut.TEout := P1.enableOut.TAout; (168) [----] elseif true then (168) [----] P1.enableOut.TEout := $FUN_24; (168) [----] if P1.enablingType == PNlib.Types.EnablingType.Priority then (168) [----] P1.enableOut.arcWeightSum := 0.0; (168) [----] for i in 1:2 loop (168) [----] P1.enableOut.Index := $FUN_25; (168) [----] 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 (168) [----] P1.enableOut.TEout[P1.enableOut.Index] := true; (168) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.Index]; (168) [----] end if; (168) [----] end for; (168) [----] elseif true then (168) [----] P1.enableOut.arcWeightSum := 0.0; (168) [----] P1.enableOut.remTAout := fill(0, 2); (168) [----] P1.enableOut.nremTAout := 0; (168) [----] for i in 1:2 loop (168) [----] if P1.enableOut.disTAout[i] then (168) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout + 1; (168) [----] P1.enableOut.remTAout[P1.enableOut.nremTAout] := i; (168) [----] end if; (168) [----] end for; (168) [----] P1.enableOut.nTAout := P1.enableOut.nremTAout; (168) [----] P1.enableOut.sumEnablingProbTAout := $FUN_26; (168) [----] P1.enableOut.cumEnablingProb := fill(0.0, 2); (168) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (168) [----] for j in 2:P1.enableOut.nremTAout loop (168) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (168) [----] end for; (168) [----] for i in 1:P1.enableOut.nTAout loop (168) [----] (P1.enableOut.randNum, P1.enableOut.state128) := ($FUN_27, $FUN_28); (168) [----] P1.enableOut.endWhile := false; (168) [----] P1.enableOut.k := 1; (168) [----] while P1.enableOut.k <= P1.enableOut.nremTAout and not P1.enableOut.endWhile then (168) [----] if P1.enableOut.randNum <= P1.enableOut.cumEnablingProb[P1.enableOut.k] then (168) [----] P1.enableOut.posTE := P1.enableOut.remTAout[P1.enableOut.k]; (168) [----] P1.enableOut.endWhile := true; (168) [----] elseif true then (168) [----] P1.enableOut.k := P1.enableOut.k + 1; (168) [----] end if; (168) [----] end while; (168) [----] 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 (168) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.posTE]; (168) [----] P1.enableOut.TEout[P1.enableOut.posTE] := true; (168) [----] end if; (168) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout - 1; (168) [----] if P1.enableOut.nremTAout > 0 then (168) [----] P1.enableOut.remTAout := $FUN_29; (168) [----] P1.enableOut.cumEnablingProb := fill(0.0, 2); (168) [----] P1.enableOut.sumEnablingProbTAout := $FUN_26; (168) [----] if P1.enableOut.sumEnablingProbTAout > 0.0 then (168) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (168) [----] for j in 2:P1.enableOut.nremTAout loop (168) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (168) [----] end for; (168) [----] elseif true then (168) [----] P1.enableOut.cumEnablingProb[1:P1.enableOut.nremTAout] := fill(1.0 / P1.enableOut.nremTAout, P1.enableOut.nremTAout); (168) [----] end if; (168) [----] end if; (168) [----] end for; (168) [----] end if; (168) [----] end if; (168) [----] end when; (168) [----] for i in 1:2 loop (168) [----] P1.enableOut.TEout_[i] := P1.enableOut.TEout[i] and P1.enableOut.TAout[i]; (168) [----] end for; (169) [ALGO] (18) ($RES_SIM_31) (169) [----] P1.enableIn.TEin := fill(false, 1); (169) [----] when P1.enableIn.delayPassed then (169) [----] P1.enableIn.disTAin := $FUN_14; (169) [----] P1.enableIn.arcWeightSum := $FUN_15; (169) [----] if (P1.enableIn.arcWeightSum + P1.t_) - P1.maxMarks <= 1e-9 or abs(P1.enableIn.arcWeightSum) <= 1e-8 then (169) [----] P1.enableIn.TEin := P1.enableIn.TAein; (169) [----] elseif true then (169) [----] P1.enableIn.TEin := $FUN_16; (169) [----] if P1.enablingType == PNlib.Types.EnablingType.Priority then (169) [----] P1.enableIn.arcWeightSum := 0.0; (169) [----] for i in 1:1 loop (169) [----] P1.enableIn.Index := $FUN_17; (169) [----] if (P1.enableIn.Index > 0 and P1.enableIn.disTAin[P1.enableIn.Index]) and ((P1.enableIn.arcWeight[P1.enableIn.Index] + P1.enableIn.arcWeightSum + P1.t_) - P1.maxMarks <= 1e-9 or abs(P1.enableIn.arcWeight[P1.enableIn.Index]) <= 1e-8) then (169) [----] P1.enableIn.TEin[P1.enableIn.Index] := true; (169) [----] P1.enableIn.arcWeightSum := P1.enableIn.arcWeightSum + P1.enableIn.arcWeight[P1.enableIn.Index]; (169) [----] end if; (169) [----] end for; (169) [----] elseif true then (169) [----] P1.enableIn.arcWeightSum := 0.0; (169) [----] P1.enableIn.remTAin := fill(0, 1); (169) [----] P1.enableIn.nremTAin := 0; (169) [----] for i in 1:1 loop (169) [----] if P1.enableIn.disTAin[i] then (169) [----] P1.enableIn.nremTAin := P1.enableIn.nremTAin + 1; (169) [----] P1.enableIn.remTAin[P1.enableIn.nremTAin] := i; (169) [----] end if; (169) [----] end for; (169) [----] P1.enableIn.nTAin := P1.enableIn.nremTAin; (169) [----] P1.enableIn.sumEnablingProbTAin := $FUN_18; (169) [----] P1.enableIn.cumEnablingProb := fill(0.0, 1); (169) [----] P1.enableIn.cumEnablingProb[1] := P1.enableIn.enablingProb[P1.enableIn.remTAin[1]] / P1.enableIn.sumEnablingProbTAin; (169) [----] for j in 2:P1.enableIn.nremTAin loop (169) [----] P1.enableIn.cumEnablingProb[j] := P1.enableIn.cumEnablingProb[j - 1] + P1.enableIn.enablingProb[P1.enableIn.remTAin[j]] / P1.enableIn.sumEnablingProbTAin; (169) [----] end for; (169) [----] for i in 1:P1.enableIn.nTAin loop (169) [----] (P1.enableIn.randNum, P1.enableIn.state128) := ($FUN_19, $FUN_20); (169) [----] P1.enableIn.endWhile := false; (169) [----] P1.enableIn.k := 1; (169) [----] while P1.enableIn.k <= P1.enableIn.nremTAin and not P1.enableIn.endWhile then (169) [----] if P1.enableIn.randNum <= P1.enableIn.cumEnablingProb[P1.enableIn.k] then (169) [----] P1.enableIn.posTE := P1.enableIn.remTAin[P1.enableIn.k]; (169) [----] P1.enableIn.endWhile := true; (169) [----] elseif true then (169) [----] P1.enableIn.k := P1.enableIn.k + 1; (169) [----] end if; (169) [----] end while; (169) [----] if (P1.enableIn.arcWeight[P1.enableIn.posTE] + P1.enableIn.arcWeightSum + P1.t_) - P1.maxMarks <= 1e-9 or abs(P1.enableIn.arcWeight[i]) <= 1e-8 then (169) [----] P1.enableIn.arcWeightSum := P1.enableIn.arcWeightSum + P1.enableIn.arcWeight[P1.enableIn.posTE]; (169) [----] P1.enableIn.TEin[P1.enableIn.posTE] := true; (169) [----] end if; (169) [----] P1.enableIn.nremTAin := P1.enableIn.nremTAin - 1; (169) [----] if P1.enableIn.nremTAin > 0 then (169) [----] P1.enableIn.remTAin := $FUN_21; (169) [----] P1.enableIn.cumEnablingProb := fill(0.0, 1); (169) [----] P1.enableIn.sumEnablingProbTAin := $FUN_18; (169) [----] if P1.enableIn.sumEnablingProbTAin > 0.0 then (169) [----] P1.enableIn.cumEnablingProb[1] := P1.enableIn.enablingProb[P1.enableIn.remTAin[1]] / P1.enableIn.sumEnablingProbTAin; (169) [----] for j in 2:P1.enableIn.nremTAin loop (169) [----] P1.enableIn.cumEnablingProb[j] := P1.enableIn.cumEnablingProb[j - 1] + P1.enableIn.enablingProb[P1.enableIn.remTAin[j]] / P1.enableIn.sumEnablingProbTAin; (169) [----] end for; (169) [----] elseif true then (169) [----] P1.enableIn.cumEnablingProb[1:P1.enableIn.nremTAin] := fill(1.0 / P1.enableIn.nremTAin, P1.enableIn.nremTAin); (169) [----] end if; (169) [----] end if; (169) [----] end for; (169) [----] end if; (169) [----] end if; (169) [----] end when; (169) [----] for i in 1:1 loop (169) [----] P1.enableIn.TEin_[i] := P1.enableIn.TEin[i] and P1.enableIn.active[i]; (169) [----] end for; (170) [-IF-] (1)if T3.disPlaceOut[1] then (170) [----] [SCAL] (1) T3.arcWeightIntOut[1] = integer(T3.arcWeightOut[1]) ($RES_SIM_33) (170) [----] else (170) [----] [SCAL] (1) T3.arcWeightIntOut[1] = 1 ($RES_SIM_34) (170) [----] end if; (171) [ARRY] (3) T3.color = if $SEV_157 then {255.0, 255.0, 0.0} else {255.0, 255.0, 255.0} ($RES_SIM_39) (172) [SCAL] (1) T3.instantaneousSpeed = min(min(8.777798510069901e304, T3.decreasingFactorOut[1]), T3.prelimSpeed) ($RES_SIM_40) (173) [SCAL] (1) T3.fire = T3.activation.active ($RES_SIM_41) (174) [ARRY] (3) P3.color = if settings.animatePlace then if $SEV_161 then {255.0, 255.0 - 2.55 * P3.tokenscale, 255.0 - 2.55 * P3.tokenscale} else {255.0, 0.0, 0.0} else {255.0, 255.0, 255.0} ($RES_SIM_46) (175) [FOR-] (2) ($RES_BND_300) (175) [----] for $i1 in 1:2 loop (175) [----] [SCAL] (1) P1.outTransition[$i1].prelimSpeed = P1.prelimSpeedOut[$i1] ($RES_BND_301) (175) [----] end for; (176) [SCAL] (1) P3.tokenscale = P3.t * settings.scale ($RES_SIM_47) (177) [SCAL] (1) P3.levelCon = (settings.M * P3.t) / P3.N ($RES_SIM_48) (178) [FOR-] (2) ($RES_BND_302) (178) [----] for $i1 in 1:2 loop (178) [----] [SCAL] (1) P1.outTransition[$i1].instSpeed = P1.instSpeedOut[$i1] ($RES_BND_303) (178) [----] end for; (179) [WHEN] (1)when {$SEV_162, $SEV_163} then (179) [----] P3.t := ($PRE.P3.firingSumIn.firingSum + P3.enableOut.t) - $PRE.P3.firingSumOut.firingSum (179) [----] else when pre(false) then (179) [----] P3.t := P3.reStartTokens (179) [----] end when; (180) [FOR-] (2) ($RES_BND_304) (180) [----] for $i1 in 1:2 loop (180) [----] [SCAL] (1) P1.outTransition[$i1].disTransition = P1.disTransitionOut[$i1] ($RES_BND_305) (180) [----] end for; (181) [FOR-] (2) ($RES_BND_306) (181) [----] for $i1 in 1:2 loop (181) [----] [SCAL] (1) P1.outTransition[$i1].arcWeight = P1.arcWeightOut[$i1] ($RES_BND_307) (181) [----] end for; (182) [FOR-] (2) ($RES_BND_308) (182) [----] for $i1 in 1:2 loop (182) [----] [SCAL] (1) P1.outTransition[$i1].fire = P1.fireOut[$i1] ($RES_BND_309) (182) [----] end for; (183) [SCAL] (1) $FUN_40 = sum(P3.enableIn.enablingProb[P3.enableIn.remTAin[1:P3.enableIn.nremTAin]]) ($RES_$AUX_599) (184) [TUPL] (5) ($FUN_41, $FUN_42) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_10) ($RES_$AUX_598) (185) [ARRY] (1) $FUN_43 = PNlib.Functions.OddsAndEnds.deleteElementInt(P3.enableIn.remTAin, P3.enableIn.k) ($RES_$AUX_597) (186) [ARRY] (1) $FUN_44 = PNlib.Functions.Enabling.benefitGreedyDisIn(1, P3.enableIn.arcWeight, P3.enableOut.t, P3.maxTokens, P3.enableIn.TAein, P3.enableIn.enablingBene, P3.enableIn.disTransition) ($RES_$AUX_596) (187) [ARRY] (1) $FUN_45 = PNlib.Functions.Enabling.benefitQuotientDisIn(1, P3.enableIn.arcWeight, P3.enableOut.t, P3.maxTokens, P3.enableIn.TAein, P3.enableIn.enablingBene, P3.enableIn.disTransition) ($RES_$AUX_595) (188) [SCAL] (1) $FUN_46 = sum(P3.enableIn.enablingBene) ($RES_$AUX_594) (189) [TUPL] (5) ($FUN_47, $FUN_48, $FUN_49, $FUN_50, $FUN_51) = PNlib.Functions.Enabling.benefitBaBDisIn(1, 1, P3.enableIn.enablingBene, P3.enableIn.arcWeight, P3.enableIn.enablingBene / P3.enableIn.arcWeight, P3.enableOut.t, P3.enableIn.benefitMax, P3.maxTokens, P3.enableIn.TEin, 0, P3.enableIn.benefitLimit, P3.enableIn.TAein, P3.enableIn.disTransition) ($RES_$AUX_593) (190) [SCAL] (1) T2.fire = PNlib.Functions.OddsAndEnds.allTrue(T2.enableOut) ($RES_$AUX_592) (191) [SCAL] (1) T2.enabledByInPlaces = PNlib.Functions.OddsAndEnds.allTrue(T2.enableIn) ($RES_$AUX_591) (192) [ARRY] (1) $FUN_54 = PNlib.Functions.OddsAndEnds.boolOr(T1.enableIn, not T1.disPlaceIn) ($RES_$AUX_590) (193) [SCAL] (1) P3.tokeninout = $SEV_164 ($RES_SIM_50) (194) [SCAL] (1) P3.enableOut.t = $TEV_2 ($RES_SIM_51) (195) [ARRY] (3) P2.color = if settings.animatePlace then if $SEV_168 then {255.0, 255.0 - 2.55 * P2.tokenscale, 255.0 - 2.55 * P2.tokenscale} else {255.0, 0.0, 0.0} else {255.0, 255.0, 255.0} ($RES_SIM_55) (196) [SCAL] (1) P2.tokenscale = P2.pc_t * settings.scale ($RES_SIM_56) (197) [SCAL] (1) P2.pc_t = noEvent(if $SEV_169 then P2.minMarks else if $SEV_170 then P2.maxMarks else P2.t_) ($RES_SIM_57) (198) [FOR-] (2) ($RES_BND_310) (198) [----] for $i1 in 1:2 loop (198) [----] [SCAL] (1) P1.outTransition[$i1].active = P1.activeOut[$i1] ($RES_BND_311) (198) [----] end for; (199) [SCAL] (1) P2.preFireIn[1] = if P2.disTransitionIn[1] then P2.fireIn[1] else $TEV_3 ($RES_SIM_58) (200) [SCAL] (1) P2.levelCon = (settings.M * P2.pc_t) / P2.N ($RES_SIM_59) (201) [ARRY] (1) P1.enableIn.arcWeight = P1.arcWeightIn ($RES_BND_313) (202) [ARRY] (1) P1.enableIn.TAein = $SEV_213 ($RES_BND_316) (203) [ARRY] (1) P1.enableIn.enablingPrio = P1.enablingPrioIn ($RES_BND_318) (204) [ARRY] (1) P1.enableIn.enablingProb = P1.enablingProbIn ($RES_BND_319) (205) [SCAL] (1) T1.fire_ = PNlib.Functions.OddsAndEnds.allTrue($FUN_54) ($RES_$AUX_589) (206) [ARRY] (1) T1.activation.minTokens = T1.minTokens ($RES_BND_400) (207) [ARRY] (1) T1.activation.maxTokens = T1.maxTokens ($RES_BND_401) (208) [ARRY] (1) T1.activation.minTokensInt = T1.minTokensInt ($RES_BND_402) (209) [ARRY] (1) T1.activation.maxTokensInt = T1.maxTokensInt ($RES_BND_403) (210) [-IF-] (1)if T1.disPlaceIn[1] then (210) [----] [SCAL] (1) T1.arcWeightIntIn[1] = integer(T1.arcWeightIn[1]) ($RES_SIM_105) (210) [----] else (210) [----] [SCAL] (1) T1.arcWeightIntIn[1] = 1 ($RES_SIM_106) (210) [----] end if; (211) [ARRY] (1) T1.activation.fed = T1.fed ($RES_BND_405) (212) [ARRY] (1) T1.activation.emptied = T1.emptied ($RES_BND_406) (213) [ARRY] (1) T1.activation.disPlaceIn = T1.disPlaceIn ($RES_BND_407) (214) [ARRY] (1) T1.activation.disPlaceOut = T1.disPlaceOut ($RES_BND_408) (215) [ARRY] (1) T1.activation.testValue = T1.testValue ($RES_BND_409) (216) [SCAL] (1) P2.disMarksInOut = $SEV_171 ($RES_SIM_61) (217) [SCAL] (1) P2.disMarkChange = P2.firingSumIn.disFiringSum ($RES_SIM_62) (218) [SCAL] (1) $DER.P2.t_ = P2.conMarkChange ($RES_SIM_63) (219) [SCAL] (1) P2.conMarkChange = P2.firingSumIn.conFiringSum ($RES_SIM_64) (220) [ARRY] (1) P1.enableIn.disTransition = P1.disTransitionIn ($RES_BND_320) (221) [ARRY] (1) P1.enableIn.active = P1.activeIn ($RES_BND_322) (222) [ARRY] (2) P1.enableOut.arcWeight = P1.arcWeightOut ($RES_BND_323) (223) [ARRY] (2) P1.enableOut.TAout = P1.activeOut ($RES_BND_326) (224) [ARRY] (2) P1.enableOut.enablingPrio = P1.enablingPrioOut ($RES_BND_328) (225) [ARRY] (2) P1.enableOut.enablingProb = P1.enablingProbOut ($RES_BND_329) (226) [ARRY] (1) T1.activation.testValueInt = T1.testValueInt ($RES_BND_410) (227) [ARRY] (3) T1.color = if $SEV_185 then {255.0, 255.0, 0.0} else {255.0, 255.0, 255.0} ($RES_SIM_111) (228) [ARRY] (1) T1.activation.normalArc = T1.normalArc ($RES_BND_411) (229) [SCAL] (1) T1.instantaneousSpeed = min(2.0 * min(T1.decreasingFactorIn[1], T1.decreasingFactorOut[1]), T1.prelimSpeed) ($RES_SIM_112) (230) [SCAL] (1) T1.fire = $SEV_186 ($RES_SIM_113) (231) [SCAL] (1) T2.arcWeightIn[1] = 1.0 ($RES_BND_414) (232) [SCAL] (1) T2.arcWeightOut[1] = 1.0 ($RES_BND_415) (233) [SCAL] (1) T2.inPlaces[1].maxSpeed = 0.0 ($RES_BND_417) (234) [SCAL] (1) T2.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_418) (235) [SCAL] (1) T2.inPlaces[1].instSpeed = 0.0 ($RES_BND_419) (236) [-IF-] (1)if $SEV_172 then (236) [----] [SCAL] (1) P2.firingSumIn.vec1[1] = P2.firingSumIn.arcWeight[1] * P2.firingSumIn.instSpeed[1] ($RES_SIM_71) (236) [----] else (236) [----] [SCAL] (1) P2.firingSumIn.vec1[1] = 0.0 ($RES_SIM_72) (236) [----] end if; (237) [SCAL] (1) T1.outPlaces[1].enabledByInPlaces = P2.inTransition[1].enabledByInPlaces ($RES_SIM_200) (238) [SCAL] (1) T1.outPlaces[1].enable = P2.inTransition[1].enable ($RES_SIM_201) (239) [-IF-] (1)if $SEV_173 then (239) [----] [SCAL] (1) P2.firingSumIn.vec2[1] = P2.firingSumIn.arcWeight[1] ($RES_SIM_74) (239) [----] else (239) [----] [SCAL] (1) P2.firingSumIn.vec2[1] = 0.0 ($RES_SIM_75) (239) [----] end if; (240) [ARRY] (1) P2.enableIn.enablingPrio = P2.enablingPrioIn ($RES_BND_501) (241) [SCAL] (1) T1.outPlaces[1].emptied = P2.inTransition[1].emptied ($RES_SIM_202) (242) [ARRY] (1) P2.enableIn.enablingProb = P2.enablingProbIn ($RES_BND_502) (243) [SCAL] (1) T1.outPlaces[1].disTransition = P2.inTransition[1].disTransition ($RES_SIM_203) (244) [ARRY] (1) P2.enableIn.disTransition = P2.disTransitionIn ($RES_BND_503) (245) [-IF-] (1)if T2.disPlaceOut[1] then (245) [----] [SCAL] (1) T2.arcWeightIntOut[1] = integer(T2.arcWeightOut[1]) ($RES_SIM_77) (245) [----] else (245) [----] [SCAL] (1) T2.arcWeightIntOut[1] = 1 ($RES_SIM_78) (245) [----] end if; (246) [SCAL] (1) T1.outPlaces[1].disPlace = P2.inTransition[1].disPlace ($RES_SIM_204) (247) [SCAL] (1) T1.outPlaces[1].decreasingFactor = P2.inTransition[1].decreasingFactor ($RES_SIM_205) (248) [ARRY] (1) P2.enableIn.active = P2.activeIn ($RES_BND_505) (249) [ARRY] (2) P1.enableOut.disTransition = P1.disTransitionOut ($RES_BND_330) (250) [SCAL] (1) T1.outPlaces[1].arcWeightint = P2.inTransition[1].arcWeightint ($RES_SIM_206) (251) [SCAL] (1) T1.outPlaces[1].arcWeight = P2.inTransition[1].arcWeight ($RES_SIM_207) (252) [ARRY] (2) P1.delayPassedOut.vec = $SEV_212 ($RES_BND_332) (253) [SCAL] (1) T1.outPlaces[1].active = P2.inTransition[1].active ($RES_SIM_208) (254) [ARRY] (1) P1.delayPassedIn.vec = $SEV_211 ($RES_BND_333) (255) [SCAL] (1) P1.outTransition[1].tokenInOut = T1.inPlaces[1].tokenInOut ($RES_SIM_209) (256) [ARRY] (2) P1.disMarksOut.vec = $SEV_210 ($RES_BND_334) (257) [ARRY] (1) P1.disMarksIn.vec = $SEV_209 ($RES_BND_335) (258) [ARRY] (1) P1.feeding.vec = $SEV_208 ($RES_BND_336) (259) [ARRY] (2) P1.emptying.vec = $SEV_207 ($RES_BND_337) (260) [ARRY] (1) P1.firingSumIn.fire = P1.preFireIn ($RES_BND_338) (261) [ARRY] (1) P1.firingSumIn.arcWeight = P1.arcWeightIn ($RES_BND_339) (262) [ARRY] (3) P1.color = if settings.animatePlace then if $SEV_192 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_120) (263) [SCAL] (1) T2.inPlaces[1].disTransition = true ($RES_BND_420) (264) [SCAL] (1) P1.tokenscale = P1.pc_t * settings.scale ($RES_SIM_121) (265) [ARRY] (1) T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} ($RES_BND_421) (266) [ARRY] (1) T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} ($RES_BND_422) (267) [SCAL] (1) P1.pc_t = noEvent(if $SEV_193 then P1.minMarks else if $SEV_194 then P1.maxMarks else P1.t_) ($RES_SIM_122) (268) [SCAL] (1) P1.preFireIn[1] = if P1.disTransitionIn[1] then P1.fireIn[1] else $TEV_4 ($RES_SIM_123) (269) [ARRY] (1) T2.inPlaces.fire = {T2.fire} ($RES_BND_423) (270) [FOR-] (2) ($RES_SIM_124) (270) [----] for $i1 in 1:2 loop (270) [----] [SCAL] (1) P1.preFireOut[$i1] = if P1.disTransitionOut[$i1] then P1.fireOut[$i1] else $TEV_5 ($RES_SIM_125) (270) [----] end for; (271) [ARRY] (1) T2.inPlaces.active = {T2.delayPassed} ($RES_BND_424) (272) [ARRY] (1) T2.inPlaces.normalArc = {T2.normalArc[1]} ($RES_BND_425) (273) [SCAL] (1) P1.levelCon = (settings.M * P1.pc_t) / P1.N ($RES_SIM_126) (274) [ARRY] (1) T2.inPlaces.testValueint = {T2.testValueInt[1]} ($RES_BND_426) (275) [ARRY] (1) T2.inPlaces.testValue = {T2.testValue[1]} ($RES_BND_427) (276) [SCAL] (1) P1.disMarksInOut = $SEV_195 ($RES_SIM_128) (277) [ARRY] (1) P1.inTransition.speedSum = {P1.firingSumOut.conFiringSum} ($RES_BND_253) (278) [ARRY] (1) T2.inPlaces.arcType = {T2.arcType[1]} ($RES_BND_428) (279) [SCAL] (1) P1.disMarkChange = P1.firingSumIn.disFiringSum - P1.firingSumOut.disFiringSum ($RES_SIM_129) (280) [ARRY] (1) T2.inPlaces.disPlace = {T2.disPlaceIn[1]} ($RES_BND_429) (281) [ARRY] (1) P1.inTransition.emptied = {P1.emptying.anytrue} ($RES_BND_254) (282) [SCAL] (1) P1.inTransition[1].disPlace = false ($RES_BND_255) (283) [ARRY] (1) P1.inTransition.decreasingFactor = {P1.decFactorIn[1]} ($RES_BND_256) (284) [ARRY] (1) P1.inTransition.enable = {P1.enableIn.TEin_[1]} ($RES_BND_257) (285) [SCAL] (1) P1.inTransition[1].maxTokensint = 1 ($RES_BND_258) (286) [SCAL] (1) P1.outTransition[1].tint = T1.inPlaces[1].tint ($RES_SIM_210) (287) [ARRY] (1) P1.inTransition.maxTokens = {P1.maxMarks} ($RES_BND_259) (288) [ARRY] (1) P2.delayPassedIn.vec = $SEV_205 ($RES_BND_510) (289) [SCAL] (1) P1.outTransition[1].testValueint = T1.inPlaces[1].testValueint ($RES_SIM_211) (290) [-IF-] (1)if T2.disPlaceIn[1] then (290) [----] [SCAL] (1) T2.arcWeightIntIn[1] = integer(T2.arcWeightIn[1]) ($RES_SIM_84) (290) [----] else (290) [----] [SCAL] (1) T2.arcWeightIntIn[1] = 1 ($RES_SIM_85) (290) [----] end if; (291) [ARRY] (1) P2.disMarksIn.vec = $SEV_204 ($RES_BND_511) (292) [SCAL] (1) P1.outTransition[1].testValue = T1.inPlaces[1].testValue ($RES_SIM_212) (293) [ARRY] (1) P2.feeding.vec = $SEV_203 ($RES_BND_512) (294) [SCAL] (1) P1.outTransition[1].t = T1.inPlaces[1].t ($RES_SIM_213) (295) [ARRY] (1) P2.firingSumIn.fire = P2.preFireIn ($RES_BND_513) (296) [ARRY] (1) P2.firingSumIn.arcWeight = P2.arcWeightIn ($RES_BND_514) (297) [SCAL] (1) P1.outTransition[1].speedSum = T1.inPlaces[1].speedSum ($RES_SIM_214) (298) [ARRY] (1) P2.firingSumIn.instSpeed = P2.instSpeedIn ($RES_BND_515) (299) [SCAL] (1) P1.outTransition[1].prelimSpeed = T1.inPlaces[1].prelimSpeed ($RES_SIM_215) (300) [ARRY] (1) P1.firingSumIn.instSpeed = P1.instSpeedIn ($RES_BND_340) (301) [SCAL] (1) P1.outTransition[1].normalArc = T1.inPlaces[1].normalArc ($RES_SIM_216) (302) [ARRY] (1) P2.firingSumIn.disTransition = P2.disTransitionIn ($RES_BND_516) (303) [ARRY] (1) P1.firingSumIn.disTransition = P1.disTransitionIn ($RES_BND_341) (304) [SCAL] (1) P1.outTransition[1].minTokensint = T1.inPlaces[1].minTokensint ($RES_SIM_217) (305) [ARRY] (2) P1.firingSumOut.fire = P1.preFireOut ($RES_BND_342) (306) [SCAL] (1) P1.outTransition[1].minTokens = T1.inPlaces[1].minTokens ($RES_SIM_218) (307) [ARRY] (2) P1.firingSumOut.arcWeight = P1.arcWeightOut ($RES_BND_343) (308) [ARRY] (1) P2.decFactorIn = $FUN_11 ($RES_$AUX_642) (309) [SCAL] (1) P1.outTransition[1].maxSpeed = T1.inPlaces[1].maxSpeed ($RES_SIM_219) (310) [ARRY] (2) P1.firingSumOut.instSpeed = P1.instSpeedOut ($RES_BND_344) (311) [ARRY] (2) P1.decFactorOut = $FUN_6 ($RES_$AUX_641) (312) [ARRY] (2) P1.firingSumOut.disTransition = P1.disTransitionOut ($RES_BND_345) (313) [ARRY] (1) P1.decFactorIn = $FUN_5 ($RES_$AUX_640) (314) [SCAL] (1) T1.arcWeightIn[1] = 1.0 ($RES_BND_347) (315) [SCAL] (1) T1.arcWeightOut[1] = 1.0 ($RES_BND_348) (316) [SCAL] (1) $DER.P1.t_ = P1.conMarkChange ($RES_SIM_130) (317) [ARRY] (1) T2.inPlaces.enable = {T2.enableIn[1]} ($RES_BND_430) (318) [SCAL] (1) P1.conMarkChange = P1.firingSumIn.conFiringSum - P1.firingSumOut.conFiringSum ($RES_SIM_131) (319) [ARRY] (1) T2.inPlaces.minTokensint = {T2.minTokensInt[1]} ($RES_BND_431) (320) [ARRY] (1) T2.inPlaces.minTokens = {T2.minTokens[1]} ($RES_BND_432) (321) [ARRY] (1) T2.inPlaces.tint = {T2.tIntIn[1]} ($RES_BND_433) (322) [ARRY] (1) T2.inPlaces.t = {T2.tIn[1]} ($RES_BND_434) (323) [FOR-] (2) ($RES_SIM_135) (323) [----] for $i1 in 1:2 loop (323) [----] [-IF-] (1)if $SEV_196[$i1] then (323) [----] [----] [SCAL] (1) P1.firingSumOut.vec1[$i1] = P1.firingSumOut.arcWeight[$i1] * P1.firingSumOut.instSpeed[$i1] ($RES_SIM_137) (323) [----] [----] else (323) [----] [----] [SCAL] (1) P1.firingSumOut.vec1[$i1] = 0.0 ($RES_SIM_138) (323) [----] [----] end if; (323) [----] end for; (324) [SCAL] (1) P1.inTransition[1].tint = 1 ($RES_BND_260) (325) [ARRY] (1) P1.inTransition.t = {P1.t_} ($RES_BND_261) (326) [ARRY] (1) P1.inTransition.maxSpeed = {P1.maxSpeedIn[1]} ($RES_BND_262) (327) [ARRY] (1) P1.inTransition.prelimSpeed = {P1.prelimSpeedIn[1]} ($RES_BND_263) (328) [SCAL] (1) T2.outPlaces[1].disTransition = true ($RES_BND_438) (329) [FOR-] (2) ($RES_SIM_139) (329) [----] for $i1 in 1:2 loop (329) [----] [-IF-] (1)if $SEV_197[$i1] then (329) [----] [----] [SCAL] (1) P1.firingSumOut.vec2[$i1] = P1.firingSumOut.arcWeight[$i1] ($RES_SIM_141) (329) [----] [----] else (329) [----] [----] [SCAL] (1) P1.firingSumOut.vec2[$i1] = 0.0 ($RES_SIM_142) (329) [----] [----] end if; (329) [----] end for; (330) [ARRY] (1) P1.inTransition.instSpeed = {P1.instSpeedIn[1]} ($RES_BND_264) (331) [ARRY] (1) T2.outPlaces.enabledByInPlaces = {T2.enabledByInPlaces} ($RES_BND_439) (332) [ARRY] (1) P1.inTransition.disTransition = {P1.disTransitionIn[1]} ($RES_BND_265) (333) [ARRY] (1) P1.inTransition.enabledByInPlaces = {P1.enabledByInPlaces[1]} ($RES_BND_266) (334) [ARRY] (1) P1.inTransition.arcWeight = {P1.arcWeightIn[1]} ($RES_BND_267) (335) [ARRY] (3) T2.color = if $SEV_178 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_90) (336) [WHEN] (1)when T2.fire then (336) [----] T2.fireTime := time (336) [----] end when; (337) [ARRY] (1) P1.inTransition.fire = {P1.fireIn[1]} ($RES_BND_268) (338) [SCAL] (1) P1.outTransition[1].instSpeed = T1.inPlaces[1].instSpeed ($RES_SIM_220) (339) [WHEN] (1)when T2.fire then (339) [----] T2.ani := true (339) [----] end when; (340) [ARRY] (1) P1.inTransition.active = {P1.activeIn[1]} ($RES_BND_269) (341) [SCAL] (1) P1.outTransition[1].fire = T1.inPlaces[1].fire ($RES_SIM_221) (342) [SCAL] (1) P1.outTransition[1].fed = T1.inPlaces[1].fed ($RES_SIM_222) (343) [SCAL] (1) T2.delayPassed = $SEV_179 ($RES_SIM_94) (344) [SCAL] (1) P3.inTransition[1].disPlace = true ($RES_BND_522) (345) [SCAL] (1) P1.outTransition[1].enable = T1.inPlaces[1].enable ($RES_SIM_223) (346) [WHEN] (1)when T2.active then (346) [----] T2.firingTime := time + T2.delay_ (346) [----] end when; (347) [SCAL] (1) P1.outTransition[1].disTransition = T1.inPlaces[1].disTransition ($RES_SIM_224) (348) [SCAL] (1) T2.active = $SEV_180 ($RES_SIM_96) (349) [ARRY] (1) P3.inTransition.enable = {P3.enableIn.TEin_[1]} ($RES_BND_524) (350) [SCAL] (1) P1.outTransition[1].disPlace = T1.inPlaces[1].disPlace ($RES_SIM_225) (351) [SCAL] (1) T1.actualSpeed = if T1.fire then T1.instantaneousSpeed else 0.0 ($RES_BND_350) (352) [-IF-] (1)if T1.disPlaceOut[1] then (352) [----] [SCAL] (1) T1.arcWeightIntOut[1] = integer(T1.arcWeightOut[1]) ($RES_SIM_98) (352) [----] else (352) [----] [SCAL] (1) T1.arcWeightIntOut[1] = 1 ($RES_SIM_99) (352) [----] end if; (353) [ARRY] (1) P3.inTransition.maxTokensint = {P3.maxTokens} ($RES_BND_525) (354) [ARRY] (1) P3.inTransition.maxTokens = {P3.maxTokens} ($RES_BND_526) (355) [SCAL] (1) P1.outTransition[1].decreasingFactor = T1.inPlaces[1].decreasingFactor ($RES_SIM_226) (356) [SCAL] (1) P1.outTransition[1].arcWeightint = T1.inPlaces[1].arcWeightint ($RES_SIM_227) (357) [ARRY] (1) P3.inTransition.tint = {P3.enableOut.t} ($RES_BND_527) (358) [SCAL] (1) P1.firingSumIn.conFiringSum = sum(P1.firingSumIn.vec1) ($RES_$AUX_633) (359) [ARRY] (1) P3.inTransition.t = {P3.enableOut.t} ($RES_BND_528) (360) [SCAL] (1) P1.outTransition[1].arcWeight = T1.inPlaces[1].arcWeight ($RES_SIM_228) (361) [ARRY] (1) T1.inPlaces.maxSpeed = {2.0} ($RES_BND_353) (362) [SCAL] (1) P1.firingSumIn.disFiringSum = sum(P1.firingSumIn.vec2) ($RES_$AUX_632) (363) [SCAL] (1) P1.outTransition[1].arcType = T1.inPlaces[1].arcType ($RES_SIM_229) (364) [ARRY] (1) T1.inPlaces.prelimSpeed = {T1.prelimSpeed} ($RES_BND_354) (365) [ARRY] (1) P3.inTransition.disTransition = {P3.disTransitionIn[1]} ($RES_BND_529) (366) [SCAL] (1) P1.firingSumOut.conFiringSum = sum(P1.firingSumOut.vec1) ($RES_$AUX_631) (367) [ARRY] (1) T1.inPlaces.instSpeed = {T1.instantaneousSpeed} ($RES_BND_355) (368) [SCAL] (1) P1.firingSumOut.disFiringSum = sum(P1.firingSumOut.vec2) ($RES_$AUX_630) (369) [SCAL] (1) T1.inPlaces[1].disTransition = false ($RES_BND_356) (370) [ARRY] (1) T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} ($RES_BND_357) (371) [ARRY] (1) T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} ($RES_BND_358) (372) [ARRY] (1) T1.inPlaces.fire = {T1.fire} ($RES_BND_359) (373) [ARRY] (1) T2.outPlaces.arcWeightint = {T2.arcWeightIntOut[1]} ($RES_BND_440) (374) [ARRY] (1) T2.outPlaces.arcWeight = {T2.arcWeightOut[1]} ($RES_BND_441) (375) [ARRY] (1) T2.outPlaces.fire = {T2.fire} ($RES_BND_442) (376) [ARRY] (1) T2.outPlaces.active = {T2.delayPassed} ($RES_BND_443) (377) [ARRY] (1) T2.outPlaces.disPlace = {T2.disPlaceOut[1]} ($RES_BND_444) (378) [-IF-] (1)if $SEV_198 then (378) [----] [SCAL] (1) P1.firingSumIn.vec1[1] = P1.firingSumIn.arcWeight[1] * P1.firingSumIn.instSpeed[1] ($RES_SIM_146) (378) [----] else (378) [----] [SCAL] (1) P1.firingSumIn.vec1[1] = 0.0 ($RES_SIM_147) (378) [----] end if; (379) [ARRY] (1) T2.outPlaces.enable = {T2.enableOut[1]} ($RES_BND_445) (380) [FOR-] (2) ($RES_BND_270) (380) [----] for $i1 in 1:2 loop (380) [----] [SCAL] (1) P1.outTransition[$i1].normalArc = false ($RES_BND_271) (380) [----] end for; (381) [ARRY] (1) T2.outPlaces.maxTokensint = {T2.maxTokensInt[1]} ($RES_BND_446) (382) [ARRY] (1) T2.outPlaces.maxTokens = {T2.maxTokens[1]} ($RES_BND_447) (383) [FOR-] (2) ($RES_BND_272) (383) [----] for $i1 in 1:2 loop (383) [----] [SCAL] (1) P1.outTransition[$i1].testValueint = -1 ($RES_BND_273) (383) [----] end for; (384) [-IF-] (1)if $SEV_199 then (384) [----] [SCAL] (1) P1.firingSumIn.vec2[1] = P1.firingSumIn.arcWeight[1] ($RES_SIM_149) (384) [----] else (384) [----] [SCAL] (1) P1.firingSumIn.vec2[1] = 0.0 ($RES_SIM_150) (384) [----] end if; (385) [ARRY] (1) T2.outPlaces.tint = {T2.tIntOut[1]} ($RES_BND_448) (386) [ARRY] (1) T2.outPlaces.t = {T2.tOut[1]} ($RES_BND_449) (387) [FOR-] (2) ($RES_BND_274) (387) [----] for $i1 in 1:2 loop (387) [----] [SCAL] (1) P1.outTransition[$i1].testValue = -1.0 ($RES_BND_275) (387) [----] end for; (388) [FOR-] (2) ($RES_BND_276) (388) [----] for $i1 in 1:2 loop (388) [----] [SCAL] (1) P1.outTransition[$i1].tokenInOut = $TEV_6 ($RES_BND_277) (388) [----] end for; (389) [FOR-] (2) ($RES_BND_278) (389) [----] for $i1 in 1:2 loop (389) [----] [SCAL] (1) P1.outTransition[$i1].speedSum = P1.firingSumIn.conFiringSum ($RES_BND_279) (389) [----] end for; (390) [SCAL] (1) $SEV_199 = P1.firingSumIn.fire[1] and P1.firingSumIn.disTransition[1] ($RES_EVT_700) (391) [SCAL] (1) P1.outTransition[1].active = T1.inPlaces[1].active ($RES_SIM_230) (392) [ARRY] (1) P3.inTransition.enabledByInPlaces = {P3.enabledByInPlaces[1]} ($RES_BND_530) (393) [SCAL] (1) $SEV_200 = P3.enabledByInPlaces and P3.activeIn ($RES_EVT_701) (394) [SCAL] (1) T3.outPlaces[1].tint = P1.inTransition[1].tint ($RES_SIM_231) (395) [ARRY] (1) P3.inTransition.arcWeightint = {P3.arcWeightIn[1]} ($RES_BND_531) (396) [TUPL] (3) ($FUN_5, $FUN_6) = PNlib.Functions.decreasingFactor(1, 2, P1.t_, P1.minMarks, P1.maxMarks, P1.firingSumIn.conFiringSum, P1.firingSumOut.conFiringSum, P1.maxSpeedIn, P1.maxSpeedOut, P1.prelimSpeedIn, P1.prelimSpeedOut, P1.arcWeightIn, P1.arcWeightOut, $SEV_214, $SEV_215) ($RES_$AUX_629) (397) [SCAL] (1) $SEV_201 = P3.fireIn and P3.disTransitionIn ($RES_EVT_702) (398) [SCAL] (1) T3.outPlaces[1].t = P1.inTransition[1].t ($RES_SIM_232) (399) [ARRY] (1) P3.inTransition.fire = {P3.fireIn[1]} ($RES_BND_532) (400) [SCAL] (1) T1.prelimSpeed = PNlib.Functions.preliminarySpeed(1, 1, T1.arcWeightIn, T1.arcWeightOut, T1.speedSumIn, T1.speedSumOut, 2.0, T1.activation.weaklyInputActiveVec, T1.activation.weaklyOutputActiveVec) ($RES_$AUX_628) (401) [SCAL] (1) $SEV_202 = P3.activeIn and P3.disTransitionIn ($RES_EVT_703) (402) [SCAL] (1) T3.outPlaces[1].speedSum = P1.inTransition[1].speedSum ($RES_SIM_233) (403) [ARRY] (1) P3.inTransition.active = {P3.activeIn[1]} ($RES_BND_533) (404) [SCAL] (1) P2.firingSumIn.conFiringSum = sum(P2.firingSumIn.vec1) ($RES_$AUX_627) (405) [SCAL] (1) $SEV_203 = P2.preFireIn and not P2.disTransitionIn ($RES_EVT_704) (406) [SCAL] (1) T3.outPlaces[1].prelimSpeed = P1.inTransition[1].prelimSpeed ($RES_SIM_234) (407) [SCAL] (1) P2.firingSumIn.disFiringSum = sum(P2.firingSumIn.vec2) ($RES_$AUX_626) (408) [SCAL] (1) $SEV_204 = P2.fireIn and P2.disTransitionIn ($RES_EVT_705) (409) [SCAL] (1) T3.outPlaces[1].maxTokensint = P1.inTransition[1].maxTokensint ($RES_SIM_235) (410) [ARRY] (1) P3.delayPassedIn.vec = $SEV_202 ($RES_BND_535) (411) [ARRY] (1) T1.inPlaces.active = {T1.activation.active} ($RES_BND_360) (412) [SCAL] (1) $SEV_205 = P2.activeIn and P2.disTransitionIn ($RES_EVT_706) (413) [SCAL] (1) T3.outPlaces[1].maxTokens = P1.inTransition[1].maxTokens ($RES_SIM_236) (414) [ARRY] (1) P3.firingSumIn.fire = $SEV_201 ($RES_BND_536) (415) [ARRY] (1) T1.inPlaces.normalArc = {T1.normalArc[1]} ($RES_BND_361) (416) [TUPL] (1) ($FUN_11, $FUN_12) = PNlib.Functions.decreasingFactor(1, 0, P2.t_, P2.minMarks, P2.maxMarks, P2.firingSumIn.conFiringSum, 0.0, P2.maxSpeedIn, {}, P2.prelimSpeedIn, {}, P2.arcWeightIn, {}, $SEV_216, {}) ($RES_$AUX_624) (417) [SCAL] (1) $SEV_206 = P2.enabledByInPlaces and P2.activeIn ($RES_EVT_707) (418) [SCAL] (1) T3.outPlaces[1].maxSpeed = P1.inTransition[1].maxSpeed ($RES_SIM_237) (419) [ARRY] (1) P3.firingSumIn.arcWeight = P3.arcWeightIn ($RES_BND_537) (420) [ARRY] (1) T1.inPlaces.testValueint = {T1.testValueInt[1]} ($RES_BND_362) (421) [SCAL] (1) T3.prelimSpeed = PNlib.Functions.preliminarySpeed(0, 1, {}, T3.arcWeightOut, {}, T3.speedSumOut, 1.0, {}, T3.activation.weaklyOutputActiveVec) ($RES_$AUX_623) (422) [SCAL] (1) $SEV_207 = P1.preFireOut and not P1.disTransitionOut ($RES_EVT_708) (423) [SCAL] (1) T3.outPlaces[1].instSpeed = P1.inTransition[1].instSpeed ($RES_SIM_238) (424) [ARRY] (1) T1.inPlaces.testValue = {T1.testValue[1]} ($RES_BND_363) (425) [ARRY] (1) $FUN_14 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableIn.TAein, P1.enableIn.disTransition) ($RES_$AUX_622) (426) [SCAL] (1) $SEV_208 = P1.preFireIn and not P1.disTransitionIn ($RES_EVT_709) (427) [SCAL] (1) T3.outPlaces[1].fire = P1.inTransition[1].fire ($RES_SIM_239) (428) [ARRY] (1) T1.inPlaces.speedSum = {T1.speedSumIn[1]} ($RES_BND_364) (429) [SCAL] (1) $FUN_15 = PNlib.Functions.OddsAndEnds.conditionalSum(P1.enableIn.arcWeight, P1.enableIn.disTAin) ($RES_$AUX_621) (430) [ARRY] (1) T1.inPlaces.fed = {T1.fed[1]} ($RES_BND_365) (431) [ARRY] (1) $FUN_16 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableIn.TAein, not P1.enableIn.disTransition) ($RES_$AUX_620) (432) [ARRY] (1) T1.inPlaces.arcType = {T1.arcType[1]} ($RES_BND_366) (433) [ARRY] (1) T1.inPlaces.disPlace = {T1.disPlaceIn[1]} ($RES_BND_367) (434) [ARRY] (1) T1.inPlaces.decreasingFactor = {T1.decreasingFactorIn[1]} ($RES_BND_368) (435) [ARRY] (1) T1.inPlaces.enable = {T1.enableIn[1]} ($RES_BND_369) (436) [SCAL] (1) T2.outPlaces[1].tint = P3.inTransition[1].tint ($RES_SIM_151) (437) [SCAL] (1) T2.delay_ = 1.0 ($RES_BND_452) (438) [SCAL] (1) T2.outPlaces[1].t = P3.inTransition[1].t ($RES_SIM_152) (439) [ARRY] (1) T2.activation.tIn = T2.tIn ($RES_BND_453) (440) [ARRY] (1) T2.activation.tOut = T2.tOut ($RES_BND_454) (441) [SCAL] (1) T2.outPlaces[1].maxTokensint = P3.inTransition[1].maxTokensint ($RES_SIM_155) (442) [ARRY] (1) T2.activation.tIntIn = T2.tIntIn ($RES_BND_455) (443) [FOR-] (2) ($RES_BND_280) (443) [----] for $i1 in 1:2 loop (443) [----] [SCAL] (1) P1.outTransition[$i1].fed = P1.feeding.anytrue ($RES_BND_281) (443) [----] end for; (444) [SCAL] (1) T2.outPlaces[1].maxTokens = P3.inTransition[1].maxTokens ($RES_SIM_156) (445) [ARRY] (1) T2.activation.tIntOut = T2.tIntOut ($RES_BND_456) (446) [ARRY] (1) T2.activation.arcType = T2.arcType ($RES_BND_457) (447) [FOR-] (2) ($RES_BND_282) (447) [----] for $i1 in 1:2 loop (447) [----] [SCAL] (1) P1.outTransition[$i1].arcType = PNlib.Types.ArcType.NormalArc ($RES_BND_283) (447) [----] end for; (448) [ARRY] (1) T2.activation.arcWeightIn = T2.arcWeightIn ($RES_BND_458) (449) [SCAL] (1) T2.outPlaces[1].fire = P3.inTransition[1].fire ($RES_SIM_159) (450) [ARRY] (1) T2.activation.arcWeightIntIn = T2.arcWeightIntIn ($RES_BND_459) (451) [FOR-] (2) ($RES_BND_284) (451) [----] for $i1 in 1:2 loop (451) [----] [SCAL] (1) P1.outTransition[$i1].disPlace = false ($RES_BND_285) (451) [----] end for; (452) [FOR-] (2) ($RES_BND_286) (452) [----] for $i1 in 1:2 loop (452) [----] [SCAL] (1) P1.outTransition[$i1].decreasingFactor = P1.decFactorOut[$i1] ($RES_BND_287) (452) [----] end for; (453) [FOR-] (2) ($RES_BND_288) (453) [----] for $i1 in 1:2 loop (453) [----] [SCAL] (1) P1.outTransition[$i1].enable = P1.enableOut.TEout_[$i1] ($RES_BND_289) (453) [----] end for; (454) [SCAL] (1) $SEV_209 = P1.fireIn and P1.disTransitionIn ($RES_EVT_710) (455) [SCAL] (1) T3.outPlaces[1].enabledByInPlaces = P1.inTransition[1].enabledByInPlaces ($RES_SIM_240) (456) [SCAL] (1) $SEV_210 = P1.fireOut and P1.disTransitionOut ($RES_EVT_711) (457) [SCAL] (1) T3.outPlaces[1].enable = P1.inTransition[1].enable ($RES_SIM_241) (458) [SCAL] (1) $FUN_17 = Modelica.Math.Vectors.find(i, P1.enableIn.enablingPrio, 0.0) ($RES_$AUX_619) (459) [SCAL] (1) $SEV_211 = P1.activeIn and P1.disTransitionIn ($RES_EVT_712) (460) [SCAL] (1) T3.outPlaces[1].emptied = P1.inTransition[1].emptied ($RES_SIM_242) (461) [SCAL] (1) $FUN_18 = sum(P1.enableIn.enablingProb[P1.enableIn.remTAin[1:P1.enableIn.nremTAin]]) ($RES_$AUX_618) (462) [SCAL] (1) $SEV_212 = P1.activeOut and P1.disTransitionOut ($RES_EVT_713) (463) [SCAL] (1) T3.outPlaces[1].disTransition = P1.inTransition[1].disTransition ($RES_SIM_243) (464) [TUPL] (5) ($FUN_19, $FUN_20) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_7) ($RES_$AUX_617) (465) [SCAL] (1) $SEV_213 = P1.enabledByInPlaces and P1.activeIn ($RES_EVT_714) (466) [SCAL] (1) T3.outPlaces[1].disPlace = P1.inTransition[1].disPlace ($RES_SIM_244) (467) [ARRY] (1) P3.enableIn.arcWeight = P3.arcWeightIn ($RES_BND_544) (468) [ARRY] (1) $FUN_21 = PNlib.Functions.OddsAndEnds.deleteElementInt(P1.enableIn.remTAin, P1.enableIn.k) ($RES_$AUX_616) (469) [SCAL] (1) $SEV_214 = P1.fireIn and not P1.disTransitionIn ($RES_EVT_715) (470) [SCAL] (1) T3.outPlaces[1].decreasingFactor = P1.inTransition[1].decreasingFactor ($RES_SIM_245) (471) [ARRY] (1) T1.inPlaces.minTokensint = {T1.minTokensInt[1]} ($RES_BND_370) (472) [ARRY] (2) $FUN_22 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableOut.TAout, P1.enableOut.disTransition) ($RES_$AUX_615) (473) [SCAL] (1) $SEV_215 = P1.fireOut and not P1.disTransitionOut ($RES_EVT_716) (474) [SCAL] (1) T3.outPlaces[1].arcWeightint = P1.inTransition[1].arcWeightint ($RES_SIM_246) (475) [ARRY] (1) T1.inPlaces.minTokens = {T1.minTokens[1]} ($RES_BND_371) (476) [SCAL] (1) $FUN_23 = PNlib.Functions.OddsAndEnds.conditionalSum(P1.enableOut.arcWeight, P1.enableOut.disTAout) ($RES_$AUX_614) (477) [SCAL] (1) $SEV_216 = P2.fireIn and not P2.disTransitionIn ($RES_EVT_717) (478) [SCAL] (1) T3.outPlaces[1].arcWeight = P1.inTransition[1].arcWeight ($RES_SIM_247) (479) [ARRY] (1) P3.enableIn.TAein = $SEV_200 ($RES_BND_547) (480) [ARRY] (1) T1.inPlaces.tint = {T1.tIntIn[1]} ($RES_BND_372) (481) [ARRY] (2) $FUN_24 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableOut.TAout, not P1.enableOut.disTransition) ($RES_$AUX_613) (482) [SCAL] (1) T3.outPlaces[1].active = P1.inTransition[1].active ($RES_SIM_248) (483) [ARRY] (1) T1.inPlaces.t = {T1.tIn[1]} ($RES_BND_373) (484) [SCAL] (1) $FUN_25 = Modelica.Math.Vectors.find(i, P1.enableOut.enablingPrio, 0.0) ($RES_$AUX_612) (485) [ARRY] (1) T1.outPlaces.maxSpeed = {2.0} ($RES_BND_374) (486) [ARRY] (1) P3.enableIn.enablingPrio = P3.enablingPrioIn ($RES_BND_549) (487) [SCAL] (1) $FUN_26 = sum(P1.enableOut.enablingProb[P1.enableOut.remTAout[1:P1.enableOut.nremTAout]]) ($RES_$AUX_611) (488) [ARRY] (1) T1.outPlaces.prelimSpeed = {T1.prelimSpeed} ($RES_BND_375) (489) [TUPL] (5) ($FUN_27, $FUN_28) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_8) ($RES_$AUX_610) (490) [ARRY] (1) T1.outPlaces.instSpeed = {T1.instantaneousSpeed} ($RES_BND_376) (491) [SCAL] (1) T1.outPlaces[1].disTransition = false ($RES_BND_377) (492) [SCAL] (1) T1.outPlaces[1].enabledByInPlaces = true ($RES_BND_378) (493) [ARRY] (1) T1.outPlaces.arcWeightint = {T1.arcWeightIntOut[1]} ($RES_BND_379) (494) [ARRY] (1) T2.activation.arcWeightOut = T2.arcWeightOut ($RES_BND_460) (495) [SCAL] (1) T2.outPlaces[1].enabledByInPlaces = P3.inTransition[1].enabledByInPlaces ($RES_SIM_160) (496) [SCAL] (1) T2.outPlaces[1].enable = P3.inTransition[1].enable ($RES_SIM_161) (497) [ARRY] (1) T2.activation.arcWeightIntOut = T2.arcWeightIntOut ($RES_BND_461) (498) [ARRY] (1) T2.activation.minTokens = T2.minTokens ($RES_BND_462) (499) [SCAL] (1) T2.outPlaces[1].disTransition = P3.inTransition[1].disTransition ($RES_SIM_163) (500) [ARRY] (1) T2.activation.minTokensInt = T2.minTokensInt ($RES_BND_463) (501) [ARRY] (1) T2.activation.maxTokens = T2.maxTokens ($RES_BND_464) (502) [SCAL] (1) T2.outPlaces[1].disPlace = P3.inTransition[1].disPlace ($RES_SIM_164) (503) [ARRY] (1) T2.activation.maxTokensInt = T2.maxTokensInt ($RES_BND_465) (504) [FOR-] (2) ($RES_BND_290) (504) [----] for $i1 in 1:2 loop (504) [----] [SCAL] (1) P1.outTransition[$i1].minTokensint = 1 ($RES_BND_291) (504) [----] end for; (505) [SCAL] (1) T2.outPlaces[1].arcWeightint = P3.inTransition[1].arcWeightint ($RES_SIM_166) (506) [SCAL] (1) T2.outPlaces[1].arcWeight = P3.inTransition[1].arcWeight ($RES_SIM_167) (507) [FOR-] (2) ($RES_BND_292) (507) [----] for $i1 in 1:2 loop (507) [----] [SCAL] (1) P1.outTransition[$i1].minTokens = P1.minMarks ($RES_BND_293) (507) [----] end for; (508) [ARRY] (1) T2.activation.disPlaceIn = T2.disPlaceIn ($RES_BND_467) (509) [SCAL] (1) T2.outPlaces[1].active = P3.inTransition[1].active ($RES_SIM_168) (510) [ARRY] (1) T2.activation.disPlaceOut = T2.disPlaceOut ($RES_BND_468) (511) [SCAL] (1) T2.inPlaces[1].tokenInOut = P1.outTransition[2].tokenInOut ($RES_SIM_169) (512) [ARRY] (1) T2.activation.normalArc = T2.normalArc ($RES_BND_469) (513) [FOR-] (2) ($RES_BND_294) (513) [----] for $i1 in 1:2 loop (513) [----] [SCAL] (1) P1.outTransition[$i1].tint = 1 ($RES_BND_295) (513) [----] end for; (514) [FOR-] (2) ($RES_BND_296) (514) [----] for $i1 in 1:2 loop (514) [----] [SCAL] (1) P1.outTransition[$i1].t = P1.t_ ($RES_BND_297) (514) [----] end for; (515) [FOR-] (2) ($RES_BND_298) (515) [----] for $i1 in 1:2 loop (515) [----] [SCAL] (1) P1.outTransition[$i1].maxSpeed = P1.maxSpeedOut[$i1] ($RES_BND_299) (515) [----] end for; (516) [ARRY] (1) P3.enableIn.enablingProb = P3.enablingProbIn ($RES_BND_550) (517) [ARRY] (1) P3.enableIn.enablingBene = P3.enablingBeneIn ($RES_BND_551) (518) [ARRY] (2) $FUN_29 = PNlib.Functions.OddsAndEnds.deleteElementInt(P1.enableOut.remTAout, P1.enableOut.k) ($RES_$AUX_609) (519) [ARRY] (1) $FUN_30 = PNlib.Functions.OddsAndEnds.boolAnd(P2.enableIn.TAein, P2.enableIn.disTransition) ($RES_$AUX_608) (520) [ARRY] (1) P3.enableIn.disTransition = P3.disTransitionIn ($RES_BND_553) (521) [SCAL] (1) $FUN_31 = PNlib.Functions.OddsAndEnds.conditionalSum(P2.enableIn.arcWeight, P2.enableIn.disTAin) ($RES_$AUX_607)