Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr PNlib_PNlib.Examples.DisTest.InputConflictBeneGreedy.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.DisTest.InputConflictBeneGreedy,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|T1.active|T1.fire|T2.active|T2.fire|T3.active|T3.fire|time",fileNamePrefix="PNlib_PNlib.Examples.DisTest.InputConflictBeneGreedy") translateModel(PNlib.Examples.DisTest.InputConflictBeneGreedy,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|P3.t|T1.active|T1.fire|T2.active|T2.fire|T3.active|T3.fire|time",fileNamePrefix="PNlib_PNlib.Examples.DisTest.InputConflictBeneGreedy") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001223/0.001223, allocations: 104.1 kB / 16.38 MB, free: 6.492 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.001269/0.001269, allocations: 190.5 kB / 17.31 MB, free: 5.809 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.241/1.241, allocations: 222.9 MB / 241 MB, free: 15.17 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.07065/0.07065, allocations: 16.73 MB / 307.9 MB, free: 14.24 MB / 254.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.523e-05/2.535e-05, allocations: 2.828 kB / 373 MB, free: 48.65 MB / 302.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.DisTest.InputConflictBeneGreedy): time 0.003807/0.003848, allocations: 3.787 MB / 376.8 MB, free: 47.59 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.004604/0.008465, allocations: 3.414 MB / 380.2 MB, free: 47.09 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.000572/0.00905, allocations: 24.12 kB / 380.2 MB, free: 47.09 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0006076/0.00968, allocations: 330.2 kB / 380.5 MB, free: 47.09 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0006897/0.01038, allocations: 350.8 kB / 380.9 MB, free: 46.91 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.002836/0.01322, allocations: 1.745 MB / 382.6 MB, free: 46.77 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.004344/0.01758, allocations: 4.842 MB / 387.5 MB, free: 44.87 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0008435/0.01844, allocations: 0.7567 MB / 388.2 MB, free: 44.59 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.002084/0.02053, allocations: 1.787 MB / 390 MB, free: 43.78 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.001409/0.02195, allocations: 1.36 MB / 391.4 MB, free: 43.13 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0004176/0.02238, allocations: 322.2 kB / 391.7 MB, free: 43.13 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.001415/0.0238, allocations: 0.9919 MB / 392.7 MB, free: 42.91 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.001901/0.02571, allocations: 3.571 MB / 396.2 MB, free: 40.51 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0006865/0.02641, allocations: 1.977 MB / 398.2 MB, free: 39.05 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0006348/0.02705, allocations: 0.502 MB / 398.7 MB, free: 38.8 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.0002615/0.02732, allocations: 214.9 kB / 398.9 MB, free: 38.59 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: 635 (483) * Number of variables: 635 (568) Notification: Performance of Bindings: time 0.007156/0.03448, allocations: 11.44 MB / 410.4 MB, free: 27.21 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.001867/0.03636, allocations: 2.485 MB / 412.9 MB, free: 24.76 MB / 302.1 MB Notification: Performance of Early Inline: time 0.008089/0.04446, allocations: 12.52 MB / 425.4 MB, free: 12.16 MB / 302.1 MB Notification: Performance of simplify1: time 0.0002981/0.04478, allocations: 387.4 kB / 425.8 MB, free: 11.79 MB / 302.1 MB Notification: Performance of Alias: time 0.006135/0.05092, allocations: 8.105 MB / 433.9 MB, free: 3.102 MB / 302.1 MB Notification: Performance of simplify2: time 0.0003152/0.05125, allocations: 347.4 kB / 434.2 MB, free: 2.762 MB / 302.1 MB Notification: Performance of Events: time 0.003085/0.05434, allocations: 3.568 MB / 437.8 MB, free: 15.29 MB / 318.1 MB Notification: Performance of Detect States: time 0.004119/0.05847, allocations: 4.492 MB / 442.3 MB, free: 10.74 MB / 318.1 MB Notification: Performance of Partitioning: time 0.004984/0.06346, allocations: 4.254 MB / 446.5 MB, free: 6.133 MB / 318.1 MB Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency $SEV_186 could not be devided by the body size 3 without rest. Error: Internal error NBAdjacency.Matrix.createPseudo failed for: [ARRY] (3) P3.color = if settings.animatePlace then if $SEV_186 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_33) Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (529/600) **************************** (1) [DISC] (1) protected Boolean P2.enableOut.activeCon = P2.enableOut.activeCon (2) [ALGB] (3) Real[3] P2.color (3) [DISC] (1) protected Integer P3.enableOut.k (4) [DISC] (1) protected Boolean T1.delayPassed (fixed = true, start = false) (5) [DISC] (1) Integer[1] T3.outPlaces.arcWeightint = {T3.arcWeightIntOut[1]} (6) [DISC] (1) Boolean T3.active (7) [DISC] (2) protected Boolean[2] P1.enableIn.TEin_ (8) [ALGB] (3) Real[3] P1.color (9) [DISC] (1) Integer[1] T2.outPlaces.maxTokensint = {T2.maxTokensInt[1]} (10) [ALGB] (1) Real[1] T1.inPlaces.testValue = {T1.testValue[1]} (11) [DISC] (1) protected Integer P3.enableOut.t = P3.enableOut.t (12) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.inPlaces.arcType = {T2.arcType[1]} (13) [DISC] (1) protected Boolean[1] T3.enableOut (14) [DISC] (1) protected Boolean[1] P1.enableOut.disTransition = P1.disTransitionOut (15) [ALGB] (2) Real[2] P1.inTransition.t = {P1.pret for $inTransition1 in 1:2} (16) [DISC] (2) Boolean[2] P1.inTransition.active = {P1.activeIn[$inTransition1] for $inTransition1 in 1:2} (17) [ALGB] (1) Real[1] T1.arcWeightIn = {1.0 for $i1 in 1:1} (18) [DISC] (1) protected Boolean[1] P2.activeConOut.vec = pre(P2.activeOut) and not P2.disTransitionOut (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (19) [DISC] (1) protected Integer[1] T1.activation.minTokensInt = T1.minTokensInt (20) [DISC] (1) Boolean[1] $SEV_198[$i1] (21) [DISC] (1) Boolean[1] P2.outTransition.active = {P2.activeOut[1]} (22) [DISC] (1) protected Integer[1] T3.activation.testValueInt = T3.testValueInt (23) [DISC] (1) protected Integer[1] P1.firingSumOut.arcWeight = P1.arcWeightOut (24) [DISC] (1) protected Integer P1.enableOut.Index (25) [DISC] (1) Integer[1] T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} (26) [DISC] (1) protected Integer P2.enableOut.arcWeightSum (27) [DISC] (1) protected Integer P1.firingSumOut.firingSum (28) [DISC] (1) Boolean[1] T3.outPlaces.fire = {T3.fire} (29) [ALGB] (1) protected Real[1] T3.tIn (30) [DISC] (1) protected Integer[1] T1.minTokensInt (31) [ALGB] (1) Real[1] T1.inPlaces.minTokens = {T1.minTokens[1]} (32) [DISC] (1) protected Integer[1] T2.activation.minTokensInt = T2.minTokensInt (33) [DISC] (1) Integer[1] T3.outPlaces.maxTokensint = {T3.maxTokensInt[1]} (34) [ALGB] (1) Real $FUN_56 (35) [DISC] (1) protected Integer[1] T2.testValueInt (36) [DISS] (1) protected Real T3.firingTime (37) [DISC] (1) Boolean $FUN_55 (38) [ALGB] (1) Real $FUN_54 (39) [DISC] (1) Integer $FUN_53 (40) [DISC] (1) Boolean[1] $FUN_52 (41) [ALGB] (1) Real $FUN_51 (42) [DISC] (1) Boolean[1] $FUN_50 (43) [DISS] (1) protected Real T3.fireTime (44) [DISC] (1) protected Integer[1] T3.activation.tIntIn = T3.tIntIn (45) [DISC] (1) protected discrete Real P1.enableIn.randNum (46) [ALGB] (1) protected Real[1] T2.minTokens (47) [DISC] (1) Integer[1] T3.inPlaces.arcWeightint = {T3.arcWeightIntIn[1]} (48) [DISC] (1) Boolean[1] P3.outTransition.active = {P3.activeOut[1]} (49) [DISC] (1) Boolean[1] T1.inPlaces.disTransition = {true for $i1 in 1:1} (50) [DISC] (1) protected Boolean P2.enableOut.valid (51) [DISC] (1) protected Integer P3.enableOut.nremTAout (52) [ALGB] (1) Real[1] T3.arcWeightOut = {1.0 for $i1 in 1:1} (53) [DISC] (1) protected Boolean[1] P1.activeOut (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (54) [DISC] (1) Boolean[1] T1.inPlaces.enable = {T1.enableIn[1]} (55) [DISC] (1) protected Boolean[1] P3.firingSumOut.fire = P3.fireOut and P3.disTransitionOut (56) [ALGB] (1) Real[1] T2.arcWeightIn = {1.0 for $i1 in 1:1} (57) [ALGB] (1) protected Real P1.tokenscale (58) [DISC] (1) Integer[1] P2.outTransition.arcWeightint = {P2.arcWeightOut[1]} (59) [DISC] (1) Boolean[1] T1.inPlaces.fire = {T1.fire} (60) [DISC] (1) protected Integer[1] P2.firingSumOut.arcWeight = P2.arcWeightOut (61) [DISC] (1) protected Boolean[1] P3.enableOut.TEout_ (62) [DISC] (1) Boolean[1] $FUN_49 (63) [DISC] (1) Integer[1] $FUN_48 (64) [DISC] (1) protected Integer P3.enableOut.arcWeightSum (65) [DISC] (1) protected Integer P2.firingSumOut.firingSum (66) [DISC] (4) Integer[4] $FUN_47 (67) [ALGB] (1) Real $FUN_46 (68) [ALGB] (1) Real $FUN_45 (69) [DISC] (1) protected Integer[1] T3.arcWeightIntOut (70) [DISC] (1) protected Integer P1.delayPassedOut.numtrue (71) [DISC] (1) Integer $FUN_44 (72) [DISC] (1) protected Integer[1] P2.enableOut.remTAout (fixed = {true for $i1 in 1:1}, start = {0 for $i1 in 1:1}) (73) [ALGB] (1) protected Real[1] P3.enableOut.enablingBene = P3.enablingBeneOut (74) [DISC] (1) Integer $FUN_43 (75) [ALGB] (1) protected Real[1] T1.tIn (76) [ALGB] (1) Real $FUN_42 (77) [DISC] (1) Boolean $FUN_41 (78) [ALGB] (1) Real $FUN_40 (79) [DISC] (1) protected Boolean[1] P1.activeConOut.vec = pre(P1.activeOut) and not P1.disTransitionOut (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (80) [DISC] (1) Boolean[1] P1.outTransition.disPlace = {true for $i1 in 1:1} (81) [DISC] (1) protected Boolean T2.delayPassed (fixed = true, start = false) (82) [ALGB] (1) Real[1] T3.outPlaces.arcWeight = {T3.arcWeightOut[1]} (83) [ALGB] (1) protected Real[1] T3.tOut (84) [DISC] (1) Boolean[1] $SEV_211[$i1] (85) [ALGB] (1) Real[1] P1.outTransition.minTokens = {P1.minTokens} (86) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.inPlaces.arcType = {T1.arcType[1]} (87) [ALGB] (1) protected Real[1] T2.testValue (88) [DISC] (1) protected Boolean[1] T1.activation.disPlaceIn = T1.disPlaceIn (89) [DISC] (1) protected Boolean[1] P1.enableOut.TAout = P1.activeOut (90) [DISC] (1) Boolean[1] P2.outTransition.normalArc = {false for $i1 in 1:1} (91) [DISC] (1) Boolean[1] $SEV_207[$i1] (92) [DISC] (1) Boolean[1] $SEV_204[$i1] (93) [DISC] (1) protected Integer P2.enableOut.posTE (94) [DISC] (1) protected Boolean T1.activation.active (95) [DISC] (1) Integer $FUN_39 (96) [DISC] (1) Boolean[1] $FUN_38 (97) [ALGB] (1) Real $FUN_37 (98) [DISC] (1) Boolean[1] T2.inPlaces.disTransition = {true for $i1 in 1:1} (99) [DISC] (1) Boolean[1] $FUN_36 (100) [DISC] (1) Boolean[1] $FUN_35 (101) [DISC] (1) Boolean[1] T2.outPlaces.enabledByInPlaces = {T2.enabledByInPlaces} (102) [DISC] (1) Integer[1] $FUN_34 (103) [DISC] (1) Boolean[1] T2.inPlaces.fire = {T2.fire} (104) [DISC] (4) Integer[4] $FUN_33 (105) [ALGB] (1) Real $FUN_32 (106) [DISC] (1) Boolean[1] T2.outPlaces.disTransition = {true for $i1 in 1:1} (107) [ALGB] (1) Real $FUN_31 (108) [DISC] (1) Integer $FUN_30 (109) [DISC] (1) protected Integer[1] P3.enableOut.enablingPrio = P3.enablingPrioOut (110) [DISS] (1) protected Boolean T2.ani (111) [DISC] (1) protected Integer[1] T3.activation.arcWeightIntIn = T3.arcWeightIntIn (112) [DISC] (1) protected Integer[1] P3.firingSumOut.arcWeight = P3.arcWeightOut (113) [DISC] (1) protected Integer P3.firingSumOut.firingSum (114) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.activation.arcType = T3.arcType (115) [DISC] (2) protected Boolean[2] P1.disTransitionIn (116) [DISC] (1) protected Boolean P3.enableOut.valid (117) [DISC] (1) protected Boolean[1] P1.enableOut.TEout (118) [DISC] (1) protected Integer P1.enableOut.nremTAout (119) [DISC] (1) protected Integer P1.enableIn.nTAin (120) [DISC] (2) Boolean[2] P1.inTransition.disTransition = {P1.disTransitionIn[$inTransition1] for $inTransition1 in 1:2} (121) [ALGB] (1) Real[1] T1.inPlaces.t = {T1.tIn[1]} (122) [ALGB] (1) Real[1] P1.outTransition.testValue = {-1.0 for $i1 in 1:1} (123) [DISC] (1) Integer[1] T3.inPlaces.tint = {T3.tIntIn[1]} (124) [ALGB] (1) Real P3.levelCon (125) [DISC] (1) Boolean[1] P2.outTransition.disPlace = {true for $i1 in 1:1} (126) [DISC] (1) Integer $FUN_29 (127) [ALGB] (1) Real $FUN_28 (128) [DISC] (1) Boolean $FUN_27 (129) [ALGB] (1) Real $FUN_26 (130) [DISC] (1) Boolean[1] T3.outPlaces.disTransition = {true for $i1 in 1:1} (131) [DISC] (1) Integer $FUN_25 (132) [DISC] (2) Boolean[2] $FUN_24 (133) [ALGB] (1) Real $FUN_23 (134) [ALGB] (1) protected Real[1] T2.activation.maxTokens = T2.maxTokens (135) [DISC] (1) protected Integer P1.delayPassedIn.numtrue (136) [DISC] (2) Boolean[2] $FUN_22 (137) [DISC] (2) Boolean[2] $FUN_21 (138) [DISC] (2) Integer[2] $FUN_20 (139) [DISC] (1) protected Boolean[1] P1.enableOut.TEout_ (140) [ALGB] (2) Real[2] P1.inTransition.arcWeight (141) [ALGB] (1) protected Real[1] T2.activation.tIn = T2.tIn (142) [DISC] (1) Boolean T2.fire (143) [DISC] (1) Boolean $SEV_196 (144) [DISC] (1) Boolean[1] T3.inPlaces.disTransition = {true for $i1 in 1:1} (145) [DISC] (4) protected Integer[4] P2.enableOut.state128 (146) [DISC] (1) Boolean $SEV_195 (147) [DISC] (1) Boolean $SEV_194 (148) [DISC] (1) protected Boolean P2.tokeninout (fixed = true, start = false) (149) [DISC] (1) Boolean $SEV_193 (150) [DISC] (1) Boolean[1] T3.inPlaces.disPlace = {T3.disPlaceIn[1]} (151) [DISC] (4) protected Integer[4] P1.enableIn.state128 (152) [DISC] (1) protected Integer[1] T1.activation.testValueInt = T1.testValueInt (153) [DISC] (1) protected Integer[1] P3.arcWeightOut (154) [DISC] (1) protected Integer[1] T3.activation.minTokensInt = T3.minTokensInt (155) [DISC] (4) Integer[4] $FUN_19 (156) [ALGB] (1) Real $FUN_18 (157) [ALGB] (1) protected Real[1] T3.maxTokens (158) [DISC] (1) protected Integer P3.enableOut.posTE (159) [ALGB] (1) Real $FUN_17 (160) [DISC] (1) Integer $FUN_16 (161) [DISC] (1) Integer $FUN_15 (162) [ALGB] (1) Real $FUN_14 (163) [DISC] (1) Boolean $FUN_13 (164) [DISC] (1) protected discrete Real P1.enableIn.benefitLimit (165) [ALGB] (1) Real $FUN_12 (166) [DISC] (1) Integer $FUN_11 (167) [DISC] (1) Boolean[1] $FUN_10 (168) [ALGB] (1) Real[1] P1.outTransition.arcWeight (169) [DISC] (1) protected Integer[1] T1.testValueInt (170) [ALGB] (1) Real[1] T3.arcWeightIn = {1.0 for $i1 in 1:1} (171) [DISC] (1) Boolean[1] P3.outTransition.disPlace = {true for $i1 in 1:1} (172) [DISC] (1) Boolean[1] P2.outTransition.fire = {P2.fireOut[1]} (173) [DISC] (1) Boolean $SEV_189 (174) [DISC] (1) Boolean $SEV_188 (175) [DISC] (1) protected Boolean P1.enableOut.endWhile (176) [DISC] (1) Boolean $SEV_187 (177) [DISC] (1) Boolean $SEV_186 (178) [DISC] (1) Boolean[1] T2.outPlaces.enable = {T2.enableOut[1]} (179) [DISC] (1) protected Integer P3.firingSumIn.firingSum (180) [DISC] (1) protected Integer[1] T2.activation.testValueInt = T2.testValueInt (181) [DISC] (1) protected Integer[1] T2.tIntIn (182) [ALGB] (1) Real[1] T2.arcWeightOut = {1.0 for $i1 in 1:1} (183) [DISC] (1) protected Boolean[1] P2.disTransitionOut (184) [DISC] (1) protected Boolean T3.delayPassed (fixed = true, start = false) (185) [DISC] (1) Boolean[1] T3.outPlaces.enabledByInPlaces = {T3.enabledByInPlaces} (186) [DISC] (1) protected discrete Real P2.enableOut.randNum (187) [DISC] (1) Integer[1] P3.outTransition.testValueint = {-1 for $i1 in 1:1} (188) [ALGB] (2) protected Real[2] P1.enableIn.enablingProb = P1.enablingProbIn (189) [DISC] (1) protected Boolean[1] T1.disPlaceIn (190) [DISS] (1) protected Real T2.fireTime (191) [DISC] (1) Boolean[1] T2.inPlaces.normalArc = {T2.normalArc[1]} (192) [DISC] (1) protected Boolean[1] T2.enableOut (193) [ALGB] (1) protected Real T3.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (194) [DISC] (1) Integer[1] P3.outTransition.tint = {P3.pret} (195) [DISC] (1) protected discrete Real P2.enableOut.sumEnablingProbTAout (196) [DISC] (1) protected Integer[1] P2.enableOut.arcWeight = P2.arcWeightOut (197) [ALGB] (1) Real[1] T3.inPlaces.minTokens = {T3.minTokens[1]} (198) [DISC] (2) protected Integer[2] P1.enableIn.remTAin (fixed = {true for $i1 in 1:2}, start = {0 for $i1 in 1:2}) (199) [DISC] (1) protected Boolean[1] P2.delayPassedOut.vec = P2.activeOut and P2.disTransitionOut (200) [DISC] (1) protected Integer P1.enableIn.nremTAin (201) [DISC] (1) protected Integer[1] T3.activation.tIntOut = T3.tIntOut (202) [DISC] (1) Boolean $TEV_9 (203) [DISC] (1) Boolean $TEV_8 (204) [DISC] (1) Integer[1] T2.inPlaces.minTokensint = {T2.minTokensInt[1]} (205) [DISC] (1) Boolean $TEV_7 (206) [DISC] (1) Boolean $TEV_6 (207) [DISC] (1) Boolean $TEV_5 (208) [ALGB] (1) protected Real[1] T1.minTokens (209) [DISC] (1) Boolean $TEV_4 (210) [DISC] (1) Boolean $TEV_3 (211) [DISC] (1) Boolean $TEV_2 (212) [DISC] (1) Boolean[1] P2.outTransition.disTransition = {P2.disTransitionOut[1]} (213) [DISC] (2) protected Boolean[2] P1.enableIn.active = P1.activeIn (214) [DISC] (1) protected discrete Real P1.enableOut.randNum (215) [ALGB] (1) Real P2.levelCon (216) [ALGB] (1) Real[1] T3.inPlaces.testValue = {T3.testValue[1]} (217) [DISC] (1) protected Boolean[1] P1.firingSumOut.fire = P1.fireOut and P1.disTransitionOut (218) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.arcType (219) [DISC] (1) protected Integer[1] P2.arcWeightOut (220) [DISC] (1) Boolean $SEV_236 (221) [DISC] (1) protected Boolean P3.enableOut.delayPassed = P3.enableOut.delayPassed (222) [DISC] (1) Integer[1] T3.inPlaces.minTokensint = {T3.minTokensInt[1]} (223) [DISC] (1) Boolean $SEV_235 (224) [DISC] (1) Boolean $SEV_234 (225) [DISC] (1) Boolean $SEV_233 (226) [DISC] (1) Boolean $SEV_232 (227) [DISC] (1) Boolean $SEV_231 (228) [DISC] (1) Boolean $SEV_230 (229) [ALGB] (1) Real[1] P3.outTransition.minTokens = {P3.minTokens} (230) [ALGB] (1) protected Real[1] T2.activation.tOut = T2.tOut (231) [ALGB] (1) protected Real[1] T1.testValue (232) [DISC] (1) Boolean[1] T3.outPlaces.enable = {T3.enableOut[1]} (233) [DISC] (2) protected Boolean[2] P1.enableIn.TAein = P1.enabledByInPlaces and P1.activeIn (234) [DISC] (1) protected Integer[1] P3.enableOut.arcWeight = P3.arcWeightOut (235) [DISC] (1) Boolean[1] T2.inPlaces.disPlace = {T2.disPlaceIn[1]} (236) [DISC] (1) protected Integer[1] T3.tIntOut (237) [DISC] (1) protected Boolean[1] P1.disTransitionOut (238) [DISC] (1) protected discrete Real P1.enableOut.sumEnablingProbTAout (239) [DISC] (1) Boolean $SEV_229 (240) [ALGB] (1) Real[1] T3.inPlaces.arcWeight = {T3.arcWeightIn[1]} (241) [ALGB] (1) protected Real[1] T3.activation.tIn = T3.tIn (242) [DISC] (1) Boolean $SEV_228 (243) [DISC] (1) Boolean T2.active (244) [DISC] (1) Boolean $SEV_227 (245) [DISC] (1) Boolean $SEV_226 (246) [DISC] (1) Boolean $SEV_225 (247) [DISC] (1) Boolean $SEV_224 (248) [DISC] (1) Boolean $SEV_223 (249) [DISC] (1) Boolean $SEV_222 (250) [ALGB] (1) protected Real[1] T2.activation.arcWeightOut = T2.arcWeightOut (251) [DISC] (1) Boolean $SEV_221 (252) [DISC] (1) protected Integer P1.enableIn.k (253) [ALGB] (2) protected Real[2] P1.enableIn.enablingBene = P1.enablingBeneIn (254) [DISC] (1) Boolean[1] $SEV_197[$i1] (255) [DISC] (1) Integer[1] P3.outTransition.minTokensint = {P3.minTokens} (256) [DISC] (1) protected Boolean[1] T3.normalArc (257) [ALGB] (1) Real[1] P3.outTransition.testValue = {-1.0 for $i1 in 1:1} (258) [DISC] (1) protected Boolean[1] P2.fireOut (259) [DISC] (1) protected discrete Real[1] P1.enableOut.cumEnablingProb (fixed = {true for $i1 in 1:1}, start = {0.0 for $i1 in 1:1}) (260) [DISC] (1) protected Integer[1] T3.activation.maxTokensInt = T3.maxTokensInt (261) [ALGB] (1) protected Real[1] T3.activation.minTokens = T3.minTokens (262) [DISS] (1) protected Real T1.fireTime (263) [DISC] (1) protected Integer P2.enableOut.Index (264) [DISC] (1) Boolean[1] T3.inPlaces.tokenInOut (265) [DISC] (1) Boolean[1] P1.outTransition.disTransition = {P1.disTransitionOut[1]} (266) [DISC] (1) Boolean $SEV_215 (267) [DISC] (2) protected discrete Real[2] P1.enableIn.cumEnablingProb (fixed = {true for $i1 in 1:2}, start = {0.0 for $i1 in 1:2}) (268) [DISC] (1) Boolean $SEV_214 (269) [DISC] (1) Boolean $SEV_213 (270) [DISS] (1) Integer P3.t (fixed = true, start = P3.startTokens) (271) [DISC] (2) Boolean[2] P1.inTransition.enabledByInPlaces = {P1.enabledByInPlaces[$inTransition1] for $inTransition1 in 1:2} (272) [DISC] (1) Boolean $SEV_210 (273) [DISC] (2) Integer[2] P1.inTransition.tint = {P1.pret for $inTransition1 in 1:2} (274) [DISC] (1) Boolean[1] T2.outPlaces.disPlace = {T2.disPlaceOut[1]} (275) [DISC] (2) protected Integer[2] P1.enableIn.enablingPrio = P1.enablingPrioIn (276) [ALGB] (1) protected Real[1] T1.activation.arcWeightIn = T1.arcWeightIn (277) [DISC] (1) Integer[1] P1.outTransition.tint = {P1.pret} (278) [DISS] (1) protected Real T1.firingTime (279) [DISC] (2) protected Boolean[2] P1.enableIn.disTransition = P1.disTransitionIn (280) [ALGB] (1) protected Real[1] T2.maxTokens (281) [ALGB] (1) Real[1] P1.outTransition.t = {P1.pret} (282) [DISC] (1) protected Boolean[1] T1.activation.normalArc = T1.normalArc (283) [DISC] (1) Boolean $SEV_209 (284) [ALGB] (1) Real[1] P3.outTransition.arcWeight (285) [DISC] (1) Boolean $SEV_208 (286) [DISC] (1) Boolean[1] T2.outPlaces.fire = {T2.fire} (287) [DISC] (1) protected discrete Real P2.enableOut.benefitMax (288) [DISC] (1) Boolean $SEV_203 (289) [DISC] (1) protected Boolean[1] P1.delayPassedOut.vec = P1.activeOut and P1.disTransitionOut (290) [ALGB] (1) protected Real[1] T3.activation.testValue = T3.testValue (291) [DISC] (1) Boolean $SEV_202 (292) [DISC] (1) Boolean $SEV_201 (293) [DISC] (2) protected Integer[2] P1.arcWeightIn (294) [ALGB] (1) protected Real P3.tokenscale (295) [DISC] (1) Boolean[1] T2.inPlaces.enable = {T2.enableIn[1]} (296) [DISS] (1) Integer P2.t (fixed = true, start = P2.startTokens) (297) [DISC] (1) protected Integer[1] T2.activation.arcWeightIntOut = T2.arcWeightIntOut (298) [ALGB] (1) protected Real[1] T2.tOut (299) [DISC] (1) Integer[1] P1.outTransition.arcWeightint = {P1.arcWeightOut[1]} (300) [DISC] (1) protected Integer[1] T1.activation.arcWeightIntIn = T1.arcWeightIntIn (301) [DISC] (1) Boolean[1] $SEV_206[$i1] (302) [DISC] (1) Boolean[1] $SEV_200[$i1] (303) [DISC] (1) protected Integer[1] T2.activation.tIntIn = T2.tIntIn (304) [ALGB] (1) protected Real[1] T2.activation.arcWeightIn = T2.arcWeightIn (305) [DISC] (1) Boolean[1] P3.outTransition.enable = {P3.enableOut.TEout_[1]} (306) [DISC] (1) protected Boolean[1] T3.enableIn (307) [DISC] (1) protected Integer P2.enableOut.nTAout (308) [DISC] (1) protected Integer P3.enableOut.Index (309) [ALGB] (1) protected Real[1] T2.activation.testValue = T2.testValue (310) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.activation.arcType = T1.arcType (311) [DISC] (1) protected discrete Real P1.enableOut.benefitMax (312) [DISC] (1) protected Boolean[1] P2.enableOut.TAout = P2.activeOut (313) [DISC] (1) Boolean[1] T1.inPlaces.active = {T1.delayPassed} (314) [ALGB] (1) Real P1.levelCon (315) [DISS] (1) Integer P1.t (fixed = true, start = P1.startTokens) (316) [DISC] (1) Integer[1] T3.inPlaces.testValueint = {T3.testValueInt[1]} (317) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.arcType (318) [ALGB] (1) Real[1] T2.inPlaces.t = {T2.tIn[1]} (319) [DISC] (1) protected Boolean[1] P2.enableOut.TEout (320) [DISC] (1) Boolean[1] T3.inPlaces.enable = {T3.enableIn[1]} (321) [ALGB] (1) protected Real[1] T2.activation.minTokens = T2.minTokens (322) [ALGB] (1) protected Real[1] T3.activation.arcWeightIn = T3.arcWeightIn (323) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] P3.outTransition.arcType = {PNlib.Types.ArcType.NormalArc for $i1 in 1:1} (324) [DISC] (1) protected Boolean P1.tokeninout (fixed = true, start = false) (325) [DISC] (1) Boolean T1.fire (326) [DISC] (1) Boolean[1] P3.outTransition.disTransition = {P3.disTransitionOut[1]} (327) [DISC] (1) protected Boolean T2.enabledByInPlaces = PNlib.Functions.OddsAndEnds.allTrue(T2.enableIn) (328) [ALGB] (1) Real[1] T2.outPlaces.maxTokens = {T2.maxTokens[1]} (329) [DISC] (4) protected Integer[4] P3.enableOut.state128 (330) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] P2.outTransition.arcType = {PNlib.Types.ArcType.NormalArc for $i1 in 1:1} (331) [DISC] (1) protected Boolean[1] P3.enableOut.TAout = P3.activeOut (332) [DISC] (1) protected Integer P2.enableOut.nremTAout (333) [DISC] (1) Boolean[1] T1.inPlaces.normalArc = {T1.normalArc[1]} (334) [DISC] (1) protected Integer[1] P1.arcWeightOut (335) [DISC] (1) protected Boolean P1.enableIn.endWhile (336) [DISC] (1) protected discrete Real P1.enableOut.benefitLimit (337) [ALGB] (1) Real[1] P2.outTransition.arcWeight (338) [DISC] (1) protected Integer[1] T3.arcWeightIntIn (339) [DISC] (1) Integer[1] T2.inPlaces.testValueint = {T2.testValueInt[1]} (340) [DISC] (1) Integer[1] T3.outPlaces.tint = {T3.tIntOut[1]} (341) [DISC] (1) protected Boolean[1] T2.disPlaceIn (342) [DISC] (1) protected Integer[1] T1.tIntIn (343) [DISC] (1) protected Boolean[1] P2.firingSumOut.fire = P2.fireOut and P2.disTransitionOut (344) [DISC] (2) Boolean[2] P1.inTransition.disPlace = {true for $i1 in 1:2} (345) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] P1.outTransition.arcType = {PNlib.Types.ArcType.NormalArc for $i1 in 1:1} (346) [DISC] (1) protected Boolean[1] P3.enableOut.TEout (347) [DISC] (1) Boolean[1] P3.outTransition.tokenInOut = {pre(P3.tokeninout)} (348) [DISC] (1) Boolean[1] P1.outTransition.active = {P1.activeOut[1]} (349) [ALGB] (1) protected Real[1] T2.tIn (350) [DISC] (2) protected Boolean[2] P1.enableIn.TEin (351) [ALGB] (1) protected Real[1] P1.enableOut.enablingProb = P1.enablingProbOut (352) [DISC] (1) protected Integer[1] T3.maxTokensInt (353) [DISC] (1) protected Integer P3.enableOut.nTAout (354) [DISC] (1) Boolean[1] T2.outPlaces.active = {T2.delayPassed} (355) [DISC] (1) Integer[1] T1.inPlaces.testValueint = {T1.testValueInt[1]} (356) [ALGB] (1) protected Real T2.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (357) [DISC] (1) Boolean[1] T1.inPlaces.disPlace = {T1.disPlaceIn[1]} (358) [DISC] (1) protected Boolean[1] T2.normalArc (359) [ALGB] (1) Real[1] P2.outTransition.testValue = {-1.0 for $i1 in 1:1} (360) [DISC] (1) protected Integer[1] P3.enableOut.remTAout (fixed = {true for $i1 in 1:1}, start = {0 for $i1 in 1:1}) (361) [DISC] (1) Integer[1] T1.inPlaces.tint = {T1.tIntIn[1]} (362) [DISC] (1) protected Boolean T2.activation.active (363) [DISC] (1) protected discrete Real P2.enableOut.benefitLimit (364) [DISC] (1) protected discrete Real[1] P2.enableOut.cumEnablingProb (fixed = {true for $i1 in 1:1}, start = {0.0 for $i1 in 1:1}) (365) [ALGB] (3) protected Real[3] T3.color (366) [DISC] (1) protected Boolean[1] T2.enableIn (367) [DISC] (1) protected Boolean P3.enableOut.activeCon = P3.enableOut.activeCon (368) [DISC] (1) protected Boolean P1.enableOut.activeCon = P1.enableOut.activeCon (369) [DISS] (1) protected Boolean T3.ani (370) [ALGB] (3) protected Real[3] T2.color (371) [DISC] (1) Integer[1] T2.inPlaces.tint = {T2.tIntIn[1]} (372) [ALGB] (3) protected Real[3] T1.color (373) [ALGB] (1) protected Real[1] P2.enableOut.enablingProb = P2.enablingProbOut (374) [DISC] (1) Boolean[1] P1.outTransition.normalArc = {false for $i1 in 1:1} (375) [ALGB] (1) Real[1] P2.outTransition.minTokens = {P2.minTokens} (376) [DISC] (1) protected Integer P1.enableIn.arcWeightSum (377) [DISC] (2) protected Boolean[2] P1.fireIn (378) [DISC] (1) protected Boolean[1] T2.disPlaceOut (379) [DISC] (1) protected Boolean[1] P3.activeOut (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (380) [DISC] (1) Boolean[1] T3.inPlaces.fire = {T3.fire} (381) [DISC] (2) Boolean[2] P1.inTransition.enable = {P1.enableIn.TEin_[$inTransition1] for $inTransition1 in 1:2} (382) [DISC] (1) protected Integer P1.enableIn.Index (383) [DISC] (1) protected discrete Real P3.enableOut.benefitLimit (384) [ALGB] (1) Real[1] P2.outTransition.t = {P2.pret} (385) [DISC] (1) Boolean[1] T1.inPlaces.tokenInOut (386) [DISC] (1) Boolean[1] P2.outTransition.enable = {P2.enableOut.TEout_[1]} (387) [DISS] (1) protected Boolean T1.ani (388) [ALGB] (1) Real[1] T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} (389) [DISC] (1) protected Integer P1.enableOut.nTAout (390) [DISC] (1) protected discrete Real[1] P3.enableOut.cumEnablingProb (fixed = {true for $i1 in 1:1}, start = {0.0 for $i1 in 1:1}) (391) [DISC] (1) Integer[1] P2.outTransition.testValueint = {-1 for $i1 in 1:1} (392) [DISC] (1) Integer[1] P1.outTransition.minTokensint = {P1.minTokens} (393) [DISC] (2) protected Boolean[2] P1.enabledByInPlaces (394) [DISC] (2) Integer[2] P1.inTransition.arcWeightint = {P1.arcWeightIn[$inTransition1] for $inTransition1 in 1:2} (395) [DISC] (1) Boolean[1] T3.outPlaces.disPlace = {T3.disPlaceOut[1]} (396) [DISC] (1) Boolean[1] $SEV_199[$i1] (397) [DISC] (1) Boolean T1.active (398) [DISC] (1) Integer[1] P2.outTransition.tint = {P2.pret} (399) [ALGB] (1) Real[1] T2.inPlaces.testValue = {T2.testValue[1]} (400) [DISC] (1) Boolean[1] T3.outPlaces.active = {T3.delayPassed} (401) [DISC] (1) protected Integer[1] T2.maxTokensInt (402) [DISC] (1) protected Integer P3.delayPassedOut.numtrue (403) [ALGB] (1) protected Real[1] T3.activation.maxTokens = T3.maxTokens (404) [ALGB] (1) protected Real[1] P1.enableOut.enablingBene = P1.enablingBeneOut (405) [DISC] (1) protected Boolean[1] P2.enableOut.disTransition = P2.disTransitionOut (406) [DISC] (1) protected Boolean P1.enableOut.valid (407) [DISC] (2) protected Integer[2] P1.enableIn.arcWeight = P1.arcWeightIn (408) [DISS] (1) protected Real T2.firingTime (409) [DISC] (1) Integer[1] T1.inPlaces.minTokensint = {T1.minTokensInt[1]} (410) [DISC] (1) protected discrete Real P3.enableOut.randNum (411) [DISC] (1) protected Integer[1] T2.arcWeightIntIn (412) [DISC] (1) protected Boolean[1] P3.delayPassedOut.vec = P3.activeOut and P3.disTransitionOut (413) [ALGB] (1) Real[1] T2.inPlaces.minTokens = {T2.minTokens[1]} (414) [DISC] (2) Integer[2] P1.inTransition.maxTokensint = {P1.maxTokens for $inTransition1 in 1:2} (415) [DISC] (1) protected Boolean[1] T3.disPlaceOut (416) [DISC] (1) protected Boolean[1] P3.enableOut.disTransition = P3.disTransitionOut (417) [DISC] (1) protected Integer[1] P1.enableOut.enablingPrio = P1.enablingPrioOut (418) [ALGB] (1) protected Real P2.tokenscale (419) [DISC] (2) protected Boolean[2] P1.activeIn (420) [DISC] (1) protected Integer[1] T2.tIntOut (421) [ALGB] (1) Real[1] T2.outPlaces.arcWeight = {T2.arcWeightOut[1]} (422) [DISC] (1) Boolean[1] P3.outTransition.fire = {P3.fireOut[1]} (423) [DISC] (1) protected Integer P2.delayPassedOut.numtrue (424) [DISC] (1) protected Boolean[1] T1.enableIn (425) [ALGB] (1) protected Real[1] P2.enableOut.enablingBene = P2.enablingBeneOut (426) [DISC] (1) Boolean[1] $SEV_212[$i1] (427) [DISC] (1) protected Integer P1.enableOut.posTE (428) [DISC] (1) protected Integer P1.enableOut.k (429) [DISC] (1) protected Integer[1] T1.arcWeightIntIn (430) [DISC] (1) protected Integer[1] T3.minTokensInt (431) [DISC] (1) protected Boolean P1.enableIn.delayPassed = P1.enableIn.delayPassed (432) [DISC] (1) Boolean[1] $SEV_205[$i1] (433) [DISC] (1) protected Integer P1.enableOut.t = P1.enableOut.t (434) [DISC] (1) Boolean[1] T3.inPlaces.normalArc = {T3.normalArc[1]} (435) [DISC] (1) protected Boolean[1] P1.fireOut (436) [DISC] (1) protected Integer[1] P2.enableOut.enablingPrio = P2.enablingPrioOut (437) [DISC] (1) Boolean[1] T2.inPlaces.active = {T2.delayPassed} (438) [ALGB] (1) Real[1] T3.inPlaces.t = {T3.tIn[1]} (439) [DISC] (1) protected Boolean P2.enableOut.endWhile (440) [ALGB] (1) Real $FUN_9 (441) [DISC] (1) Boolean[1] $FUN_8 (442) [DISC] (1) protected discrete Real P3.enableOut.sumEnablingProbTAout (443) [DISC] (1) protected Boolean[1] T1.normalArc (444) [DISC] (1) Boolean[1] $FUN_7 (445) [DISC] (1) Integer[1] $FUN_6 (446) [DISC] (1) protected Integer P2.firingSumIn.firingSum (447) [DISC] (4) Integer[4] $FUN_5 (448) [ALGB] (1) Real $FUN_4 (449) [ALGB] (1) Real $FUN_3 (450) [DISC] (1) Integer $FUN_2 (451) [DISC] (1) Integer $FUN_1 (452) [DISC] (1) Boolean[1] P2.outTransition.tokenInOut = {pre(P2.tokeninout)} (453) [DISC] (1) protected Integer[1] T2.arcWeightIntOut (454) [DISC] (1) protected discrete Real P1.enableIn.sumEnablingProbTAin (455) [DISC] (1) Integer[1] P2.outTransition.minTokensint = {P2.minTokens} (456) [DISC] (1) Boolean T3.fire (457) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.activation.arcType = T2.arcType (458) [DISC] (1) Integer[1] P1.outTransition.testValueint = {-1 for $i1 in 1:1} (459) [DISC] (1) protected Integer[1] T2.activation.arcWeightIntIn = T2.arcWeightIntIn (460) [DISC] (1) protected discrete Real P1.enableIn.benefitMax (461) [DISC] (4) protected Integer[4] P1.enableOut.state128 (462) [DISC] (2) protected Boolean[2] P1.delayPassedIn.vec = P1.activeIn and P1.disTransitionIn (463) [DISC] (1) protected Boolean P3.tokeninout (fixed = true, start = false) (464) [ALGB] (1) protected Real[1] T3.minTokens (465) [DISC] (1) protected Integer P1.firingSumIn.firingSum (466) [ALGB] (1) Real[1] T3.outPlaces.maxTokens = {T3.maxTokens[1]} (467) [DISC] (1) Boolean[1] P3.outTransition.normalArc = {false for $i1 in 1:1} (468) [DISC] (2) protected Integer[2] P1.firingSumIn.arcWeight = P1.arcWeightIn (469) [ALGB] (1) Real[1] T2.outPlaces.t = {T2.tOut[1]} (470) [DISC] (1) Boolean $TEV_11 (471) [DISC] (1) Boolean $TEV_10 (472) [DISC] (1) protected Boolean[1] P2.activeOut (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (473) [DISC] (1) protected Integer[1] T3.tIntIn (474) [DISC] (2) protected Boolean[2] P1.firingSumIn.fire = P1.fireIn and P1.disTransitionIn (475) [DISC] (1) protected Integer[1] T2.activation.maxTokensInt = T2.maxTokensInt (476) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.inPlaces.arcType = {T3.arcType[1]} (477) [DISC] (1) Boolean[1] T3.inPlaces.active = {T3.delayPassed} (478) [DISC] (1) protected Boolean P3.enableOut.endWhile (479) [DISC] (1) protected Boolean[1] P3.activeConOut.vec = pre(P3.activeOut) and not P3.disTransitionOut (fixed = {true for $i1 in 1:1}, start = {false for $i1 in 1:1}) (480) [DISC] (1) protected Integer[1] P1.enableOut.arcWeight = P1.arcWeightOut (481) [DISC] (1) protected Boolean[1] T3.disPlaceIn (482) [ALGB] (1) protected Real[1] T3.activation.arcWeightOut = T3.arcWeightOut (483) [DISC] (1) protected Integer P2.enableOut.k (484) [ALGB] (1) protected Real[1] T3.testValue (485) [ALGB] (1) protected Real[1] T1.activation.minTokens = T1.minTokens (486) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.arcType (487) [DISC] (1) protected Boolean[1] T2.activation.disPlaceOut = T2.disPlaceOut (488) [DISC] (1) protected Integer[1] T3.activation.arcWeightIntOut = T3.arcWeightIntOut (489) [DISC] (1) Integer[1] P3.outTransition.arcWeightint = {P3.arcWeightOut[1]} (490) [DISC] (1) protected Integer P2.enableOut.t = P2.enableOut.t (491) [DISC] (1) Boolean[1] P1.outTransition.fire = {P1.fireOut[1]} (492) [DISC] (2) Boolean[2] P1.inTransition.fire = {P1.fireIn[$inTransition1] for $inTransition1 in 1:2} (493) [DISC] (1) protected Boolean[1] T3.activation.normalArc = T3.normalArc (494) [DISC] (1) Boolean[1] P1.outTransition.tokenInOut = {pre(P1.tokeninout)} (495) [DISC] (1) protected Boolean[1] P3.disTransitionOut (496) [DISC] (1) protected Integer[1] T2.minTokensInt (497) [DISC] (1) protected Integer P1.enableIn.posTE (498) [DISC] (1) protected Boolean[1] T2.activation.disPlaceIn = T2.disPlaceIn (499) [DISC] (1) Integer[1] T2.outPlaces.tint = {T2.tIntOut[1]} (500) [ALGB] (2) Real[2] P1.inTransition.maxTokens = {P1.maxTokens for $inTransition1 in 1:2} (501) [DISC] (1) protected Integer[1] P1.enableOut.remTAout (fixed = {true for $i1 in 1:1}, start = {0 for $i1 in 1:1}) (502) [DISC] (1) protected Boolean T3.activation.active (503) [DISC] (1) protected Integer[1] T3.testValueInt (504) [ALGB] (1) protected Real[1] T1.activation.testValue = T1.testValue (505) [ALGB] (1) protected Real T1.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (506) [DISC] (1) Boolean[1] P1.outTransition.enable = {P1.enableOut.TEout_[1]} (507) [DISC] (1) protected Boolean[1] T3.activation.disPlaceOut = T3.disPlaceOut (508) [DISC] (1) protected Boolean[1] T3.activation.disPlaceIn = T3.disPlaceIn (509) [DISC] (1) protected Boolean[1] P3.fireOut (510) [DISC] (1) protected Boolean P1.enableIn.valid (511) [ALGB] (1) protected Real[1] P3.enableOut.enablingProb = P3.enablingProbOut (512) [DISC] (1) Integer[1] T2.outPlaces.arcWeightint = {T2.arcWeightIntOut[1]} (513) [DISC] (1) protected Boolean[1] P2.enableOut.TEout_ (514) [DISC] (1) protected discrete Real P3.enableOut.benefitMax (515) [ALGB] (1) Real[1] T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} (516) [ALGB] (1) Real[1] T3.outPlaces.t = {T3.tOut[1]} (517) [ALGB] (1) protected Real[1] T1.activation.tIn = T1.tIn (518) [DISC] (1) protected Integer[1] T2.activation.tIntOut = T2.tIntOut (519) [DISC] (1) protected Boolean[1] T2.activation.normalArc = T2.normalArc (520) [DISC] (1) protected Integer[1] T1.activation.tIntIn = T1.tIntIn (521) [DISC] (1) protected Boolean P1.enableOut.delayPassed = P1.enableOut.delayPassed (522) [DISC] (1) protected Boolean P2.enableOut.delayPassed = P2.enableOut.delayPassed (523) [DISC] (1) protected Boolean T3.enabledByInPlaces = PNlib.Functions.OddsAndEnds.allTrue(T3.enableIn) (524) [DISC] (1) Integer[1] T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} (525) [ALGB] (1) protected Real[1] T3.activation.tOut = T3.tOut (526) [ALGB] (3) Real[3] P3.color (527) [DISC] (1) Boolean[1] T2.inPlaces.tokenInOut (528) [DISC] (1) protected Integer P1.enableOut.arcWeightSum (529) [ALGB] (1) Real[1] P3.outTransition.t = {P3.pret} System Equations (447/600) **************************** (1) [ARRY] (1) T2.activation.arcType = T2.arcType ($RES_BND_380) (2) [ARRY] (1) T2.activation.arcWeightIn = T2.arcWeightIn ($RES_BND_381) (3) [ARRY] (1) T2.activation.arcWeightIntIn = T2.arcWeightIntIn ($RES_BND_382) (4) [ARRY] (1) T2.activation.arcWeightOut = T2.arcWeightOut ($RES_BND_383) (5) [ARRY] (1) T2.activation.arcWeightIntOut = T2.arcWeightIntOut ($RES_BND_384) (6) [ARRY] (1) T2.activation.minTokens = T2.minTokens ($RES_BND_385) (7) [ARRY] (1) T2.activation.minTokensInt = T2.minTokensInt ($RES_BND_386) (8) [ARRY] (1) T2.activation.maxTokens = T2.maxTokens ($RES_BND_387) (9) [ARRY] (1) T2.activation.maxTokensInt = T2.maxTokensInt ($RES_BND_388) (10) [ARRY] (1) P2.outTransition.enable = {P2.enableOut.TEout_[1]} ($RES_BND_470) (11) [SCAL] (1) T2.outPlaces[1].arcWeightint = P1.inTransition[1].arcWeightint ($RES_SIM_170) (12) [SCAL] (1) $SEV_221 = P1.tokenscale < 100.0 ($RES_EVT_641) (13) [ARRY] (1) P2.outTransition.minTokensint = {P2.minTokens} ($RES_BND_471) (14) [SCAL] (1) T2.outPlaces[1].arcWeight = P1.inTransition[1].arcWeight ($RES_SIM_171) (15) [SCAL] (1) $SEV_222 = $PRE.P1.firingSumIn.firingSum > 0 ($RES_EVT_642) (16) [ARRY] (1) P2.outTransition.minTokens = {P2.minTokens} ($RES_BND_472) (17) [SCAL] (1) T2.outPlaces[1].active = P1.inTransition[1].active ($RES_SIM_172) (18) [SCAL] (1) $SEV_223 = $PRE.P1.firingSumOut.firingSum > 0 ($RES_EVT_643) (19) [ARRY] (1) P2.outTransition.tint = {P2.enableOut.t} ($RES_BND_473) (20) [SCAL] (1) P3.outTransition[1].tokenInOut = T3.inPlaces[1].tokenInOut ($RES_SIM_173) (21) [SCAL] (1) $SEV_224 = $PRE.P1.firingSumIn.firingSum > 0 or $PRE.P1.firingSumOut.firingSum > 0 ($RES_EVT_644) (22) [ARRY] (1) P2.outTransition.t = {P2.enableOut.t} ($RES_BND_474) (23) [SCAL] (1) P3.outTransition[1].tint = T3.inPlaces[1].tint ($RES_SIM_174) (24) [SCAL] (1) $SEV_225 = P3.fireOut and P3.disTransitionOut ($RES_EVT_645) (25) [ARRY] (1) P2.outTransition.disTransition = {P2.disTransitionOut[1]} ($RES_BND_475) (26) [SCAL] (1) P3.outTransition[1].testValueint = T3.inPlaces[1].testValueint ($RES_SIM_175) (27) [SCAL] (1) $SEV_226 = P3.activeOut and P3.disTransitionOut ($RES_EVT_646) (28) [ARRY] (1) P2.outTransition.arcWeightint = {P2.arcWeightOut[1]} ($RES_BND_476) (29) [SCAL] (1) P3.outTransition[1].testValue = T3.inPlaces[1].testValue ($RES_SIM_176) (30) [SCAL] (1) $SEV_227 = $PRE.P3.activeOut and not P3.disTransitionOut ($RES_EVT_647) (31) [ARRY] (1) P2.outTransition.fire = {P2.fireOut[1]} ($RES_BND_477) (32) [SCAL] (1) P3.outTransition[1].t = T3.inPlaces[1].t ($RES_SIM_177) (33) [SCAL] (1) $SEV_228 = P2.fireOut and P2.disTransitionOut ($RES_EVT_648) (34) [ARRY] (1) P2.outTransition.active = {P2.activeOut[1]} ($RES_BND_478) (35) [SCAL] (1) $SEV_229 = P2.activeOut and P2.disTransitionOut ($RES_EVT_649) (36) [ARRY] (1) T2.activation.disPlaceIn = T2.disPlaceIn ($RES_BND_390) (37) [ARRY] (1) T2.activation.disPlaceOut = T2.disPlaceOut ($RES_BND_391) (38) [ARRY] (1) T2.activation.normalArc = T2.normalArc ($RES_BND_392) (39) [ARRY] (1) T2.activation.testValue = T2.testValue ($RES_BND_393) (40) [ARRY] (1) T2.activation.testValueInt = T2.testValueInt ($RES_BND_394) (41) [SCAL] (1) T3.arcWeightIn[1] = 1.0 ($RES_BND_398) (42) [SCAL] (1) T3.arcWeightOut[1] = 1.0 ($RES_BND_399) (43) [SCAL] (1) $SEV_230 = $PRE.P2.activeOut and not P2.disTransitionOut ($RES_EVT_650) (44) [ARRY] (1) P2.activeConOut.vec = $SEV_230 ($RES_BND_480) (45) [SCAL] (1) P3.outTransition[1].normalArc = T3.inPlaces[1].normalArc ($RES_SIM_180) (46) [SCAL] (1) $SEV_231 = P1.enabledByInPlaces and P1.activeIn ($RES_EVT_651) (47) [ARRY] (1) P2.delayPassedOut.vec = $SEV_229 ($RES_BND_481) (48) [SCAL] (1) P3.outTransition[1].minTokensint = T3.inPlaces[1].minTokensint ($RES_SIM_181) (49) [SCAL] (1) $SEV_232 = P1.fireOut and P1.disTransitionOut ($RES_EVT_652) (50) [ARRY] (1) P2.firingSumOut.fire = $SEV_228 ($RES_BND_482) (51) [SCAL] (1) P3.outTransition[1].minTokens = T3.inPlaces[1].minTokens ($RES_SIM_182) (52) [SCAL] (1) $SEV_233 = P1.fireIn and P1.disTransitionIn ($RES_EVT_653) (53) [ARRY] (1) P2.firingSumOut.arcWeight = P2.arcWeightOut ($RES_BND_483) (54) [SCAL] (1) $SEV_234 = P1.activeIn and P1.disTransitionIn ($RES_EVT_654) (55) [ARRY] (1) P2.enableOut.arcWeight = P2.arcWeightOut ($RES_BND_484) (56) [SCAL] (1) $SEV_235 = P1.activeOut and P1.disTransitionOut ($RES_EVT_655) (57) [SCAL] (1) P3.outTransition[1].fire = T3.inPlaces[1].fire ($RES_SIM_185) (58) [SCAL] (1) $SEV_236 = $PRE.P1.activeOut and not P1.disTransitionOut ($RES_EVT_656) (59) [ARRY] (1) P2.enableOut.TAout = P2.activeOut ($RES_BND_487) (60) [SCAL] (1) P3.outTransition[1].enable = T3.inPlaces[1].enable ($RES_SIM_187) (61) [SCAL] (1) P3.outTransition[1].disTransition = T3.inPlaces[1].disTransition ($RES_SIM_188) (62) [ARRY] (1) P2.enableOut.enablingPrio = P2.enablingPrioOut ($RES_BND_489) (63) [SCAL] (1) P3.outTransition[1].disPlace = T3.inPlaces[1].disPlace ($RES_SIM_189) (64) [ARRY] (1) P2.enableOut.enablingProb = P2.enablingProbOut ($RES_BND_490) (65) [ARRY] (1) P2.enableOut.enablingBene = P2.enablingBeneOut ($RES_BND_491) (66) [SCAL] (1) P3.outTransition[1].arcWeightint = T3.inPlaces[1].arcWeightint ($RES_SIM_191) (67) [SCAL] (1) P3.outTransition[1].arcWeight = T3.inPlaces[1].arcWeight ($RES_SIM_192) (68) [ARRY] (1) P2.enableOut.disTransition = P2.disTransitionOut ($RES_BND_493) (69) [SCAL] (1) P3.outTransition[1].arcType = T3.inPlaces[1].arcType ($RES_SIM_193) (70) [SCAL] (1) P3.outTransition[1].active = T3.inPlaces[1].active ($RES_SIM_194) (71) [SCAL] (1) P2.outTransition[1].tokenInOut = T2.inPlaces[1].tokenInOut ($RES_SIM_195) (72) [SCAL] (1) P2.outTransition[1].tint = T2.inPlaces[1].tint ($RES_SIM_196) (73) [SCAL] (1) P2.outTransition[1].testValueint = T2.inPlaces[1].testValueint ($RES_SIM_197) (74) [SCAL] (1) P2.outTransition[1].testValue = T2.inPlaces[1].testValue ($RES_SIM_198) (75) [SCAL] (1) P2.outTransition[1].t = T2.inPlaces[1].t ($RES_SIM_199) (76) [ALGO] (1) ($RES_SIM_9) (76) [----] P3.firingSumIn.firingSum := 0; (77) [ALGO] (1) ($RES_SIM_8) (77) [----] P3.firingSumOut.firingSum := 0; (77) [----] for i in 1:1 loop (77) [----] if P3.firingSumOut.fire[i] then (77) [----] P3.firingSumOut.firingSum := P3.firingSumOut.firingSum + P3.firingSumOut.arcWeight[i]; (77) [----] end if; (77) [----] end for; (78) [ALGO] (20) ($RES_SIM_7) (78) [----] P3.enableOut.TEout := fill(false, 1); (78) [----] P3.enableOut.arcWeightSum := 0; (78) [----] for i in 1:1 loop (78) [----] if (P3.enableOut.TAout[i] and not P3.enableOut.disTransition[i]) and P3.enableOut.t - (P3.enableOut.arcWeight[i] + P3.enableOut.arcWeightSum) >= P3.minTokens then (78) [----] P3.enableOut.TEout[i] := true; (78) [----] P3.enableOut.arcWeightSum := P3.enableOut.arcWeightSum + P3.enableOut.arcWeight[i]; (78) [----] end if; (78) [----] end for; (78) [----] when P3.enableOut.delayPassed or P3.enableOut.activeCon then (78) [----] P3.enableOut.arcWeightSum := $FUN_43; (78) [----] if P3.enableOut.t - P3.enableOut.arcWeightSum >= P3.minTokens then (78) [----] P3.enableOut.TEout := P3.enableOut.TAout; (78) [----] elseif true then (78) [----] if P3.enablingType == PNlib.Types.EnablingType.Priority then (78) [----] P3.enableOut.arcWeightSum := 0; (78) [----] for i in 1:1 loop (78) [----] P3.enableOut.Index := $FUN_44; (78) [----] if ((P3.enableOut.Index > 0 and P3.enableOut.TAout[P3.enableOut.Index]) and P3.enableOut.disTransition[P3.enableOut.Index]) and P3.enableOut.t - (P3.enableOut.arcWeight[P3.enableOut.Index] + P3.enableOut.arcWeightSum) >= P3.minTokens then (78) [----] P3.enableOut.TEout[P3.enableOut.Index] := true; (78) [----] P3.enableOut.arcWeightSum := P3.enableOut.arcWeightSum + P3.enableOut.arcWeight[P3.enableOut.Index]; (78) [----] end if; (78) [----] end for; (78) [----] for i in 1:1 loop (78) [----] P3.enableOut.Index := $FUN_44; (78) [----] if (P3.enableOut.TAout[P3.enableOut.Index] and not P3.enableOut.disTransition[P3.enableOut.Index]) and P3.enableOut.t - (P3.enableOut.arcWeight[P3.enableOut.Index] + P3.enableOut.arcWeightSum) >= P3.minTokens then (78) [----] P3.enableOut.TEout[P3.enableOut.Index] := true; (78) [----] P3.enableOut.arcWeightSum := P3.enableOut.arcWeightSum + P3.enableOut.arcWeight[P3.enableOut.Index]; (78) [----] end if; (78) [----] end for; (78) [----] elseif P3.enablingType == PNlib.Types.EnablingType.Probability then (78) [----] P3.enableOut.remTAout := fill(0, 1); (78) [----] P3.enableOut.nremTAout := 0; (78) [----] P3.enableOut.arcWeightSum := 0; (78) [----] for i in 1:1 loop (78) [----] if P3.enableOut.TAout[i] and P3.enableOut.disTransition[i] then (78) [----] P3.enableOut.nremTAout := P3.enableOut.nremTAout + 1; (78) [----] P3.enableOut.remTAout[P3.enableOut.nremTAout] := i; (78) [----] end if; (78) [----] end for; (78) [----] P3.enableOut.nTAout := P3.enableOut.nremTAout; (78) [----] if P3.enableOut.nTAout > 0 then (78) [----] P3.enableOut.sumEnablingProbTAout := $FUN_45; (78) [----] P3.enableOut.cumEnablingProb := fill(0.0, 1); (78) [----] P3.enableOut.cumEnablingProb[1] := P3.enableOut.enablingProb[P3.enableOut.remTAout[1]] / P3.enableOut.sumEnablingProbTAout; (78) [----] for j in 2:P3.enableOut.nremTAout loop (78) [----] P3.enableOut.cumEnablingProb[j] := P3.enableOut.cumEnablingProb[j - 1] + P3.enableOut.enablingProb[P3.enableOut.remTAout[j]] / P3.enableOut.sumEnablingProbTAout; (78) [----] end for; (78) [----] for i in 1:P3.enableOut.nTAout loop (78) [----] (P3.enableOut.randNum, P3.enableOut.state128) := ($FUN_46, $FUN_47); (78) [----] P3.enableOut.endWhile := false; (78) [----] P3.enableOut.k := 1; (78) [----] while P3.enableOut.k <= P3.enableOut.nremTAout and not P3.enableOut.endWhile then (78) [----] if P3.enableOut.randNum <= P3.enableOut.cumEnablingProb[P3.enableOut.k] then (78) [----] P3.enableOut.posTE := P3.enableOut.remTAout[P3.enableOut.k]; (78) [----] P3.enableOut.endWhile := true; (78) [----] elseif true then (78) [----] P3.enableOut.k := P3.enableOut.k + 1; (78) [----] end if; (78) [----] end while; (78) [----] if P3.enableOut.t - (P3.enableOut.arcWeight[P3.enableOut.posTE] + P3.enableOut.arcWeightSum) >= P3.minTokens then (78) [----] P3.enableOut.arcWeightSum := P3.enableOut.arcWeightSum + P3.enableOut.arcWeight[P3.enableOut.posTE]; (78) [----] P3.enableOut.TEout[P3.enableOut.posTE] := true; (78) [----] end if; (78) [----] P3.enableOut.nremTAout := P3.enableOut.nremTAout - 1; (78) [----] if P3.enableOut.nremTAout > 0 then (78) [----] P3.enableOut.remTAout := $FUN_48; (78) [----] P3.enableOut.cumEnablingProb := fill(0.0, 1); (78) [----] P3.enableOut.sumEnablingProbTAout := $FUN_45; (78) [----] if P3.enableOut.sumEnablingProbTAout > 0.0 then (78) [----] P3.enableOut.cumEnablingProb[1] := P3.enableOut.enablingProb[P3.enableOut.remTAout[1]] / P3.enableOut.sumEnablingProbTAout; (78) [----] for j in 2:P3.enableOut.nremTAout loop (78) [----] P3.enableOut.cumEnablingProb[j] := P3.enableOut.cumEnablingProb[j - 1] + P3.enableOut.enablingProb[P3.enableOut.remTAout[j]] / P3.enableOut.sumEnablingProbTAout; (78) [----] end for; (78) [----] elseif true then (78) [----] P3.enableOut.cumEnablingProb[1:P3.enableOut.nremTAout] := fill(1.0 / P3.enableOut.nremTAout, P3.enableOut.nremTAout); (78) [----] end if; (78) [----] end if; (78) [----] end for; (78) [----] end if; (78) [----] for i in 1:1 loop (78) [----] if (P3.enableOut.TAout[i] and not P3.enableOut.disTransition[i]) and P3.enableOut.t - (P3.enableOut.arcWeight[i] + P3.enableOut.arcWeightSum) >= P3.minTokens then (78) [----] P3.enableOut.TEout[i] := true; (78) [----] P3.enableOut.arcWeightSum := P3.enableOut.arcWeightSum + P3.enableOut.arcWeight[i]; (78) [----] end if; (78) [----] end for; (78) [----] elseif true then (78) [----] if P3.benefitType == PNlib.Types.BenefitType.Greedy then (78) [----] P3.enableOut.TEout := $FUN_49; (78) [----] elseif P3.benefitType == PNlib.Types.BenefitType.BenefitQuotient then (78) [----] P3.enableOut.TEout := $FUN_50; (78) [----] elseif true then (78) [----] P3.enableOut.arcWeightSum := 0; (78) [----] P3.enableOut.benefitMax := $FUN_51; (78) [----] P3.enableOut.benefitLimit := 0.0; (78) [----] (P3.enableOut.TEout, P3.enableOut.arcWeightSum, P3.enableOut.benefitMax, P3.enableOut.valid, P3.enableOut.benefitLimit) := ($FUN_52, $FUN_53, $FUN_54, $FUN_55, $FUN_56); (78) [----] end if; (78) [----] end if; (78) [----] end if; (78) [----] end when; (78) [----] for i in 1:1 loop (78) [----] P3.enableOut.TEout_[i] := P3.enableOut.TEout[i] and P3.enableOut.TAout[i]; (78) [----] end for; (79) [SCAL] (1) $TEV_2 = $PRE.P3.t ($RES_EVT_593) (80) [SCAL] (1) $TEV_3 = $PRE.P2.t ($RES_EVT_594) (81) [SCAL] (1) $TEV_4 = $PRE.P1.t ($RES_EVT_595) (82) [SCAL] (1) $TEV_5 = $PRE.P3.tokeninout ($RES_EVT_596) (83) [SCAL] (1) $TEV_6 = $PRE.P2.tokeninout ($RES_EVT_597) (84) [SCAL] (1) $TEV_7 = $PRE.P1.tokeninout ($RES_EVT_598) (85) [SCAL] (1) $TEV_8 = $PRE.P1.enableOut.state128 ($RES_EVT_599) (86) [ALGO] (2) ($RES_SIM_11) (86) [----] P3.enableOut.delayPassed := false; (86) [----] P3.delayPassedOut.numtrue := 0; (86) [----] for i in 1:1 loop (86) [----] P3.enableOut.delayPassed := P3.enableOut.delayPassed or P3.delayPassedOut.vec[i]; (86) [----] if P3.delayPassedOut.vec[i] then (86) [----] P3.delayPassedOut.numtrue := P3.delayPassedOut.numtrue + 1; (86) [----] end if; (86) [----] end for; (87) [ALGO] (1) ($RES_SIM_12) (87) [----] P3.enableOut.activeCon := false; (87) [----] for i in 1:1 loop (87) [----] P3.enableOut.activeCon := P3.enableOut.activeCon or change(P3.activeConOut.vec[i]); (87) [----] end for; (88) [ALGO] (20) ($RES_SIM_14) (88) [----] P2.enableOut.TEout := fill(false, 1); (88) [----] P2.enableOut.arcWeightSum := 0; (88) [----] for i in 1:1 loop (88) [----] if (P2.enableOut.TAout[i] and not P2.enableOut.disTransition[i]) and P2.enableOut.t - (P2.enableOut.arcWeight[i] + P2.enableOut.arcWeightSum) >= P2.minTokens then (88) [----] P2.enableOut.TEout[i] := true; (88) [----] P2.enableOut.arcWeightSum := P2.enableOut.arcWeightSum + P2.enableOut.arcWeight[i]; (88) [----] end if; (88) [----] end for; (88) [----] when P2.enableOut.delayPassed or P2.enableOut.activeCon then (88) [----] P2.enableOut.arcWeightSum := $FUN_29; (88) [----] if P2.enableOut.t - P2.enableOut.arcWeightSum >= P2.minTokens then (88) [----] P2.enableOut.TEout := P2.enableOut.TAout; (88) [----] elseif true then (88) [----] if P2.enablingType == PNlib.Types.EnablingType.Priority then (88) [----] P2.enableOut.arcWeightSum := 0; (88) [----] for i in 1:1 loop (88) [----] P2.enableOut.Index := $FUN_30; (88) [----] if ((P2.enableOut.Index > 0 and P2.enableOut.TAout[P2.enableOut.Index]) and P2.enableOut.disTransition[P2.enableOut.Index]) and P2.enableOut.t - (P2.enableOut.arcWeight[P2.enableOut.Index] + P2.enableOut.arcWeightSum) >= P2.minTokens then (88) [----] P2.enableOut.TEout[P2.enableOut.Index] := true; (88) [----] P2.enableOut.arcWeightSum := P2.enableOut.arcWeightSum + P2.enableOut.arcWeight[P2.enableOut.Index]; (88) [----] end if; (88) [----] end for; (88) [----] for i in 1:1 loop (88) [----] P2.enableOut.Index := $FUN_30; (88) [----] if (P2.enableOut.TAout[P2.enableOut.Index] and not P2.enableOut.disTransition[P2.enableOut.Index]) and P2.enableOut.t - (P2.enableOut.arcWeight[P2.enableOut.Index] + P2.enableOut.arcWeightSum) >= P2.minTokens then (88) [----] P2.enableOut.TEout[P2.enableOut.Index] := true; (88) [----] P2.enableOut.arcWeightSum := P2.enableOut.arcWeightSum + P2.enableOut.arcWeight[P2.enableOut.Index]; (88) [----] end if; (88) [----] end for; (88) [----] elseif P2.enablingType == PNlib.Types.EnablingType.Probability then (88) [----] P2.enableOut.remTAout := fill(0, 1); (88) [----] P2.enableOut.nremTAout := 0; (88) [----] P2.enableOut.arcWeightSum := 0; (88) [----] for i in 1:1 loop (88) [----] if P2.enableOut.TAout[i] and P2.enableOut.disTransition[i] then (88) [----] P2.enableOut.nremTAout := P2.enableOut.nremTAout + 1; (88) [----] P2.enableOut.remTAout[P2.enableOut.nremTAout] := i; (88) [----] end if; (88) [----] end for; (88) [----] P2.enableOut.nTAout := P2.enableOut.nremTAout; (88) [----] if P2.enableOut.nTAout > 0 then (88) [----] P2.enableOut.sumEnablingProbTAout := $FUN_31; (88) [----] P2.enableOut.cumEnablingProb := fill(0.0, 1); (88) [----] P2.enableOut.cumEnablingProb[1] := P2.enableOut.enablingProb[P2.enableOut.remTAout[1]] / P2.enableOut.sumEnablingProbTAout; (88) [----] for j in 2:P2.enableOut.nremTAout loop (88) [----] P2.enableOut.cumEnablingProb[j] := P2.enableOut.cumEnablingProb[j - 1] + P2.enableOut.enablingProb[P2.enableOut.remTAout[j]] / P2.enableOut.sumEnablingProbTAout; (88) [----] end for; (88) [----] for i in 1:P2.enableOut.nTAout loop (88) [----] (P2.enableOut.randNum, P2.enableOut.state128) := ($FUN_32, $FUN_33); (88) [----] P2.enableOut.endWhile := false; (88) [----] P2.enableOut.k := 1; (88) [----] while P2.enableOut.k <= P2.enableOut.nremTAout and not P2.enableOut.endWhile then (88) [----] if P2.enableOut.randNum <= P2.enableOut.cumEnablingProb[P2.enableOut.k] then (88) [----] P2.enableOut.posTE := P2.enableOut.remTAout[P2.enableOut.k]; (88) [----] P2.enableOut.endWhile := true; (88) [----] elseif true then (88) [----] P2.enableOut.k := P2.enableOut.k + 1; (88) [----] end if; (88) [----] end while; (88) [----] if P2.enableOut.t - (P2.enableOut.arcWeight[P2.enableOut.posTE] + P2.enableOut.arcWeightSum) >= P2.minTokens then (88) [----] P2.enableOut.arcWeightSum := P2.enableOut.arcWeightSum + P2.enableOut.arcWeight[P2.enableOut.posTE]; (88) [----] P2.enableOut.TEout[P2.enableOut.posTE] := true; (88) [----] end if; (88) [----] P2.enableOut.nremTAout := P2.enableOut.nremTAout - 1; (88) [----] if P2.enableOut.nremTAout > 0 then (88) [----] P2.enableOut.remTAout := $FUN_34; (88) [----] P2.enableOut.cumEnablingProb := fill(0.0, 1); (88) [----] P2.enableOut.sumEnablingProbTAout := $FUN_31; (88) [----] if P2.enableOut.sumEnablingProbTAout > 0.0 then (88) [----] P2.enableOut.cumEnablingProb[1] := P2.enableOut.enablingProb[P2.enableOut.remTAout[1]] / P2.enableOut.sumEnablingProbTAout; (88) [----] for j in 2:P2.enableOut.nremTAout loop (88) [----] P2.enableOut.cumEnablingProb[j] := P2.enableOut.cumEnablingProb[j - 1] + P2.enableOut.enablingProb[P2.enableOut.remTAout[j]] / P2.enableOut.sumEnablingProbTAout; (88) [----] end for; (88) [----] elseif true then (88) [----] P2.enableOut.cumEnablingProb[1:P2.enableOut.nremTAout] := fill(1.0 / P2.enableOut.nremTAout, P2.enableOut.nremTAout); (88) [----] end if; (88) [----] end if; (88) [----] end for; (88) [----] end if; (88) [----] for i in 1:1 loop (88) [----] if (P2.enableOut.TAout[i] and not P2.enableOut.disTransition[i]) and P2.enableOut.t - (P2.enableOut.arcWeight[i] + P2.enableOut.arcWeightSum) >= P2.minTokens then (88) [----] P2.enableOut.TEout[i] := true; (88) [----] P2.enableOut.arcWeightSum := P2.enableOut.arcWeightSum + P2.enableOut.arcWeight[i]; (88) [----] end if; (88) [----] end for; (88) [----] elseif true then (88) [----] if P2.benefitType == PNlib.Types.BenefitType.Greedy then (88) [----] P2.enableOut.TEout := $FUN_35; (88) [----] elseif P2.benefitType == PNlib.Types.BenefitType.BenefitQuotient then (88) [----] P2.enableOut.TEout := $FUN_36; (88) [----] elseif true then (88) [----] P2.enableOut.arcWeightSum := 0; (88) [----] P2.enableOut.benefitMax := $FUN_37; (88) [----] P2.enableOut.benefitLimit := 0.0; (88) [----] (P2.enableOut.TEout, P2.enableOut.arcWeightSum, P2.enableOut.benefitMax, P2.enableOut.valid, P2.enableOut.benefitLimit) := ($FUN_38, $FUN_39, $FUN_40, $FUN_41, $FUN_42); (88) [----] end if; (88) [----] end if; (88) [----] end if; (88) [----] end when; (88) [----] for i in 1:1 loop (88) [----] P2.enableOut.TEout_[i] := P2.enableOut.TEout[i] and P2.enableOut.TAout[i]; (88) [----] end for; (89) [ALGO] (1) ($RES_SIM_15) (89) [----] P2.firingSumOut.firingSum := 0; (89) [----] for i in 1:1 loop (89) [----] if P2.firingSumOut.fire[i] then (89) [----] P2.firingSumOut.firingSum := P2.firingSumOut.firingSum + P2.firingSumOut.arcWeight[i]; (89) [----] end if; (89) [----] end for; (90) [ALGO] (1) ($RES_SIM_16) (90) [----] P2.firingSumIn.firingSum := 0; (91) [ALGO] (2) ($RES_SIM_18) (91) [----] P2.enableOut.delayPassed := false; (91) [----] P2.delayPassedOut.numtrue := 0; (91) [----] for i in 1:1 loop (91) [----] P2.enableOut.delayPassed := P2.enableOut.delayPassed or P2.delayPassedOut.vec[i]; (91) [----] if P2.delayPassedOut.vec[i] then (91) [----] P2.delayPassedOut.numtrue := P2.delayPassedOut.numtrue + 1; (91) [----] end if; (91) [----] end for; (92) [ALGO] (1) ($RES_SIM_19) (92) [----] P2.enableOut.activeCon := false; (92) [----] for i in 1:1 loop (92) [----] P2.enableOut.activeCon := P2.enableOut.activeCon or change(P2.activeConOut.vec[i]); (92) [----] end for; (93) [ALGO] (1) ($RES_SIM_20) (93) [----] T3.activation.active := true; (93) [----] for i in 1:1 loop (93) [----] if T3.activation.disPlaceIn[i] then (93) [----] if (T3.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T3.activation.normalArc[i]) and not T3.activation.tIntIn[i] - T3.activation.arcWeightIntIn[i] >= T3.activation.minTokensInt[i] then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T3.activation.tIntIn[i] > T3.activation.testValueInt[i] then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T3.activation.tIntIn[i] >= T3.activation.testValueInt[i] then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T3.activation.tIntIn[i] < T3.activation.testValueInt[i] then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T3.activation.tIntIn[i] <= T3.activation.testValueInt[i] then (93) [----] T3.activation.active := false; (93) [----] end if; (93) [----] elseif true then (93) [----] if (T3.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T3.activation.normalArc[i]) and not T3.activation.tIn[i] - (T3.activation.minTokens[i] + T3.activation.arcWeightIn[i]) >= (-1e-9) then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T3.activation.tIn[i] > T3.activation.testValue[i] then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T3.activation.tIn[i] >= T3.activation.testValue[i] then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T3.activation.tIn[i] < T3.activation.testValue[i] then (93) [----] T3.activation.active := false; (93) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T3.activation.tIn[i] <= T3.activation.testValue[i] then (93) [----] T3.activation.active := false; (93) [----] end if; (93) [----] end if; (93) [----] end for; (93) [----] for i in 1:1 loop (93) [----] if T3.activation.disPlaceOut[i] then (93) [----] if not T3.activation.tIntOut[i] + T3.activation.arcWeightIntOut[i] <= T3.activation.maxTokensInt[i] then (93) [----] T3.activation.active := false; (93) [----] end if; (93) [----] elseif true then (93) [----] if not (T3.activation.arcWeightOut[i] + T3.activation.tOut[i]) - T3.activation.maxTokens[i] <= 1e-9 then (93) [----] T3.activation.active := false; (93) [----] end if; (93) [----] end if; (93) [----] end for; (93) [----] T3.activation.active := T3.activation.active and true; (94) [ALGO] (1) ($RES_SIM_21) (94) [----] T2.activation.active := true; (94) [----] for i in 1:1 loop (94) [----] if T2.activation.disPlaceIn[i] then (94) [----] 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 (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIntIn[i] > T2.activation.testValueInt[i] then (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIntIn[i] >= T2.activation.testValueInt[i] then (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIntIn[i] < T2.activation.testValueInt[i] then (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIntIn[i] <= T2.activation.testValueInt[i] then (94) [----] T2.activation.active := false; (94) [----] end if; (94) [----] elseif true then (94) [----] 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 (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIn[i] > T2.activation.testValue[i] then (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIn[i] >= T2.activation.testValue[i] then (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIn[i] < T2.activation.testValue[i] then (94) [----] T2.activation.active := false; (94) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIn[i] <= T2.activation.testValue[i] then (94) [----] T2.activation.active := false; (94) [----] end if; (94) [----] end if; (94) [----] end for; (94) [----] for i in 1:1 loop (94) [----] if T2.activation.disPlaceOut[i] then (94) [----] if not T2.activation.tIntOut[i] + T2.activation.arcWeightIntOut[i] <= T2.activation.maxTokensInt[i] then (94) [----] T2.activation.active := false; (94) [----] end if; (94) [----] elseif true then (94) [----] if not (T2.activation.arcWeightOut[i] + T2.activation.tOut[i]) - T2.activation.maxTokens[i] <= 1e-9 then (94) [----] T2.activation.active := false; (94) [----] end if; (94) [----] end if; (94) [----] end for; (94) [----] T2.activation.active := T2.activation.active and true; (95) [ALGO] (1) ($RES_SIM_22) (95) [----] T1.activation.active := true; (95) [----] for i in 1:1 loop (95) [----] if T1.activation.disPlaceIn[i] then (95) [----] if (T1.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T1.activation.normalArc[i]) and not T1.activation.tIntIn[i] - T1.activation.arcWeightIntIn[i] >= T1.activation.minTokensInt[i] then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T1.activation.tIntIn[i] > T1.activation.testValueInt[i] then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T1.activation.tIntIn[i] >= T1.activation.testValueInt[i] then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T1.activation.tIntIn[i] < T1.activation.testValueInt[i] then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T1.activation.tIntIn[i] <= T1.activation.testValueInt[i] then (95) [----] T1.activation.active := false; (95) [----] end if; (95) [----] elseif true then (95) [----] if (T1.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T1.activation.normalArc[i]) and not T1.activation.tIn[i] - (T1.activation.minTokens[i] + T1.activation.arcWeightIn[i]) >= (-1e-9) then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T1.activation.tIn[i] > T1.activation.testValue[i] then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T1.activation.tIn[i] >= T1.activation.testValue[i] then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T1.activation.tIn[i] < T1.activation.testValue[i] then (95) [----] T1.activation.active := false; (95) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T1.activation.tIn[i] <= T1.activation.testValue[i] then (95) [----] T1.activation.active := false; (95) [----] end if; (95) [----] end if; (95) [----] end for; (95) [----] T1.activation.active := T1.activation.active and true; (96) [ALGO] (24) ($RES_SIM_23) (96) [----] P1.enableIn.TEin := fill(false, 2); (96) [----] P1.enableIn.arcWeightSum := 0; (96) [----] when P1.enableIn.delayPassed then (96) [----] P1.enableIn.arcWeightSum := $FUN_15; (96) [----] if P1.enableOut.t + P1.enableIn.arcWeightSum <= P1.maxTokens then (96) [----] P1.enableIn.TEin := P1.enableIn.TAein; (96) [----] elseif true then (96) [----] if P1.enablingType == PNlib.Types.EnablingType.Priority then (96) [----] P1.enableIn.arcWeightSum := 0; (96) [----] for i in 1:2 loop (96) [----] P1.enableIn.Index := $FUN_16; (96) [----] if ((P1.enableIn.Index > 0 and P1.enableIn.TAein[P1.enableIn.Index]) and P1.enableIn.disTransition[P1.enableIn.Index]) and P1.enableOut.t + P1.enableIn.arcWeight[P1.enableIn.Index] + P1.enableIn.arcWeightSum <= P1.maxTokens then (96) [----] P1.enableIn.TEin[P1.enableIn.Index] := true; (96) [----] P1.enableIn.arcWeightSum := P1.enableIn.arcWeightSum + P1.enableIn.arcWeight[P1.enableIn.Index]; (96) [----] end if; (96) [----] end for; (96) [----] for i in 1:2 loop (96) [----] P1.enableIn.Index := $FUN_16; (96) [----] if (P1.enableIn.TAein[P1.enableIn.Index] and not P1.enableIn.disTransition[P1.enableIn.Index]) and P1.enableOut.t + P1.enableIn.arcWeight[P1.enableIn.Index] + P1.enableIn.arcWeightSum <= P1.maxTokens then (96) [----] P1.enableIn.TEin[P1.enableIn.Index] := true; (96) [----] P1.enableIn.arcWeightSum := P1.enableIn.arcWeightSum + P1.enableIn.arcWeight[P1.enableIn.Index]; (96) [----] end if; (96) [----] end for; (96) [----] elseif P1.enablingType == PNlib.Types.EnablingType.Probability then (96) [----] P1.enableIn.arcWeightSum := 0; (96) [----] P1.enableIn.remTAin := fill(0, 2); (96) [----] P1.enableIn.nremTAin := 0; (96) [----] for i in 1:2 loop (96) [----] if P1.enableIn.TAein[i] and P1.enableIn.disTransition[i] then (96) [----] P1.enableIn.nremTAin := P1.enableIn.nremTAin + 1; (96) [----] P1.enableIn.remTAin[P1.enableIn.nremTAin] := i; (96) [----] end if; (96) [----] end for; (96) [----] P1.enableIn.nTAin := P1.enableIn.nremTAin; (96) [----] P1.enableIn.sumEnablingProbTAin := $FUN_17; (96) [----] P1.enableIn.cumEnablingProb := fill(0.0, 2); (96) [----] P1.enableIn.cumEnablingProb[1] := P1.enableIn.enablingProb[P1.enableIn.remTAin[1]] / P1.enableIn.sumEnablingProbTAin; (96) [----] for j in 2:P1.enableIn.nremTAin loop (96) [----] P1.enableIn.cumEnablingProb[j] := P1.enableIn.cumEnablingProb[j - 1] + P1.enableIn.enablingProb[P1.enableIn.remTAin[j]] / P1.enableIn.sumEnablingProbTAin; (96) [----] end for; (96) [----] for i in 1:P1.enableIn.nTAin loop (96) [----] (P1.enableIn.randNum, P1.enableIn.state128) := ($FUN_18, $FUN_19); (96) [----] P1.enableIn.endWhile := false; (96) [----] P1.enableIn.k := 1; (96) [----] while P1.enableIn.k <= P1.enableIn.nremTAin and not P1.enableIn.endWhile then (96) [----] if P1.enableIn.randNum <= P1.enableIn.cumEnablingProb[P1.enableIn.k] then (96) [----] P1.enableIn.posTE := P1.enableIn.remTAin[P1.enableIn.k]; (96) [----] P1.enableIn.endWhile := true; (96) [----] elseif true then (96) [----] P1.enableIn.k := P1.enableIn.k + 1; (96) [----] end if; (96) [----] end while; (96) [----] if P1.enableIn.arcWeightSum + P1.enableOut.t + P1.enableIn.arcWeight[P1.enableIn.posTE] <= P1.maxTokens then (96) [----] P1.enableIn.arcWeightSum := P1.enableIn.arcWeightSum + P1.enableIn.arcWeight[P1.enableIn.posTE]; (96) [----] P1.enableIn.TEin[P1.enableIn.posTE] := true; (96) [----] end if; (96) [----] P1.enableIn.nremTAin := P1.enableIn.nremTAin - 1; (96) [----] if P1.enableIn.nremTAin > 0 then (96) [----] P1.enableIn.remTAin := $FUN_20; (96) [----] P1.enableIn.cumEnablingProb := fill(0.0, 2); (96) [----] P1.enableIn.sumEnablingProbTAin := $FUN_17; (96) [----] if P1.enableIn.sumEnablingProbTAin > 0.0 then (96) [----] P1.enableIn.cumEnablingProb[1] := P1.enableIn.enablingProb[P1.enableIn.remTAin[1]] / P1.enableIn.sumEnablingProbTAin; (96) [----] for j in 2:P1.enableIn.nremTAin loop (96) [----] P1.enableIn.cumEnablingProb[j] := P1.enableIn.cumEnablingProb[j - 1] + P1.enableIn.enablingProb[P1.enableIn.remTAin[j]] / P1.enableIn.sumEnablingProbTAin; (96) [----] end for; (96) [----] elseif true then (96) [----] P1.enableIn.cumEnablingProb[1:P1.enableIn.nremTAin] := fill(1.0 / P1.enableIn.nremTAin, P1.enableIn.nremTAin); (96) [----] end if; (96) [----] end if; (96) [----] end for; (96) [----] elseif true then (96) [----] if P1.benefitType == PNlib.Types.BenefitType.Greedy then (96) [----] P1.enableIn.TEin := $FUN_21; (96) [----] elseif P1.benefitType == PNlib.Types.BenefitType.BenefitQuotient then (96) [----] P1.enableIn.TEin := $FUN_22; (96) [----] elseif true then (96) [----] P1.enableIn.arcWeightSum := 0; (96) [----] P1.enableIn.benefitMax := $FUN_23; (96) [----] P1.enableIn.benefitLimit := 0.0; (96) [----] (P1.enableIn.TEin, P1.enableIn.arcWeightSum, P1.enableIn.benefitMax, P1.enableIn.valid, P1.enableIn.benefitLimit) := ($FUN_24, $FUN_25, $FUN_26, $FUN_27, $FUN_28); (96) [----] end if; (96) [----] end if; (96) [----] end if; (96) [----] end when; (96) [----] for i in 1:2 loop (96) [----] P1.enableIn.TEin_[i] := P1.enableIn.TEin[i] and P1.enableIn.active[i]; (96) [----] end for; (97) [ALGO] (20) ($RES_SIM_24) (97) [----] P1.enableOut.TEout := fill(false, 1); (97) [----] P1.enableOut.arcWeightSum := 0; (97) [----] for i in 1:1 loop (97) [----] if (P1.enableOut.TAout[i] and not P1.enableOut.disTransition[i]) and P1.enableOut.t - (P1.enableOut.arcWeight[i] + P1.enableOut.arcWeightSum) >= P1.minTokens then (97) [----] P1.enableOut.TEout[i] := true; (97) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[i]; (97) [----] end if; (97) [----] end for; (97) [----] when P1.enableOut.delayPassed or P1.enableOut.activeCon then (97) [----] P1.enableOut.arcWeightSum := $FUN_1; (97) [----] if P1.enableOut.t - P1.enableOut.arcWeightSum >= P1.minTokens then (97) [----] P1.enableOut.TEout := P1.enableOut.TAout; (97) [----] elseif true then (97) [----] if P1.enablingType == PNlib.Types.EnablingType.Priority then (97) [----] P1.enableOut.arcWeightSum := 0; (97) [----] for i in 1:1 loop (97) [----] P1.enableOut.Index := $FUN_2; (97) [----] if ((P1.enableOut.Index > 0 and P1.enableOut.TAout[P1.enableOut.Index]) and P1.enableOut.disTransition[P1.enableOut.Index]) and P1.enableOut.t - (P1.enableOut.arcWeight[P1.enableOut.Index] + P1.enableOut.arcWeightSum) >= P1.minTokens then (97) [----] P1.enableOut.TEout[P1.enableOut.Index] := true; (97) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.Index]; (97) [----] end if; (97) [----] end for; (97) [----] for i in 1:1 loop (97) [----] P1.enableOut.Index := $FUN_2; (97) [----] if (P1.enableOut.TAout[P1.enableOut.Index] and not P1.enableOut.disTransition[P1.enableOut.Index]) and P1.enableOut.t - (P1.enableOut.arcWeight[P1.enableOut.Index] + P1.enableOut.arcWeightSum) >= P1.minTokens then (97) [----] P1.enableOut.TEout[P1.enableOut.Index] := true; (97) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.Index]; (97) [----] end if; (97) [----] end for; (97) [----] elseif P1.enablingType == PNlib.Types.EnablingType.Probability then (97) [----] P1.enableOut.remTAout := fill(0, 1); (97) [----] P1.enableOut.nremTAout := 0; (97) [----] P1.enableOut.arcWeightSum := 0; (97) [----] for i in 1:1 loop (97) [----] if P1.enableOut.TAout[i] and P1.enableOut.disTransition[i] then (97) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout + 1; (97) [----] P1.enableOut.remTAout[P1.enableOut.nremTAout] := i; (97) [----] end if; (97) [----] end for; (97) [----] P1.enableOut.nTAout := P1.enableOut.nremTAout; (97) [----] if P1.enableOut.nTAout > 0 then (97) [----] P1.enableOut.sumEnablingProbTAout := $FUN_3; (97) [----] P1.enableOut.cumEnablingProb := fill(0.0, 1); (97) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (97) [----] for j in 2:P1.enableOut.nremTAout loop (97) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (97) [----] end for; (97) [----] for i in 1:P1.enableOut.nTAout loop (97) [----] (P1.enableOut.randNum, P1.enableOut.state128) := ($FUN_4, $FUN_5); (97) [----] P1.enableOut.endWhile := false; (97) [----] P1.enableOut.k := 1; (97) [----] while P1.enableOut.k <= P1.enableOut.nremTAout and not P1.enableOut.endWhile then (97) [----] if P1.enableOut.randNum <= P1.enableOut.cumEnablingProb[P1.enableOut.k] then (97) [----] P1.enableOut.posTE := P1.enableOut.remTAout[P1.enableOut.k]; (97) [----] P1.enableOut.endWhile := true; (97) [----] elseif true then (97) [----] P1.enableOut.k := P1.enableOut.k + 1; (97) [----] end if; (97) [----] end while; (97) [----] if P1.enableOut.t - (P1.enableOut.arcWeight[P1.enableOut.posTE] + P1.enableOut.arcWeightSum) >= P1.minTokens then (97) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.posTE]; (97) [----] P1.enableOut.TEout[P1.enableOut.posTE] := true; (97) [----] end if; (97) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout - 1; (97) [----] if P1.enableOut.nremTAout > 0 then (97) [----] P1.enableOut.remTAout := $FUN_6; (97) [----] P1.enableOut.cumEnablingProb := fill(0.0, 1); (97) [----] P1.enableOut.sumEnablingProbTAout := $FUN_3; (97) [----] if P1.enableOut.sumEnablingProbTAout > 0.0 then (97) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (97) [----] for j in 2:P1.enableOut.nremTAout loop (97) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (97) [----] end for; (97) [----] elseif true then (97) [----] P1.enableOut.cumEnablingProb[1:P1.enableOut.nremTAout] := fill(1.0 / P1.enableOut.nremTAout, P1.enableOut.nremTAout); (97) [----] end if; (97) [----] end if; (97) [----] end for; (97) [----] end if; (97) [----] for i in 1:1 loop (97) [----] if (P1.enableOut.TAout[i] and not P1.enableOut.disTransition[i]) and P1.enableOut.t - (P1.enableOut.arcWeight[i] + P1.enableOut.arcWeightSum) >= P1.minTokens then (97) [----] P1.enableOut.TEout[i] := true; (97) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[i]; (97) [----] end if; (97) [----] end for; (97) [----] elseif true then (97) [----] if P1.benefitType == PNlib.Types.BenefitType.Greedy then (97) [----] P1.enableOut.TEout := $FUN_7; (97) [----] elseif P1.benefitType == PNlib.Types.BenefitType.BenefitQuotient then (97) [----] P1.enableOut.TEout := $FUN_8; (97) [----] elseif true then (97) [----] P1.enableOut.arcWeightSum := 0; (97) [----] P1.enableOut.benefitMax := $FUN_9; (97) [----] P1.enableOut.benefitLimit := 0.0; (97) [----] (P1.enableOut.TEout, P1.enableOut.arcWeightSum, P1.enableOut.benefitMax, P1.enableOut.valid, P1.enableOut.benefitLimit) := ($FUN_10, $FUN_11, $FUN_12, $FUN_13, $FUN_14); (97) [----] end if; (97) [----] end if; (97) [----] end if; (97) [----] end when; (97) [----] for i in 1:1 loop (97) [----] P1.enableOut.TEout_[i] := P1.enableOut.TEout[i] and P1.enableOut.TAout[i]; (97) [----] end for; (98) [ALGO] (1) ($RES_SIM_25) (98) [----] P1.firingSumOut.firingSum := 0; (98) [----] for i in 1:1 loop (98) [----] if P1.firingSumOut.fire[i] then (98) [----] P1.firingSumOut.firingSum := P1.firingSumOut.firingSum + P1.firingSumOut.arcWeight[i]; (98) [----] end if; (98) [----] end for; (99) [ALGO] (1) ($RES_SIM_26) (99) [----] P1.firingSumIn.firingSum := 0; (99) [----] for i in 1:2 loop (99) [----] if P1.firingSumIn.fire[i] then (99) [----] P1.firingSumIn.firingSum := P1.firingSumIn.firingSum + P1.firingSumIn.arcWeight[i]; (99) [----] end if; (99) [----] end for; (100) [ALGO] (2) ($RES_SIM_27) (100) [----] P1.enableIn.delayPassed := false; (100) [----] P1.delayPassedIn.numtrue := 0; (100) [----] for i in 1:2 loop (100) [----] P1.enableIn.delayPassed := P1.enableIn.delayPassed or P1.delayPassedIn.vec[i]; (100) [----] if P1.delayPassedIn.vec[i] then (100) [----] P1.delayPassedIn.numtrue := P1.delayPassedIn.numtrue + 1; (100) [----] end if; (100) [----] end for; (101) [ALGO] (2) ($RES_SIM_28) (101) [----] P1.enableOut.delayPassed := false; (101) [----] P1.delayPassedOut.numtrue := 0; (101) [----] for i in 1:1 loop (101) [----] P1.enableOut.delayPassed := P1.enableOut.delayPassed or P1.delayPassedOut.vec[i]; (101) [----] if P1.delayPassedOut.vec[i] then (101) [----] P1.delayPassedOut.numtrue := P1.delayPassedOut.numtrue + 1; (101) [----] end if; (101) [----] end for; (102) [ALGO] (1) ($RES_SIM_29) (102) [----] P1.enableOut.activeCon := false; (102) [----] for i in 1:1 loop (102) [----] P1.enableOut.activeCon := P1.enableOut.activeCon or change(P1.activeConOut.vec[i]); (102) [----] end for; (103) [ARRY] (3) P3.color = if settings.animatePlace then if $SEV_186 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_33) (104) [SCAL] (1) P3.tokenscale = P3.t * settings.scale ($RES_SIM_34) (105) [SCAL] (1) P3.levelCon = (settings.M * P3.t) / P3.N ($RES_SIM_35) (106) [WHEN] (1)when {$SEV_187, $SEV_188} then (106) [----] P3.t := ($PRE.P3.firingSumIn.firingSum + P3.enableOut.t) - $PRE.P3.firingSumOut.firingSum (106) [----] else when pre(false) then (106) [----] P3.t := P3.reStartTokens (106) [----] end when; (107) [SCAL] (1) P3.tokeninout = $SEV_189 ($RES_SIM_37) (108) [SCAL] (1) P3.enableOut.t = $TEV_2 ($RES_SIM_38) (109) [ARRY] (3) P2.color = if settings.animatePlace then if $SEV_193 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_42) (110) [SCAL] (1) P2.tokenscale = P2.t * settings.scale ($RES_SIM_43) (111) [SCAL] (1) P2.levelCon = (settings.M * P2.t) / P2.N ($RES_SIM_44) (112) [WHEN] (1)when {$SEV_194, $SEV_195} then (112) [----] P2.t := ($PRE.P2.firingSumIn.firingSum + P2.enableOut.t) - $PRE.P2.firingSumOut.firingSum (112) [----] else when pre(false) then (112) [----] P2.t := P2.reStartTokens (112) [----] end when; (113) [SCAL] (1) P2.tokeninout = $SEV_196 ($RES_SIM_46) (114) [SCAL] (1) P2.enableOut.t = $TEV_3 ($RES_SIM_47) (115) [-IF-] (1)if T3.disPlaceOut[1] then (115) [----] [SCAL] (1) T3.arcWeightIntOut[1] = integer(T3.arcWeightOut[1]) ($RES_SIM_49) (115) [----] else (115) [----] [SCAL] (1) T3.arcWeightIntOut[1] = 1 ($RES_SIM_50) (115) [----] end if; (116) [SCAL] (1) T1.inPlaces[1].disTransition = true ($RES_BND_304) (117) [ARRY] (1) T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} ($RES_BND_305) (118) [ARRY] (1) T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} ($RES_BND_306) (119) [ARRY] (1) T1.inPlaces.fire = {T1.fire} ($RES_BND_307) (120) [ARRY] (1) T1.inPlaces.active = {T1.delayPassed} ($RES_BND_308) (121) [ARRY] (1) T1.inPlaces.normalArc = {T1.normalArc[1]} ($RES_BND_309) (122) [FOR-] (2) ($RES_BND_224) (122) [----] for $i1 in 1:2 loop (122) [----] [SCAL] (1) P1.inTransition[$i1].disPlace = true ($RES_BND_225) (122) [----] end for; (123) [FOR-] (2) ($RES_BND_228) (123) [----] for $i1 in 1:2 loop (123) [----] [SCAL] (1) P1.inTransition[$i1].enable = P1.enableIn.TEin_[$i1] ($RES_BND_229) (123) [----] end for; (124) [-IF-] (1)if T3.disPlaceIn[1] then (124) [----] [SCAL] (1) T3.arcWeightIntIn[1] = integer(T3.arcWeightIn[1]) ($RES_SIM_56) (124) [----] else (124) [----] [SCAL] (1) T3.arcWeightIntIn[1] = 1 ($RES_SIM_57) (124) [----] end if; (125) [ARRY] (1) T1.inPlaces.testValueint = {T1.testValueInt[1]} ($RES_BND_310) (126) [ARRY] (1) T1.inPlaces.testValue = {T1.testValue[1]} ($RES_BND_311) (127) [ARRY] (1) T1.inPlaces.arcType = {T1.arcType[1]} ($RES_BND_312) (128) [ARRY] (1) T1.inPlaces.disPlace = {T1.disPlaceIn[1]} ($RES_BND_313) (129) [ARRY] (1) T1.inPlaces.enable = {T1.enableIn[1]} ($RES_BND_314) (130) [ARRY] (1) T1.inPlaces.minTokensint = {T1.minTokensInt[1]} ($RES_BND_315) (131) [ARRY] (1) T1.inPlaces.minTokens = {T1.minTokens[1]} ($RES_BND_316) (132) [ARRY] (1) T1.inPlaces.tint = {T1.tIntIn[1]} ($RES_BND_317) (133) [ARRY] (1) T1.inPlaces.t = {T1.tIn[1]} ($RES_BND_318) (134) [SCAL] (1) T1.delayPassed = $SEV_214 ($RES_SIM_101) (135) [SCAL] (1) $FUN_1 = PNlib.Functions.OddsAndEnds.conditionalSumInt(P1.enableOut.arcWeight, P1.enableOut.TAout) ($RES_$AUX_584) (136) [WHEN] (1)when T1.active then (136) [----] T1.firingTime := time + T1.delay_ (136) [----] end when; (137) [SCAL] (1) $FUN_2 = Modelica.Math.Vectors.find(i, P1.enableOut.enablingPrio, 0.0) ($RES_$AUX_583) (138) [SCAL] (1) T1.active = $SEV_215 ($RES_SIM_103) (139) [SCAL] (1) $FUN_3 = sum(P1.enableOut.enablingProb[P1.enableOut.remTAout[1:P1.enableOut.nremTAout]]) ($RES_$AUX_582) (140) [SCAL] (1) T3.inPlaces[1].disTransition = true ($RES_BND_404) (141) [TUPL] (5) ($FUN_4, $FUN_5) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_8) ($RES_$AUX_581) (142) [ARRY] (1) T3.inPlaces.arcWeightint = {T3.arcWeightIntIn[1]} ($RES_BND_405) (143) [FOR-] (2) ($RES_BND_230) (143) [----] for $i1 in 1:2 loop (143) [----] [SCAL] (1) P1.inTransition[$i1].maxTokensint = P1.maxTokens ($RES_BND_231) (143) [----] end for; (144) [ARRY] (1) $FUN_6 = PNlib.Functions.OddsAndEnds.deleteElementInt(P1.enableOut.remTAout, P1.enableOut.k) ($RES_$AUX_580) (145) [ARRY] (1) T3.inPlaces.arcWeight = {T3.arcWeightIn[1]} ($RES_BND_406) (146) [FOR-] (2) ($RES_BND_232) (146) [----] for $i1 in 1:2 loop (146) [----] [SCAL] (1) P1.inTransition[$i1].maxTokens = P1.maxTokens ($RES_BND_233) (146) [----] end for; (147) [ARRY] (1) T3.inPlaces.fire = {T3.fire} ($RES_BND_407) (148) [ARRY] (1) T3.inPlaces.active = {T3.delayPassed} ($RES_BND_408) (149) [ARRY] (3) P1.color = if settings.animatePlace then if $SEV_221 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_109) (150) [ARRY] (1) T3.inPlaces.normalArc = {T3.normalArc[1]} ($RES_BND_409) (151) [FOR-] (2) ($RES_BND_234) (151) [----] for $i1 in 1:2 loop (151) [----] [SCAL] (1) P1.inTransition[$i1].tint = P1.enableOut.t ($RES_BND_235) (151) [----] end for; (152) [FOR-] (2) ($RES_BND_236) (152) [----] for $i1 in 1:2 loop (152) [----] [SCAL] (1) P1.inTransition[$i1].t = P1.enableOut.t ($RES_BND_237) (152) [----] end for; (153) [FOR-] (2) ($RES_BND_238) (153) [----] for $i1 in 1:2 loop (153) [----] [SCAL] (1) P1.inTransition[$i1].disTransition = P1.disTransitionIn[$i1] ($RES_BND_239) (153) [----] end for; (154) [ARRY] (3) T3.color = if $SEV_201 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_62) (155) [WHEN] (1)when T3.fire then (155) [----] T3.fireTime := time (155) [----] end when; (156) [WHEN] (1)when T3.fire then (156) [----] T3.ani := true (156) [----] end when; (157) [SCAL] (1) T3.delayPassed = $SEV_202 ($RES_SIM_66) (158) [WHEN] (1)when T3.active then (158) [----] T3.firingTime := time + T3.delay_ (158) [----] end when; (159) [SCAL] (1) T1.delay_ = 1.0 ($RES_BND_321) (160) [SCAL] (1) T3.active = $SEV_203 ($RES_SIM_68) (161) [ARRY] (1) T1.activation.tIn = T1.tIn ($RES_BND_322) (162) [-IF-] (1)if T2.disPlaceOut[1] then (162) [----] [SCAL] (1) T2.arcWeightIntOut[1] = integer(T2.arcWeightOut[1]) ($RES_SIM_70) (162) [----] else (162) [----] [SCAL] (1) T2.arcWeightIntOut[1] = 1 ($RES_SIM_71) (162) [----] end if; (163) [ARRY] (1) T1.activation.tIntIn = T1.tIntIn ($RES_BND_323) (164) [ARRY] (1) T1.activation.arcType = T1.arcType ($RES_BND_324) (165) [ARRY] (1) T1.activation.arcWeightIn = T1.arcWeightIn ($RES_BND_325) (166) [ARRY] (1) T1.activation.arcWeightIntIn = T1.arcWeightIntIn ($RES_BND_326) (167) [ARRY] (1) T1.activation.minTokens = T1.minTokens ($RES_BND_327) (168) [ARRY] (1) T1.activation.minTokensInt = T1.minTokensInt ($RES_BND_328) (169) [ARRY] (1) $FUN_7 = PNlib.Functions.Enabling.benefitGreedyDisOut(1, P1.enableOut.arcWeight, P1.enableOut.t, P1.minTokens, P1.enableOut.TAout, P1.enableOut.enablingBene, P1.enableOut.disTransition) ($RES_$AUX_579) (170) [ARRY] (1) $FUN_8 = PNlib.Functions.Enabling.benefitQuotientDisOut(1, P1.enableOut.arcWeight, P1.enableOut.t, P1.minTokens, P1.enableOut.TAout, P1.enableOut.enablingBene, P1.enableOut.disTransition) ($RES_$AUX_578) (171) [SCAL] (1) $FUN_9 = sum(P1.enableOut.enablingBene) ($RES_$AUX_577) (172) [TUPL] (5) ($FUN_10, $FUN_11, $FUN_12, $FUN_13, $FUN_14) = PNlib.Functions.Enabling.benefitBaBDisOut(1, 1, P1.enableOut.enablingBene, P1.enableOut.arcWeight, P1.enableOut.enablingBene / P1.enableOut.arcWeight, P1.enableOut.t, P1.enableOut.benefitMax, P1.minTokens, P1.enableOut.TEout, 0, P1.enableOut.benefitLimit, P1.enableOut.TAout, P1.enableOut.disTransition) ($RES_$AUX_576) (173) [SCAL] (1) P1.tokenscale = P1.t * settings.scale ($RES_SIM_110) (174) [ARRY] (1) T3.inPlaces.testValueint = {T3.testValueInt[1]} ($RES_BND_410) (175) [SCAL] (1) $FUN_15 = PNlib.Functions.OddsAndEnds.conditionalSumInt(P1.enableIn.arcWeight, P1.enableIn.TAein) ($RES_$AUX_575) (176) [ARRY] (1) T3.inPlaces.testValue = {T3.testValue[1]} ($RES_BND_411) (177) [SCAL] (1) P1.levelCon = (settings.M * P1.t) / P1.N ($RES_SIM_111) (178) [SCAL] (1) $FUN_16 = Modelica.Math.Vectors.find(i, P1.enableIn.enablingPrio, 0.0) ($RES_$AUX_574) (179) [WHEN] (1)when {$SEV_222, $SEV_223} then (179) [----] P1.t := ($PRE.P1.firingSumIn.firingSum + P1.enableOut.t) - $PRE.P1.firingSumOut.firingSum (179) [----] else when pre(false) then (179) [----] P1.t := P1.reStartTokens (179) [----] end when; (180) [ARRY] (1) T3.inPlaces.arcType = {T3.arcType[1]} ($RES_BND_412) (181) [SCAL] (1) $FUN_17 = sum(P1.enableIn.enablingProb[P1.enableIn.remTAin[1:P1.enableIn.nremTAin]]) ($RES_$AUX_573) (182) [SCAL] (1) P1.tokeninout = $SEV_224 ($RES_SIM_113) (183) [ARRY] (1) T3.inPlaces.disPlace = {T3.disPlaceIn[1]} ($RES_BND_413) (184) [TUPL] (5) ($FUN_18, $FUN_19) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_9) ($RES_$AUX_572) (185) [SCAL] (1) P1.enableOut.t = $TEV_4 ($RES_SIM_114) (186) [ARRY] (1) T3.inPlaces.enable = {T3.enableIn[1]} ($RES_BND_414) (187) [ARRY] (2) $FUN_20 = PNlib.Functions.OddsAndEnds.deleteElementInt(P1.enableIn.remTAin, P1.enableIn.k) ($RES_$AUX_571) (188) [ARRY] (1) T3.inPlaces.minTokensint = {T3.minTokensInt[1]} ($RES_BND_415) (189) [SCAL] (1) T1.inPlaces[1].tokenInOut = P1.outTransition[1].tokenInOut ($RES_SIM_115) (190) [FOR-] (2) ($RES_BND_240) (190) [----] for $i1 in 1:2 loop (190) [----] [SCAL] (1) P1.inTransition[$i1].enabledByInPlaces = P1.enabledByInPlaces[$i1] ($RES_BND_241) (190) [----] end for; (191) [ARRY] (2) $FUN_21 = PNlib.Functions.Enabling.benefitGreedyDisIn(2, P1.enableIn.arcWeight, P1.enableOut.t, P1.maxTokens, P1.enableIn.TAein, P1.enableIn.enablingBene, P1.enableIn.disTransition) ($RES_$AUX_570) (192) [ARRY] (1) T3.inPlaces.minTokens = {T3.minTokens[1]} ($RES_BND_416) (193) [SCAL] (1) T1.inPlaces[1].tint = P1.outTransition[1].tint ($RES_SIM_116) (194) [ARRY] (1) T3.inPlaces.tint = {T3.tIntIn[1]} ($RES_BND_417) (195) [SCAL] (1) T1.inPlaces[1].testValueint = P1.outTransition[1].testValueint ($RES_SIM_117) (196) [FOR-] (2) ($RES_BND_242) (196) [----] for $i1 in 1:2 loop (196) [----] [SCAL] (1) P1.inTransition[$i1].arcWeightint = P1.arcWeightIn[$i1] ($RES_BND_243) (196) [----] end for; (197) [ARRY] (1) T3.inPlaces.t = {T3.tIn[1]} ($RES_BND_418) (198) [SCAL] (1) T1.inPlaces[1].testValue = P1.outTransition[1].testValue ($RES_SIM_118) (199) [SCAL] (1) T1.inPlaces[1].t = P1.outTransition[1].t ($RES_SIM_119) (200) [FOR-] (2) ($RES_BND_244) (200) [----] for $i1 in 1:2 loop (200) [----] [SCAL] (1) P1.inTransition[$i1].fire = P1.fireIn[$i1] ($RES_BND_245) (200) [----] end for; (201) [FOR-] (2) ($RES_BND_246) (201) [----] for $i1 in 1:2 loop (201) [----] [SCAL] (1) P1.inTransition[$i1].active = P1.activeIn[$i1] ($RES_BND_247) (201) [----] end for; (202) [SCAL] (1) P1.outTransition[1].normalArc = false ($RES_BND_248) (203) [SCAL] (1) P1.outTransition[1].testValueint = -1 ($RES_BND_249) (204) [SCAL] (1) P2.outTransition[1].normalArc = T2.inPlaces[1].normalArc ($RES_SIM_202) (205) [SCAL] (1) P2.outTransition[1].minTokensint = T2.inPlaces[1].minTokensint ($RES_SIM_203) (206) [-IF-] (1)if T2.disPlaceIn[1] then (206) [----] [SCAL] (1) T2.arcWeightIntIn[1] = integer(T2.arcWeightIn[1]) ($RES_SIM_77) (206) [----] else (206) [----] [SCAL] (1) T2.arcWeightIntIn[1] = 1 ($RES_SIM_78) (206) [----] end if; (207) [SCAL] (1) P3.outTransition[1].normalArc = false ($RES_BND_504) (208) [SCAL] (1) P2.outTransition[1].minTokens = T2.inPlaces[1].minTokens ($RES_SIM_204) (209) [SCAL] (1) P3.outTransition[1].testValueint = -1 ($RES_BND_505) (210) [ARRY] (1) T1.activation.disPlaceIn = T1.disPlaceIn ($RES_BND_330) (211) [SCAL] (1) P3.outTransition[1].testValue = -1.0 ($RES_BND_506) (212) [ARRY] (1) T1.activation.normalArc = T1.normalArc ($RES_BND_331) (213) [ARRY] (1) T1.activation.testValue = T1.testValue ($RES_BND_332) (214) [ARRY] (1) P3.outTransition.tokenInOut = {$TEV_5} ($RES_BND_507) (215) [SCAL] (1) P2.outTransition[1].fire = T2.inPlaces[1].fire ($RES_SIM_207) (216) [ARRY] (1) T1.activation.testValueInt = T1.testValueInt ($RES_BND_333) (217) [SCAL] (1) P2.outTransition[1].enable = T2.inPlaces[1].enable ($RES_SIM_209) (218) [SCAL] (1) T2.arcWeightIn[1] = 1.0 ($RES_BND_337) (219) [SCAL] (1) T2.arcWeightOut[1] = 1.0 ($RES_BND_338) (220) [ARRY] (2) $FUN_22 = PNlib.Functions.Enabling.benefitQuotientDisIn(2, P1.enableIn.arcWeight, P1.enableOut.t, P1.maxTokens, P1.enableIn.TAein, P1.enableIn.enablingBene, P1.enableIn.disTransition) ($RES_$AUX_569) (221) [SCAL] (1) $FUN_23 = sum(P1.enableIn.enablingBene) ($RES_$AUX_568) (222) [TUPL] (6) ($FUN_24, $FUN_25, $FUN_26, $FUN_27, $FUN_28) = PNlib.Functions.Enabling.benefitBaBDisIn(1, 2, P1.enableIn.enablingBene, P1.enableIn.arcWeight, P1.enableIn.enablingBene / P1.enableIn.arcWeight, P1.enableOut.t, P1.enableIn.benefitMax, P1.maxTokens, P1.enableIn.TEin, 0, P1.enableIn.benefitLimit, P1.enableIn.TAein, P1.enableIn.disTransition) ($RES_$AUX_567) (223) [SCAL] (1) $FUN_29 = PNlib.Functions.OddsAndEnds.conditionalSumInt(P2.enableOut.arcWeight, P2.enableOut.TAout) ($RES_$AUX_566) (224) [SCAL] (1) $FUN_30 = Modelica.Math.Vectors.find(i, P2.enableOut.enablingPrio, 0.0) ($RES_$AUX_565) (225) [SCAL] (1) $FUN_31 = sum(P2.enableOut.enablingProb[P2.enableOut.remTAout[1:P2.enableOut.nremTAout]]) ($RES_$AUX_564) (226) [SCAL] (1) T3.outPlaces[1].disTransition = true ($RES_BND_422) (227) [SCAL] (1) T1.inPlaces[1].normalArc = P1.outTransition[1].normalArc ($RES_SIM_122) (228) [TUPL] (5) ($FUN_32, $FUN_33) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_10) ($RES_$AUX_563) (229) [ARRY] (1) T3.outPlaces.enabledByInPlaces = {T3.enabledByInPlaces} ($RES_BND_423) (230) [SCAL] (1) T1.inPlaces[1].minTokensint = P1.outTransition[1].minTokensint ($RES_SIM_123) (231) [ARRY] (1) $FUN_34 = PNlib.Functions.OddsAndEnds.deleteElementInt(P2.enableOut.remTAout, P2.enableOut.k) ($RES_$AUX_562) (232) [ARRY] (1) T3.outPlaces.arcWeightint = {T3.arcWeightIntOut[1]} ($RES_BND_424) (233) [SCAL] (1) T1.inPlaces[1].minTokens = P1.outTransition[1].minTokens ($RES_SIM_124) (234) [ARRY] (1) $FUN_35 = PNlib.Functions.Enabling.benefitGreedyDisOut(1, P2.enableOut.arcWeight, P2.enableOut.t, P2.minTokens, P2.enableOut.TAout, P2.enableOut.enablingBene, P2.enableOut.disTransition) ($RES_$AUX_561) (235) [SCAL] (1) P1.outTransition[1].testValue = -1.0 ($RES_BND_250) (236) [ARRY] (1) T3.outPlaces.arcWeight = {T3.arcWeightOut[1]} ($RES_BND_425) (237) [ARRY] (1) $FUN_36 = PNlib.Functions.Enabling.benefitQuotientDisOut(1, P2.enableOut.arcWeight, P2.enableOut.t, P2.minTokens, P2.enableOut.TAout, P2.enableOut.enablingBene, P2.enableOut.disTransition) ($RES_$AUX_560) (238) [ARRY] (1) T3.outPlaces.fire = {T3.fire} ($RES_BND_426) (239) [ARRY] (1) P1.outTransition.tokenInOut = {$TEV_7} ($RES_BND_251) (240) [ARRY] (1) T3.outPlaces.active = {T3.delayPassed} ($RES_BND_427) (241) [SCAL] (1) T1.inPlaces[1].fire = P1.outTransition[1].fire ($RES_SIM_127) (242) [ARRY] (1) T3.outPlaces.disPlace = {T3.disPlaceOut[1]} ($RES_BND_428) (243) [ARRY] (1) T3.outPlaces.enable = {T3.enableOut[1]} ($RES_BND_429) (244) [SCAL] (1) T1.inPlaces[1].enable = P1.outTransition[1].enable ($RES_SIM_129) (245) [SCAL] (1) P1.outTransition[1].arcType = PNlib.Types.ArcType.NormalArc ($RES_BND_254) (246) [SCAL] (1) P1.outTransition[1].disPlace = true ($RES_BND_255) (247) [ARRY] (1) P1.outTransition.enable = {P1.enableOut.TEout_[1]} ($RES_BND_257) (248) [ARRY] (1) P1.outTransition.minTokensint = {P1.minTokens} ($RES_BND_258) (249) [SCAL] (1) P3.outTransition[1].arcType = PNlib.Types.ArcType.NormalArc ($RES_BND_510) (250) [SCAL] (1) P2.outTransition[1].disTransition = T2.inPlaces[1].disTransition ($RES_SIM_210) (251) [ARRY] (1) P1.outTransition.minTokens = {P1.minTokens} ($RES_BND_259) (252) [SCAL] (1) P3.outTransition[1].disPlace = true ($RES_BND_511) (253) [SCAL] (1) P2.outTransition[1].disPlace = T2.inPlaces[1].disPlace ($RES_SIM_211) (254) [ARRY] (3) T2.color = if $SEV_208 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_83) (255) [WHEN] (1)when T2.fire then (255) [----] T2.fireTime := time (255) [----] end when; (256) [ARRY] (1) P3.outTransition.enable = {P3.enableOut.TEout_[1]} ($RES_BND_513) (257) [SCAL] (1) P2.outTransition[1].arcWeightint = T2.inPlaces[1].arcWeightint ($RES_SIM_213) (258) [WHEN] (1)when T2.fire then (258) [----] T2.ani := true (258) [----] end when; (259) [ARRY] (1) P3.outTransition.minTokensint = {P3.minTokens} ($RES_BND_514) (260) [SCAL] (1) P2.outTransition[1].arcWeight = T2.inPlaces[1].arcWeight ($RES_SIM_214) (261) [ARRY] (1) P3.outTransition.minTokens = {P3.minTokens} ($RES_BND_515) (262) [SCAL] (1) P2.outTransition[1].arcType = T2.inPlaces[1].arcType ($RES_SIM_215) (263) [SCAL] (1) T2.delayPassed = $SEV_209 ($RES_SIM_87) (264) [ARRY] (1) P3.outTransition.tint = {P3.enableOut.t} ($RES_BND_516) (265) [SCAL] (1) P2.outTransition[1].active = T2.inPlaces[1].active ($RES_SIM_216) (266) [WHEN] (1)when T2.active then (266) [----] T2.firingTime := time + T2.delay_ (266) [----] end when; (267) [ARRY] (1) P3.outTransition.t = {P3.enableOut.t} ($RES_BND_517) (268) [SCAL] (1) T2.active = $SEV_210 ($RES_SIM_89) (269) [ARRY] (1) P3.outTransition.disTransition = {P3.disTransitionOut[1]} ($RES_BND_518) (270) [SCAL] (1) T2.inPlaces[1].disTransition = true ($RES_BND_343) (271) [ARRY] (1) P3.outTransition.arcWeightint = {P3.arcWeightOut[1]} ($RES_BND_519) (272) [ARRY] (1) T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} ($RES_BND_344) (273) [ARRY] (1) T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} ($RES_BND_345) (274) [ARRY] (1) T2.inPlaces.fire = {T2.fire} ($RES_BND_346) (275) [ARRY] (1) T2.inPlaces.active = {T2.delayPassed} ($RES_BND_347) (276) [ARRY] (1) T2.inPlaces.normalArc = {T2.normalArc[1]} ($RES_BND_348) (277) [ARRY] (1) T2.inPlaces.testValueint = {T2.testValueInt[1]} ($RES_BND_349) (278) [SCAL] (1) $FUN_37 = sum(P2.enableOut.enablingBene) ($RES_$AUX_559) (279) [TUPL] (5) ($FUN_38, $FUN_39, $FUN_40, $FUN_41, $FUN_42) = PNlib.Functions.Enabling.benefitBaBDisOut(1, 1, P2.enableOut.enablingBene, P2.enableOut.arcWeight, P2.enableOut.enablingBene / P2.enableOut.arcWeight, P2.enableOut.t, P2.enableOut.benefitMax, P2.minTokens, P2.enableOut.TEout, 0, P2.enableOut.benefitLimit, P2.enableOut.TAout, P2.enableOut.disTransition) ($RES_$AUX_558) (280) [SCAL] (1) $FUN_43 = PNlib.Functions.OddsAndEnds.conditionalSumInt(P3.enableOut.arcWeight, P3.enableOut.TAout) ($RES_$AUX_557) (281) [SCAL] (1) $FUN_44 = Modelica.Math.Vectors.find(i, P3.enableOut.enablingPrio, 0.0) ($RES_$AUX_556) (282) [SCAL] (1) $TEV_9 = $PRE.P1.enableIn.state128 ($RES_EVT_600) (283) [ARRY] (1) T3.outPlaces.maxTokensint = {T3.maxTokensInt[1]} ($RES_BND_430) (284) [SCAL] (1) T1.inPlaces[1].disTransition = P1.outTransition[1].disTransition ($RES_SIM_130) (285) [SCAL] (1) $FUN_45 = sum(P3.enableOut.enablingProb[P3.enableOut.remTAout[1:P3.enableOut.nremTAout]]) ($RES_$AUX_555) (286) [SCAL] (1) $TEV_10 = $PRE.P2.enableOut.state128 ($RES_EVT_601) (287) [ARRY] (1) T3.outPlaces.maxTokens = {T3.maxTokens[1]} ($RES_BND_431) (288) [SCAL] (1) T1.inPlaces[1].disPlace = P1.outTransition[1].disPlace ($RES_SIM_131) (289) [TUPL] (5) ($FUN_46, $FUN_47) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_11) ($RES_$AUX_554) (290) [SCAL] (1) $TEV_11 = $PRE.P3.enableOut.state128 ($RES_EVT_602) (291) [ARRY] (1) T3.outPlaces.tint = {T3.tIntOut[1]} ($RES_BND_432) (292) [ARRY] (1) $FUN_48 = PNlib.Functions.OddsAndEnds.deleteElementInt(P3.enableOut.remTAout, P3.enableOut.k) ($RES_$AUX_553) (293) [ARRY] (1) T3.outPlaces.t = {T3.tOut[1]} ($RES_BND_433) (294) [SCAL] (1) T1.inPlaces[1].arcWeightint = P1.outTransition[1].arcWeightint ($RES_SIM_133) (295) [ARRY] (1) $FUN_49 = PNlib.Functions.Enabling.benefitGreedyDisOut(1, P3.enableOut.arcWeight, P3.enableOut.t, P3.minTokens, P3.enableOut.TAout, P3.enableOut.enablingBene, P3.enableOut.disTransition) ($RES_$AUX_552) (296) [SCAL] (1) T1.inPlaces[1].arcWeight = P1.outTransition[1].arcWeight ($RES_SIM_134) (297) [ARRY] (1) $FUN_50 = PNlib.Functions.Enabling.benefitQuotientDisOut(1, P3.enableOut.arcWeight, P3.enableOut.t, P3.minTokens, P3.enableOut.TAout, P3.enableOut.enablingBene, P3.enableOut.disTransition) ($RES_$AUX_551) (298) [SCAL] (1) T1.inPlaces[1].arcType = P1.outTransition[1].arcType ($RES_SIM_135) (299) [ARRY] (1) P1.outTransition.tint = {P1.enableOut.t} ($RES_BND_260) (300) [SCAL] (1) $FUN_51 = sum(P3.enableOut.enablingBene) ($RES_$AUX_550) (301) [SCAL] (1) $SEV_186 = P3.tokenscale < 100.0 ($RES_EVT_606) (302) [SCAL] (1) T3.delay_ = 1.0 ($RES_BND_436) (303) [SCAL] (1) T1.inPlaces[1].active = P1.outTransition[1].active ($RES_SIM_136) (304) [ARRY] (1) P1.outTransition.t = {P1.enableOut.t} ($RES_BND_261) (305) [SCAL] (1) $SEV_187 = $PRE.P3.firingSumIn.firingSum > 0 ($RES_EVT_607) (306) [ARRY] (1) T3.activation.tIn = T3.tIn ($RES_BND_437) (307) [SCAL] (1) T3.outPlaces[1].tint = P1.inTransition[2].tint ($RES_SIM_137) (308) [ARRY] (1) P1.outTransition.disTransition = {P1.disTransitionOut[1]} ($RES_BND_262) (309) [SCAL] (1) $SEV_188 = $PRE.P3.firingSumOut.firingSum > 0 ($RES_EVT_608) (310) [ARRY] (1) T3.activation.tOut = T3.tOut ($RES_BND_438) (311) [SCAL] (1) T3.outPlaces[1].t = P1.inTransition[2].t ($RES_SIM_138) (312) [ARRY] (1) P1.outTransition.arcWeightint = {P1.arcWeightOut[1]} ($RES_BND_263) (313) [SCAL] (1) $SEV_189 = $PRE.P3.firingSumIn.firingSum > 0 or $PRE.P3.firingSumOut.firingSum > 0 ($RES_EVT_609) (314) [ARRY] (1) T3.activation.tIntIn = T3.tIntIn ($RES_BND_439) (315) [ARRY] (1) P1.outTransition.fire = {P1.fireOut[1]} ($RES_BND_264) (316) [ARRY] (1) P1.outTransition.active = {P1.activeOut[1]} ($RES_BND_265) (317) [-IF-] (1)if T1.disPlaceIn[1] then (317) [----] [SCAL] (1) T1.arcWeightIntIn[1] = integer(T1.arcWeightIn[1]) ($RES_SIM_91) (317) [----] else (317) [----] [SCAL] (1) T1.arcWeightIntIn[1] = 1 ($RES_SIM_92) (317) [----] end if; (318) [ARRY] (1) P1.activeConOut.vec = $SEV_236 ($RES_BND_267) (319) [ARRY] (1) P1.delayPassedOut.vec = $SEV_235 ($RES_BND_268) (320) [ARRY] (1) P3.outTransition.fire = {P3.fireOut[1]} ($RES_BND_520) (321) [ARRY] (2) P1.delayPassedIn.vec = $SEV_234 ($RES_BND_269) (322) [ARRY] (1) P3.outTransition.active = {P3.activeOut[1]} ($RES_BND_521) (323) [ARRY] (1) P3.activeConOut.vec = $SEV_227 ($RES_BND_523) (324) [ARRY] (1) P3.delayPassedOut.vec = $SEV_226 ($RES_BND_524) (325) [ARRY] (1) P3.firingSumOut.fire = $SEV_225 ($RES_BND_525) (326) [ARRY] (1) T2.inPlaces.testValue = {T2.testValue[1]} ($RES_BND_350) (327) [ARRY] (3) T1.color = if $SEV_213 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_97) (328) [ARRY] (1) P3.firingSumOut.arcWeight = P3.arcWeightOut ($RES_BND_526) (329) [WHEN] (1)when T1.fire then (329) [----] T1.ani := true (329) [----] end when; (330) [ARRY] (1) T2.inPlaces.arcType = {T2.arcType[1]} ($RES_BND_351) (331) [ARRY] (1) P3.enableOut.arcWeight = P3.arcWeightOut ($RES_BND_527) (332) [WHEN] (1)when T1.fire then (332) [----] T1.fireTime := time (332) [----] end when; (333) [ARRY] (1) T2.inPlaces.disPlace = {T2.disPlaceIn[1]} ($RES_BND_352) (334) [ARRY] (1) T2.inPlaces.enable = {T2.enableIn[1]} ($RES_BND_353) (335) [ARRY] (1) T2.inPlaces.minTokensint = {T2.minTokensInt[1]} ($RES_BND_354) (336) [ARRY] (1) T2.inPlaces.minTokens = {T2.minTokens[1]} ($RES_BND_355) (337) [ARRY] (1) T2.inPlaces.tint = {T2.tIntIn[1]} ($RES_BND_356) (338) [ARRY] (1) T2.inPlaces.t = {T2.tIn[1]} ($RES_BND_357) (339) [TUPL] (5) ($FUN_52, $FUN_53, $FUN_54, $FUN_55, $FUN_56) = PNlib.Functions.Enabling.benefitBaBDisOut(1, 1, P3.enableOut.enablingBene, P3.enableOut.arcWeight, P3.enableOut.enablingBene / P3.enableOut.arcWeight, P3.enableOut.t, P3.enableOut.benefitMax, P3.minTokens, P3.enableOut.TEout, 0, P3.enableOut.benefitLimit, P3.enableOut.TAout, P3.enableOut.disTransition) ($RES_$AUX_549) (340) [SCAL] (1) T3.fire = PNlib.Functions.OddsAndEnds.allTrue(T3.enableOut) ($RES_$AUX_548) (341) [SCAL] (1) T3.enabledByInPlaces = PNlib.Functions.OddsAndEnds.allTrue(T3.enableIn) ($RES_$AUX_547) (342) [SCAL] (1) T2.fire = PNlib.Functions.OddsAndEnds.allTrue(T2.enableOut) ($RES_$AUX_546) (343) [ARRY] (1) T3.activation.tIntOut = T3.tIntOut ($RES_BND_440) (344) [SCAL] (1) T2.enabledByInPlaces = PNlib.Functions.OddsAndEnds.allTrue(T2.enableIn) ($RES_$AUX_545) (345) [ARRY] (1) T3.activation.arcType = T3.arcType ($RES_BND_441) (346) [SCAL] (1) T3.outPlaces[1].maxTokensint = P1.inTransition[2].maxTokensint ($RES_SIM_141) (347) [SCAL] (1) T1.fire = PNlib.Functions.OddsAndEnds.allTrue(T1.enableIn) ($RES_$AUX_544) (348) [ARRY] (1) T3.activation.arcWeightIn = T3.arcWeightIn ($RES_BND_442) (349) [SCAL] (1) T3.outPlaces[1].maxTokens = P1.inTransition[2].maxTokens ($RES_SIM_142) (350) [SCAL] (1) $SEV_193 = P2.tokenscale < 100.0 ($RES_EVT_613) (351) [ARRY] (1) T3.activation.arcWeightIntIn = T3.arcWeightIntIn ($RES_BND_443) (352) [SCAL] (1) $SEV_194 = $PRE.P2.firingSumIn.firingSum > 0 ($RES_EVT_614) (353) [ARRY] (1) T3.activation.arcWeightOut = T3.arcWeightOut ($RES_BND_444) (354) [SCAL] (1) $SEV_195 = $PRE.P2.firingSumOut.firingSum > 0 ($RES_EVT_615) (355) [ARRY] (1) T3.activation.arcWeightIntOut = T3.arcWeightIntOut ($RES_BND_445) (356) [SCAL] (1) T3.outPlaces[1].fire = P1.inTransition[2].fire ($RES_SIM_145) (357) [ARRY] (2) P1.firingSumIn.fire = $SEV_233 ($RES_BND_270) (358) [SCAL] (1) $SEV_196 = $PRE.P2.firingSumIn.firingSum > 0 or $PRE.P2.firingSumOut.firingSum > 0 ($RES_EVT_616) (359) [ARRY] (1) T3.activation.minTokens = T3.minTokens ($RES_BND_446) (360) [SCAL] (1) T3.outPlaces[1].enabledByInPlaces = P1.inTransition[2].enabledByInPlaces ($RES_SIM_146) (361) [ARRY] (2) P1.firingSumIn.arcWeight = P1.arcWeightIn ($RES_BND_271) (362) [SCAL] (1) $SEV_197[1] = T3.disPlaceOut[1] and T3.arcWeightOut[1] - T3.arcWeightIntOut[1] <= 0.0 or not T3.disPlaceOut[1] ($RES_EVT_617) (363) [ARRY] (1) T3.activation.minTokensInt = T3.minTokensInt ($RES_BND_447) (364) [SCAL] (1) T3.outPlaces[1].enable = P1.inTransition[2].enable ($RES_SIM_147) (365) [ARRY] (1) P1.firingSumOut.fire = $SEV_232 ($RES_BND_272) (366) [SCAL] (1) $SEV_198[1] = T3.arcWeightOut[1] >= 0.0 ($RES_EVT_618) (367) [ARRY] (1) T3.activation.maxTokens = T3.maxTokens ($RES_BND_448) (368) [ARRY] (1) P1.firingSumOut.arcWeight = P1.arcWeightOut ($RES_BND_273) (369) [SCAL] (1) $SEV_199[1] = T3.disPlaceIn[1] and T3.arcWeightIn[1] - T3.arcWeightIntIn[1] <= 0.0 or not T3.disPlaceIn[1] ($RES_EVT_619) (370) [ARRY] (1) T3.activation.maxTokensInt = T3.maxTokensInt ($RES_BND_449) (371) [SCAL] (1) T3.outPlaces[1].disTransition = P1.inTransition[2].disTransition ($RES_SIM_149) (372) [ARRY] (1) P1.enableOut.arcWeight = P1.arcWeightOut ($RES_BND_274) (373) [ARRY] (1) P1.enableOut.TAout = P1.activeOut ($RES_BND_277) (374) [ARRY] (1) P3.enableOut.TAout = P3.activeOut ($RES_BND_530) (375) [ARRY] (1) P1.enableOut.enablingPrio = P1.enablingPrioOut ($RES_BND_279) (376) [ARRY] (1) P3.enableOut.enablingPrio = P3.enablingPrioOut ($RES_BND_532) (377) [ARRY] (1) P3.enableOut.enablingProb = P3.enablingProbOut ($RES_BND_533) (378) [ARRY] (1) P3.enableOut.enablingBene = P3.enablingBeneOut ($RES_BND_534) (379) [ARRY] (1) P3.enableOut.disTransition = P3.disTransitionOut ($RES_BND_536) (380) [SCAL] (1) T2.outPlaces[1].disTransition = true ($RES_BND_361) (381) [ARRY] (1) T2.outPlaces.enabledByInPlaces = {T2.enabledByInPlaces} ($RES_BND_362) (382) [ARRY] (1) T2.outPlaces.arcWeightint = {T2.arcWeightIntOut[1]} ($RES_BND_363) (383) [ARRY] (1) T2.outPlaces.arcWeight = {T2.arcWeightOut[1]} ($RES_BND_364) (384) [ARRY] (1) T2.outPlaces.fire = {T2.fire} ($RES_BND_365) (385) [ARRY] (1) T2.outPlaces.active = {T2.delayPassed} ($RES_BND_366) (386) [ARRY] (1) T2.outPlaces.disPlace = {T2.disPlaceOut[1]} ($RES_BND_367) (387) [ARRY] (1) T2.outPlaces.enable = {T2.enableOut[1]} ($RES_BND_368) (388) [ARRY] (1) T2.outPlaces.maxTokensint = {T2.maxTokensInt[1]} ($RES_BND_369) (389) [SCAL] (1) $SEV_200[1] = T3.arcWeightIn[1] >= 0.0 ($RES_EVT_620) (390) [SCAL] (1) T3.outPlaces[1].disPlace = P1.inTransition[2].disPlace ($RES_SIM_150) (391) [SCAL] (1) $SEV_201 = (T3.fireTime + settings.timeFire >= time and settings.animateTransition) and T3.ani ($RES_EVT_621) (392) [ARRY] (1) T3.activation.disPlaceIn = T3.disPlaceIn ($RES_BND_451) (393) [SCAL] (1) $SEV_202 = T3.active and time >= T3.firingTime ($RES_EVT_622) (394) [ARRY] (1) T3.activation.disPlaceOut = T3.disPlaceOut ($RES_BND_452) (395) [SCAL] (1) T3.outPlaces[1].arcWeightint = P1.inTransition[2].arcWeightint ($RES_SIM_152) (396) [SCAL] (1) $SEV_203 = T3.activation.active and not $PRE.T3.delayPassed ($RES_EVT_623) (397) [ARRY] (1) T3.activation.normalArc = T3.normalArc ($RES_BND_453) (398) [SCAL] (1) T3.outPlaces[1].arcWeight = P1.inTransition[2].arcWeight ($RES_SIM_153) (399) [SCAL] (1) $SEV_204[1] = T2.disPlaceOut[1] and T2.arcWeightOut[1] - T2.arcWeightIntOut[1] <= 0.0 or not T2.disPlaceOut[1] ($RES_EVT_624) (400) [ARRY] (1) T3.activation.testValue = T3.testValue ($RES_BND_454) (401) [SCAL] (1) T3.outPlaces[1].active = P1.inTransition[2].active ($RES_SIM_154) (402) [SCAL] (1) $SEV_205[1] = T2.arcWeightOut[1] >= 0.0 ($RES_EVT_625) (403) [ARRY] (1) T3.activation.testValueInt = T3.testValueInt ($RES_BND_455) (404) [SCAL] (1) T2.outPlaces[1].tint = P1.inTransition[1].tint ($RES_SIM_155) (405) [ARRY] (1) P1.enableOut.enablingProb = P1.enablingProbOut ($RES_BND_280) (406) [SCAL] (1) $SEV_206[1] = T2.disPlaceIn[1] and T2.arcWeightIn[1] - T2.arcWeightIntIn[1] <= 0.0 or not T2.disPlaceIn[1] ($RES_EVT_626) (407) [SCAL] (1) T2.outPlaces[1].t = P1.inTransition[1].t ($RES_SIM_156) (408) [ARRY] (1) P1.enableOut.enablingBene = P1.enablingBeneOut ($RES_BND_281) (409) [SCAL] (1) $SEV_207[1] = T2.arcWeightIn[1] >= 0.0 ($RES_EVT_627) (410) [SCAL] (1) $SEV_208 = (T2.fireTime + settings.timeFire >= time and settings.animateTransition) and T2.ani ($RES_EVT_628) (411) [ARRY] (1) P1.enableOut.disTransition = P1.disTransitionOut ($RES_BND_283) (412) [SCAL] (1) $SEV_209 = T2.active and time >= T2.firingTime ($RES_EVT_629) (413) [SCAL] (1) T2.outPlaces[1].maxTokensint = P1.inTransition[1].maxTokensint ($RES_SIM_159) (414) [ARRY] (2) P1.enableIn.arcWeight = P1.arcWeightIn ($RES_BND_286) (415) [ARRY] (2) P1.enableIn.TAein = $SEV_231 ($RES_BND_289) (416) [ARRY] (1) T2.outPlaces.maxTokens = {T2.maxTokens[1]} ($RES_BND_370) (417) [ARRY] (1) T2.outPlaces.tint = {T2.tIntOut[1]} ($RES_BND_371) (418) [ARRY] (1) T2.outPlaces.t = {T2.tOut[1]} ($RES_BND_372) (419) [SCAL] (1) T2.delay_ = 1.0 ($RES_BND_375) (420) [ARRY] (1) T2.activation.tIn = T2.tIn ($RES_BND_376) (421) [ARRY] (1) T2.activation.tOut = T2.tOut ($RES_BND_377) (422) [ARRY] (1) T2.activation.tIntIn = T2.tIntIn ($RES_BND_378) (423) [ARRY] (1) T2.activation.tIntOut = T2.tIntOut ($RES_BND_379) (424) [SCAL] (1) $SEV_210 = T2.activation.active and not $PRE.T2.delayPassed ($RES_EVT_630) (425) [SCAL] (1) T2.outPlaces[1].maxTokens = P1.inTransition[1].maxTokens ($RES_SIM_160) (426) [SCAL] (1) $SEV_211[1] = T1.disPlaceIn[1] and T1.arcWeightIn[1] - T1.arcWeightIntIn[1] <= 0.0 or not T1.disPlaceIn[1] ($RES_EVT_631) (427) [SCAL] (1) P2.outTransition[1].normalArc = false ($RES_BND_461) (428) [SCAL] (1) $SEV_212[1] = T1.arcWeightIn[1] >= 0.0 ($RES_EVT_632) (429) [SCAL] (1) P2.outTransition[1].testValueint = -1 ($RES_BND_462) (430) [SCAL] (1) $SEV_213 = (T1.fireTime + settings.timeFire >= time and settings.animateTransition) and T1.ani ($RES_EVT_633) (431) [SCAL] (1) P2.outTransition[1].testValue = -1.0 ($RES_BND_463) (432) [SCAL] (1) T2.outPlaces[1].fire = P1.inTransition[1].fire ($RES_SIM_163) (433) [SCAL] (1) $SEV_214 = T1.active and time >= T1.firingTime ($RES_EVT_634) (434) [ARRY] (1) P2.outTransition.tokenInOut = {$TEV_6} ($RES_BND_464) (435) [SCAL] (1) T2.outPlaces[1].enabledByInPlaces = P1.inTransition[1].enabledByInPlaces ($RES_SIM_164) (436) [SCAL] (1) $SEV_215 = T1.activation.active and not $PRE.T1.delayPassed ($RES_EVT_635) (437) [SCAL] (1) T2.outPlaces[1].enable = P1.inTransition[1].enable ($RES_SIM_165) (438) [ARRY] (2) P1.enableIn.enablingPrio = P1.enablingPrioIn ($RES_BND_291) (439) [SCAL] (1) P2.outTransition[1].arcType = PNlib.Types.ArcType.NormalArc ($RES_BND_467) (440) [SCAL] (1) T2.outPlaces[1].disTransition = P1.inTransition[1].disTransition ($RES_SIM_167) (441) [ARRY] (2) P1.enableIn.enablingProb = P1.enablingProbIn ($RES_BND_292) (442) [SCAL] (1) P2.outTransition[1].disPlace = true ($RES_BND_468) (443) [SCAL] (1) T2.outPlaces[1].disPlace = P1.inTransition[1].disPlace ($RES_SIM_168) (444) [ARRY] (2) P1.enableIn.enablingBene = P1.enablingBeneIn ($RES_BND_293) (445) [ARRY] (2) P1.enableIn.disTransition = P1.disTransitionIn ($RES_BND_295) (446) [ARRY] (2) P1.enableIn.active = P1.activeIn ($RES_BND_297) (447) [SCAL] (1) T1.arcWeightIn[1] = 1.0 ($RES_BND_299)