Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr PNlib_PNlib.Examples.HybTest.SixConflictProb.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo", uses=false) Using package PNlib with version 3.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(PNlib.Examples.HybTest.SixConflictProb,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|T1.active|T1.fire|T2.active|T2.fire|T3.active|T3.fire|T4.active|T4.fire|T5.active|T5.fire|T6.active|T6.fire|Time",fileNamePrefix="PNlib_PNlib.Examples.HybTest.SixConflictProb") translateModel(PNlib.Examples.HybTest.SixConflictProb,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|T1.active|T1.fire|T2.active|T2.fire|T3.active|T3.fire|T4.active|T4.fire|T5.active|T5.fire|T6.active|T6.fire|Time",fileNamePrefix="PNlib_PNlib.Examples.HybTest.SixConflictProb") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001204/0.001204, allocations: 105.3 kB / 16.37 MB, free: 6.371 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001246/0.001246, allocations: 190 kB / 17.3 MB, free: 5.918 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.251/1.251, allocations: 222.9 MB / 241 MB, free: 15.18 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/PNlib 3.0.0-master/package.mo): time 0.07203/0.07203, allocations: 16.73 MB / 307.9 MB, free: 14.27 MB / 254.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 1.655e-05/1.659e-05, allocations: 3.812 kB / 373 MB, free: 48.65 MB / 302.1 MB Notification: Performance of NFInst.instantiate(PNlib.Examples.HybTest.SixConflictProb): time 0.003271/0.003302, allocations: 3.836 MB / 376.8 MB, free: 47.54 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.00318/0.006495, allocations: 2.46 MB / 379.3 MB, free: 47.16 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.000384/0.006891, allocations: 21.94 kB / 379.3 MB, free: 47.16 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0004756/0.007374, allocations: 330.3 kB / 379.6 MB, free: 47.16 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0005635/0.007959, allocations: 316.8 kB / 379.9 MB, free: 47.08 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001391/0.009359, allocations: 0.9948 MB / 380.9 MB, free: 47 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.002367/0.01174, allocations: 3.227 MB / 384.1 MB, free: 46.64 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0009861/0.01273, allocations: 0.9875 MB / 385.1 MB, free: 46.29 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.001407/0.01415, allocations: 1.444 MB / 386.6 MB, free: 45.66 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0009783/0.01514, allocations: 1.094 MB / 387.7 MB, free: 45.13 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0003299/0.01548, allocations: 241.1 kB / 387.9 MB, free: 45.13 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0009515/0.01644, allocations: 0.5975 MB / 388.5 MB, free: 45.02 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.001552/0.018, allocations: 2.872 MB / 391.4 MB, free: 43.09 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0006011/0.01861, allocations: 1.581 MB / 393 MB, free: 41.94 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0003741/0.01899, allocations: 312.1 kB / 393.3 MB, free: 41.79 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.0002271/0.01922, allocations: 174.1 kB / 393.4 MB, free: 41.69 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: 743 (484) * Number of variables: 743 (473) Notification: Performance of Bindings: time 0.006268/0.0255, allocations: 8.877 MB / 402.3 MB, free: 35 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.001074/0.02658, allocations: 1.459 MB / 403.8 MB, free: 33.67 MB / 302.1 MB Notification: Performance of Early Inline: time 0.005522/0.03211, allocations: 8.654 MB / 412.4 MB, free: 25.12 MB / 302.1 MB Notification: Performance of simplify1: time 0.0002447/0.03237, allocations: 331.5 kB / 412.7 MB, free: 24.8 MB / 302.1 MB Notification: Performance of Alias: time 0.004495/0.03687, allocations: 6.126 MB / 418.9 MB, free: 18.19 MB / 302.1 MB Notification: Performance of simplify2: time 0.0002107/0.0371, allocations: 299.5 kB / 419.2 MB, free: 17.89 MB / 302.1 MB Notification: Performance of Events: time 0.002411/0.03951, allocations: 3.107 MB / 422.3 MB, free: 14.94 MB / 302.1 MB Notification: Performance of Detect States: time 0.002078/0.0416, allocations: 2.945 MB / 425.2 MB, free: 11.95 MB / 302.1 MB Notification: Performance of Partitioning: time 0.002292/0.04391, allocations: 2.893 MB / 428.1 MB, free: 8.977 MB / 302.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) T6.color = if $SEV_186 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_23) Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (441/730) **************************** (1) [ALGB] (1) protected Real[1] T6.testValue (2) [ALGB] (1) protected Real[1] T3.activation.tIn = T3.tIn (3) [ALGB] (1) protected Real[1] T4.activation.tIn = T4.tIn (4) [DISC] (1) protected Integer[1] T6.tIntIn (5) [ALGB] (1) protected Real[1] T4.activation.arcWeightIn = T4.arcWeightIn (6) [DISC] (1) Boolean[1] $SEV_195[$i1] (7) [DISC] (1) Integer[1] T4.inPlaces.arcWeightint = {T4.arcWeightIntIn[1]} (8) [ALGB] (1) Real[1] T1.inPlaces.decreasingFactor (9) [DISS] (1) protected Real T1.firingTime (10) [DISC] (6) Boolean[6] P1.outTransition.fire = {P1.fireOut[$outTransition1] for $outTransition1 in 1:6} (11) [ALGB] (6) Real[6] P1.outTransition.decreasingFactor = {P1.decFactorOut[$outTransition1] for $outTransition1 in 1:6} (12) [DISC] (1) Integer[1] T5.inPlaces.tint = {T5.tIntIn[1]} (13) [ALGB] (3) Real[3] P1.color (14) [DISC] (1) protected Integer[1] T2.testValueInt (15) [DISC] (1) protected Integer[1] T6.minTokensInt (16) [DISC] (1) protected Integer P1.disMarksIn.numtrue (17) [DISC] (1) Boolean[1] T4.inPlaces.tokenInOut (18) [ALGB] (1) Real[1] T5.inPlaces.arcWeight = {T5.arcWeightIn[1]} (19) [DISC] (1) protected Boolean[1] T5.enableIn (20) [ALGB] (1) Real[1] T6.arcWeightIn = {1.0 for $i1 in 1:1} (21) [DISC] (1) protected Integer[1] T6.activation.testValueInt = T6.testValueInt (22) [DISC] (1) Boolean[1] T3.inPlaces.active = {T3.delayPassed} (23) [DISC] (1) Integer[1] T2.inPlaces.minTokensint = {T2.minTokensInt[1]} (24) [ALGB] (6) protected Real[6] P1.maxSpeedOut (25) [DISC] (1) Integer[1] T4.inPlaces.tint = {T4.tIntIn[1]} (26) [DISC] (1) Boolean[1] T5.inPlaces.normalArc = {T5.normalArc[1]} (27) [ALGB] (1) protected Real[1] T6.activation.testValue = T6.testValue (28) [DISS] (1) protected Boolean T1.ani (29) [ALGB] (6) protected Real[6] P1.firingSumOut.vec1 (30) [DISC] (1) protected Integer[1] T2.arcWeightIntIn (31) [DISC] (1) protected Boolean P1.disMarksOut.anytrue (32) [DISC] (1) protected Integer[1] T3.arcWeightIntIn (33) [ALGB] (6) protected Real[6] P1.firingSumOut.vec2 (34) [DISC] (1) Integer[1] T1.inPlaces.tint = {T1.tIntIn[1]} (35) [ALGB] (1) protected Real P1.firingSumOut.conFiringSum (36) [ALGB] (1) protected Real[1] T3.activation.testValue = T3.testValue (37) [ALGB] (1) Real[1] T6.inPlaces.t = {T6.tIn[1]} (38) [DISC] (1) Boolean[1] T5.inPlaces.disTransition = {true for $i1 in 1:1} (39) [ALGB] (1) protected Real[1] T1.activation.arcWeightIn = T1.arcWeightIn (40) [DISC] (1) protected Boolean[1] T4.disPlaceIn (41) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T4.activation.arcType = T4.arcType (42) [DISS] (1) protected Boolean T5.ani (43) [DISC] (1) protected discrete Real P1.enableOut.randNum (44) [DISC] (1) Boolean T1.active (45) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T6.inPlaces.arcType = {T6.arcType[1]} (46) [ALGB] (1) protected Real T2.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (47) [ALGB] (1) Real[1] T6.inPlaces.decreasingFactor (48) [DISC] (1) protected Integer[1] T5.tIntIn (49) [ALGB] (6) protected Real[6] P1.enableOut.enablingProb = P1.enablingProbOut (50) [DISC] (1) protected Boolean[1] T1.normalArc (51) [ALGB] (1) Real[1] T4.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (52) [DISC] (1) Boolean[1] T3.inPlaces.disTransition = {true for $i1 in 1:1} (53) [DISC] (1) Integer[1] T5.inPlaces.testValueint = {T5.testValueInt[1]} (54) [DISC] (1) protected Boolean T5.activation.active (55) [DISC] (4) protected Integer[4] P1.enableOut.state128 (56) [ALGB] (3) protected Real[3] T6.color (57) [DISC] (1) protected Boolean P1.disMarksIn.anytrue (58) [DISC] (1) protected Boolean[1] T5.activation.disPlaceIn = T5.disPlaceIn (59) [DISC] (1) Boolean[1] T2.inPlaces.disPlace = {T2.disPlaceIn[1]} (60) [ALGB] (6) protected Real[6] P1.decFactorOut (61) [DISC] (1) protected discrete Real P1.enableOut.arcWeightSum (62) [ALGB] (1) Real[1] T5.inPlaces.t = {T5.tIn[1]} (63) [ALGB] (1) protected Real[1] T5.activation.testValue = T5.testValue (64) [ALGB] (1) Real[1] T1.inPlaces.minTokens = {T1.minTokens[1]} (65) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.activation.arcType = T3.arcType (66) [ALGB] (1) Real[1] T3.inPlaces.decreasingFactor (67) [ALGB] (1) Real[1] T4.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (68) [ALGB] (1) protected Real[1] T3.tIn (69) [DISC] (1) protected Boolean[1] T3.disPlaceIn (70) [DISC] (1) Boolean[1] T6.inPlaces.disPlace = {T6.disPlaceIn[1]} (71) [DISC] (1) Integer[1] T6.inPlaces.minTokensint = {T6.minTokensInt[1]} (72) [ALGB] (1) Real[1] T4.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (73) [DISC] (6) Integer[6] P1.outTransition.arcWeightint (74) [DISC] (1) protected Integer[1] T4.minTokensInt (75) [DISC] (1) Boolean[1] $SEV_184[$i1] (76) [ALGB] (1) Real[1] T2.inPlaces.decreasingFactor (77) [DISC] (1) protected Boolean P1.enableOut.delayPassed = P1.enableOut.delayPassed (78) [DISC] (1) Boolean[1] T3.inPlaces.disPlace = {T3.disPlaceIn[1]} (79) [DISS] (1) protected Real T2.fireTime (80) [DISC] (1) Integer[1] T3.inPlaces.tint = {T3.tIntIn[1]} (81) [DISC] (1) Integer[1] T1.inPlaces.minTokensint = {T1.minTokensInt[1]} (82) [ALGB] (6) protected Real[6] P1.firingSumOut.instSpeed = P1.instSpeedOut (83) [ALGB] (1) Real[1] T1.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (84) [ALGB] (1) protected Real T1.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (85) [DISC] (1) protected Integer[1] T4.activation.arcWeightIntIn = T4.arcWeightIntIn (86) [DISC] (1) protected Boolean[1] T3.normalArc (87) [DISC] (1) Boolean[1] T3.inPlaces.normalArc = {T3.normalArc[1]} (88) [ALGB] (1) Real[1] T4.inPlaces.minTokens = {T4.minTokens[1]} (89) [ALGB] (1) Real[1] T5.arcWeightIn = {1.0 for $i1 in 1:1} (90) [ALGB] (1) Real[1] T2.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (91) [DISC] (1) Boolean[1] T4.inPlaces.enable = {T4.enableIn[1]} (92) [DISC] (1) protected Integer[1] T4.activation.tIntIn = T4.tIntIn (93) [ALGB] (6) protected Real[6] P1.instSpeedOut (94) [ALGB] (1) Real[1] T3.inPlaces.arcWeight = {T3.arcWeightIn[1]} (95) [DISC] (1) protected Integer[1] T4.tIntIn (96) [DISC] (1) protected Integer[1] T4.activation.testValueInt = T4.testValueInt (97) [ALGB] (1) protected Real[1] T1.testValue (98) [DISC] (6) Boolean[6] P1.outTransition.normalArc = {false for $i1 in 1:6} (99) [DISC] (1) protected Integer[1] T5.testValueInt (100) [ALGB] (1) Real[1] T5.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (101) [ALGB] (1) Real[1] T6.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (102) [DISC] (1) Boolean $TEV_3 (103) [ALGB] (3) protected Real[3] T2.color (104) [DISC] (1) Boolean $TEV_2 (105) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.inPlaces.arcType = {T3.arcType[1]} (106) [ALGB] (1) protected Real[1] T2.activation.minTokens = T2.minTokens (107) [DISS] (1) protected Real T5.fireTime (108) [DISC] (1) Boolean $TEV_1 (109) [ALGB] (6) Real[6] P1.outTransition.arcWeight = {P1.arcWeightOut[$outTransition1] for $outTransition1 in 1:6} (110) [ALGB] (1) Real[1] T5.inPlaces.decreasingFactor (111) [ALGB] (1) Real[1] T3.arcWeightIn = {1.0 for $i1 in 1:1} (112) [DISC] (1) protected Boolean P1.disMarksInOut (fixed = true, start = false) (113) [DISC] (1) Boolean[1] $SEV_185[$i1] (114) [ALGB] (1) protected Real[1] T5.activation.arcWeightIn = T5.arcWeightIn (115) [ALGB] (1) Real[1] T4.inPlaces.t = {T4.tIn[1]} (116) [DISC] (1) protected Integer[1] T1.activation.arcWeightIntIn = T1.arcWeightIntIn (117) [ALGB] (6) protected Real[6] P1.arcWeightOut (118) [ALGB] (1) protected Real P1.firingSumOut.disFiringSum (119) [DISC] (1) Boolean[1] $SEV_204[$i1] (120) [DISC] (1) protected Boolean[1] T5.activation.normalArc = T5.normalArc (121) [DISC] (6) protected Boolean[6] P1.emptying.vec = P1.preFireOut and not P1.disTransitionOut (122) [DISC] (1) Boolean[1] T2.inPlaces.fire = {T2.fire} (123) [ALGB] (6) Real[6] P1.outTransition.maxSpeed = {P1.maxSpeedOut[$outTransition1] for $outTransition1 in 1:6} (124) [DISC] (1) protected Integer[1] T1.arcWeightIntIn (125) [DISC] (1) Boolean[1] T2.inPlaces.enable = {T2.enableIn[1]} (126) [DISC] (1) protected Boolean[1] T1.enableIn (127) [DISC] (1) Integer[1] T2.inPlaces.testValueint = {T2.testValueInt[1]} (128) [DISC] (1) protected Boolean[1] T2.disPlaceIn (129) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T5.inPlaces.arcType = {T5.arcType[1]} (130) [ALGB] (1) Real[1] T6.inPlaces.minTokens = {T6.minTokens[1]} (131) [DISC] (6) protected Integer[6] P1.enableOut.remTAout (fixed = {true for $i1 in 1:6}, start = {0 for $i1 in 1:6}) (132) [ALGB] (1) Real[1] T1.arcWeightIn = {1.0 for $i1 in 1:1} (133) [DISC] (1) Integer[1] T3.inPlaces.minTokensint = {T3.minTokensInt[1]} (134) [DISC] (1) protected Integer[1] T1.activation.tIntIn = T1.tIntIn (135) [DISC] (6) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[6] P1.outTransition.arcType = {PNlib.Types.ArcType.NormalArc for $i1 in 1:6} (136) [DISC] (1) protected Integer P1.enableOut.posTE (137) [DISS] (1) protected Boolean T4.ani (138) [DISC] (1) protected Integer[1] T1.activation.minTokensInt = T1.minTokensInt (139) [DISC] (1) protected Boolean[1] T5.normalArc (140) [ALGB] (1) protected Real[1] T2.minTokens (141) [DISC] (1) Boolean[1] T6.inPlaces.fire = {T6.fire} (142) [DISC] (1) Boolean[1] T6.inPlaces.active = {T6.delayPassed} (143) [DISC] (1) Boolean[1] $SEV_199[$i1] (144) [ALGB] (1) protected Real[1] T2.activation.tIn = T2.tIn (145) [ALGB] (1) protected Real[1] T1.activation.tIn = T1.tIn (146) [ALGB] (1) protected Real[1] T3.testValue (147) [ALGB] (1) Real[1] T3.inPlaces.testValue = {T3.testValue[1]} (148) [DISC] (1) protected Boolean[1] T4.enableIn (149) [ALGB] (1) Real[1] T2.inPlaces.testValue = {T2.testValue[1]} (150) [DISC] (1) protected Integer[1] T3.activation.minTokensInt = T3.minTokensInt (151) [ALGB] (1) Real[1] T1.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (152) [ALGB] (1) protected Real[1] T3.activation.arcWeightIn = T3.arcWeightIn (153) [DISC] (1) protected Integer[1] T3.tIntIn (154) [ALGB] (1) protected Real[1] T6.activation.tIn = T6.tIn (155) [ALGB] (6) Real[6] P1.outTransition.testValue = {-1.0 for $i1 in 1:6} (156) [DISC] (1) Boolean[1] $SEV_205[$i1] (157) [DISC] (1) protected Integer[1] T2.minTokensInt (158) [DISC] (1) Boolean[1] T5.inPlaces.enable = {T5.enableIn[1]} (159) [DISC] (1) Integer[1] T4.inPlaces.minTokensint = {T4.minTokensInt[1]} (160) [DISC] (1) Boolean[1] T5.inPlaces.disPlace = {T5.disPlaceIn[1]} (161) [DISC] (6) protected Boolean[6] P1.enableOut.TEout (162) [DISC] (6) protected Boolean[6] P1.enableOut.disTAout (fixed = {true for $i1 in 1:6}, start = {false for $i1 in 1:6}) (163) [ALGB] (1) Real[1] T5.inPlaces.minTokens = {T5.minTokens[1]} (164) [DISC] (1) protected Integer[1] T6.activation.arcWeightIntIn = T6.arcWeightIntIn (165) [DISC] (1) protected Integer[1] T6.activation.minTokensInt = T6.minTokensInt (166) [DISC] (1) protected Boolean T2.activation.active (167) [ALGB] (1) Real[1] T3.inPlaces.t = {T3.tIn[1]} (168) [DISC] (1) Integer[1] T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} (169) [DISC] (1) protected Boolean[1] T1.disPlaceIn (170) [DISC] (1) protected Integer[1] T5.arcWeightIntIn (171) [DISC] (1) protected Integer[1] T6.arcWeightIntIn (172) [DISC] (1) protected Boolean T6.activation.active (173) [ALGB] (1) protected Real[1] T2.tIn (174) [ALGB] (1) protected Real[1] T4.minTokens (175) [ALGB] (1) Real[1] T4.arcWeightIn = {1.0 for $i1 in 1:1} (176) [DISC] (1) protected Integer[1] T3.testValueInt (177) [ALGB] (3) protected Real[3] T5.color (178) [DISC] (1) protected Integer[1] T2.activation.testValueInt = T2.testValueInt (179) [DISC] (1) Boolean[1] T1.inPlaces.enable = {T1.enableIn[1]} (180) [ALGB] (1) Real[1] T5.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (181) [DISS] (1) protected Real T6.firingTime (182) [DISC] (6) protected Boolean[6] P1.delayPassedOut.vec = P1.activeOut and P1.disTransitionOut (183) [ALGB] (1) protected Real[1] T5.testValue (184) [DISC] (6) Boolean[6] P1.outTransition.active = {P1.activeOut[$outTransition1] for $outTransition1 in 1:6} (185) [DISC] (1) Boolean[1] T6.inPlaces.tokenInOut (186) [DISC] (1) Boolean $SEV_198 (187) [DISC] (1) Boolean $SEV_197 (188) [DISC] (1) Boolean $SEV_196 (189) [DISC] (1) Boolean[1] T2.inPlaces.tokenInOut (190) [ALGB] (1) Real[1] T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} (191) [DISC] (1) protected Integer[1] T3.activation.arcWeightIntIn = T3.arcWeightIntIn (192) [DISC] (1) Boolean $SEV_193 (193) [DISC] (1) Boolean $SEV_192 (194) [ALGB] (1) protected Real[1] T4.activation.minTokens = T4.minTokens (195) [DISC] (1) Boolean $SEV_191 (196) [ALGB] (1) protected Real[1] T6.tIn (197) [DISC] (6) Integer[6] P1.outTransition.testValueint = {-1 for $i1 in 1:6} (198) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T4.inPlaces.arcType = {T4.arcType[1]} (199) [ALGB] (1) Real[1] T2.arcWeightIn = {1.0 for $i1 in 1:1} (200) [DISC] (1) Boolean[1] T2.inPlaces.normalArc = {T2.normalArc[1]} (201) [ALGB] (6) protected Real[6] P1.prelimSpeedOut (202) [DISC] (6) Integer[6] P1.outTransition.tint = {1 for $i1 in 1:6} (203) [DISC] (1) protected Integer[1] T3.activation.tIntIn = T3.tIntIn (204) [ALGB] (1) protected Real[1] T1.activation.minTokens = T1.minTokens (205) [DISC] (6) protected Integer[6] P1.enableOut.enablingPrio = P1.enablingPrioOut (206) [DISC] (1) protected Boolean T6.delayPassed (fixed = true, start = false) (207) [DISC] (6) protected Boolean[6] P1.enableOut.TAout = P1.activeOut (208) [DISC] (1) protected Integer[1] T2.tIntIn (209) [DISC] (6) protected Boolean[6] P1.firingSumOut.disTransition = P1.disTransitionOut (210) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.inPlaces.arcType = {T1.arcType[1]} (211) [DISC] (6) Boolean[6] $SEV_221[$i1] (212) [DISC] (1) Boolean[1] T2.inPlaces.disTransition = {true for $i1 in 1:1} (213) [DISC] (1) Boolean T6.active (214) [DISC] (1) Boolean[1] T4.inPlaces.fire = {T4.fire} (215) [DISC] (6) protected Boolean[6] P1.disMarksOut.vec = P1.fireOut and P1.disTransitionOut (216) [DISC] (1) Integer[1] T5.inPlaces.minTokensint = {T5.minTokensInt[1]} (217) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.activation.arcType = T1.arcType (218) [DISC] (1) Boolean $SEV_188 (219) [DISC] (1) Boolean $SEV_187 (220) [DISC] (1) Boolean $SEV_186 (221) [DISC] (1) Boolean[1] T5.inPlaces.tokenInOut (222) [DISC] (1) protected Integer P1.enableOut.nTAout (223) [DISC] (1) Boolean[1] T3.inPlaces.enable = {T3.enableIn[1]} (224) [ALGB] (1) Real[1] T2.inPlaces.t = {T2.tIn[1]} (225) [ALGB] (1) protected Real[1] T6.minTokens (226) [DISC] (1) Boolean[1] T1.inPlaces.tokenInOut (227) [DISS] (1) protected Real T1.fireTime (228) [DISC] (1) protected Boolean[1] T6.activation.disPlaceIn = T6.disPlaceIn (229) [ALGB] (3) protected Real[3] T1.color (230) [DISC] (1) protected Integer P1.emptying.numtrue (231) [ALGB] (6) Real[6] P1.outTransition.prelimSpeed = {P1.prelimSpeedOut[$outTransition1] for $outTransition1 in 1:6} (232) [DISC] (1) Integer[1] T6.inPlaces.testValueint = {T6.testValueInt[1]} (233) [ALGB] (1) protected Real P1.conMarkChange (234) [DISS] (1) protected Real T5.firingTime (235) [DISS] (1) protected Boolean T3.ani (236) [DISC] (1) Boolean T1.fire (237) [DISC] (1) protected Boolean[1] T1.activation.disPlaceIn = T1.disPlaceIn (238) [DISC] (1) Boolean[1] T5.inPlaces.fire = {T5.fire} (239) [DISC] (1) protected Integer[1] T5.activation.testValueInt = T5.testValueInt (240) [ALGB] (1) protected Real[1] T6.activation.minTokens = T6.minTokens (241) [DISC] (6) protected Boolean[6] P1.disTransitionOut (242) [DISC] (6) protected discrete Real[6] P1.enableOut.cumEnablingProb (fixed = {true for $i1 in 1:6}, start = {0.0 for $i1 in 1:6}) (243) [DISC] (6) Boolean[6] $SEV_222[$i1] (244) [DISC] (1) Integer[1] T1.inPlaces.testValueint = {T1.testValueInt[1]} (245) [DISS] (1) protected Real T4.fireTime (246) [DISC] (1) Boolean[1] T4.inPlaces.normalArc = {T4.normalArc[1]} (247) [ALGB] (1) protected Real[1] T3.activation.minTokens = T3.minTokens (248) [ALGB] (1) Real[1] T2.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (249) [DISC] (6) protected Boolean[6] P1.enableOut.TEout_ (250) [DISC] (1) Boolean[1] $SEV_190[$i1] (251) [ALGB] (1) Real[1] T4.inPlaces.arcWeight = {T4.arcWeightIn[1]} (252) [ALGB] (1) Real[1] T6.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (253) [DISC] (1) Boolean[1] T1.inPlaces.fire = {T1.fire} (254) [DISC] (1) protected Integer[1] T1.tIntIn (255) [ALGB] (1) Real[1] T6.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (256) [DISC] (1) protected Integer[1] T1.testValueInt (257) [DISC] (1) protected Integer[1] T5.minTokensInt (258) [DISC] (1) Boolean T5.active (259) [DISC] (1) Boolean[1] $SEV_189[$i1] (260) [DISC] (1) protected Integer P1.enableOut.k (261) [ALGB] (1) Real P1.pc_t = P1.pc_t (262) [DISC] (1) Boolean[1] T4.inPlaces.disPlace = {T4.disPlaceIn[1]} (263) [ALGB] (1) protected Real T6.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (264) [ALGB] (6) Real[6] P1.outTransition.t = {P1.t_ for $outTransition1 in 1:6} (265) [ALGB] (1) Real[1] T1.inPlaces.t = {T1.tIn[1]} (266) [DISC] (1) protected Integer[1] T5.activation.tIntIn = T5.tIntIn (267) [ALGB] (1) protected Real[1] T5.activation.minTokens = T5.minTokens (268) [DISC] (1) Boolean T2.fire (269) [DISC] (1) Boolean[1] T6.inPlaces.normalArc = {T6.normalArc[1]} (270) [ALGB] (1) protected Real[1] T1.tIn (271) [DISC] (1) protected Boolean[1] T3.enableIn (272) [DISC] (1) protected Integer[1] T6.testValueInt (273) [ALGB] (1) Real[1] T6.inPlaces.arcWeight = {T6.arcWeightIn[1]} (274) [DISS] (1) protected Real T4.firingTime (275) [DISC] (1) protected Boolean[1] T2.normalArc (276) [DISC] (1) protected Boolean P1.emptying.anytrue (277) [DISC] (1) protected Boolean T5.delayPassed (fixed = true, start = false) (278) [DISC] (1) Boolean[1] $SEV_210[$i1] (279) [DISC] (6) protected Boolean[6] P1.fireOut (fixed = {true for $i1 in 1:6}, start = {false for $i1 in 1:6}) (280) [DISC] (1) protected Boolean[1] T2.activation.disPlaceIn = T2.disPlaceIn (281) [DISC] (1) Integer[1] T3.inPlaces.arcWeightint = {T3.arcWeightIntIn[1]} (282) [DISC] (1) enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.inPlaces.arcType = {T2.arcType[1]} (283) [DISC] (1) Integer $FUN_9 (284) [DISC] (6) protected Boolean[6] P1.enableOut.disTransition = P1.disTransitionOut (285) [ALGB] (1) protected Real P1.disMarkChange (286) [DISC] (6) Boolean[6] $FUN_8 (287) [ALGB] (1) Real[1] T4.inPlaces.testValue = {T4.testValue[1]} (288) [ALGB] (1) Real $FUN_7 (289) [ALGB] (1) protected Real P1.tokenscale (290) [ALGB] (1) protected Real[1] T5.tIn (291) [DISC] (6) Boolean[6] $FUN_6 (292) [DISC] (1) Boolean[1] $SEV_209[$i1] (293) [ALGB] (1) Real[1] T1.inPlaces.testValue = {T1.testValue[1]} (294) [ALGB] (6) Real[6] $FUN_5 (295) [ALGB] (0) Real[0] $FUN_4 (296) [ALGB] (3) protected Real[3] T4.color (297) [DISC] (1) Boolean[1] T6.inPlaces.disTransition = {true for $i1 in 1:1} (298) [DISC] (1) protected Integer[1] T3.activation.testValueInt = T3.testValueInt (299) [ALGB] (1) protected Real[1] T2.activation.arcWeightIn = T2.arcWeightIn (300) [DISC] (1) protected Boolean[1] T6.enableIn (301) [DISC] (1) protected Boolean T3.delayPassed (fixed = true, start = false) (302) [DISC] (1) Boolean[1] T4.inPlaces.active = {T4.delayPassed} (303) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T5.activation.arcType = T5.arcType (304) [DISC] (1) Boolean T3.fire (305) [DISC] (1) protected Boolean[1] T4.activation.disPlaceIn = T4.disPlaceIn (306) [DISC] (1) Boolean T4.active (307) [ALGB] (1) protected Real T5.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (308) [DISC] (1) Integer[1] T4.inPlaces.testValueint = {T4.testValueInt[1]} (309) [DISC] (6) Boolean[6] P1.outTransition.tokenInOut = {pre(P1.disMarksInOut) for $outTransition1 in 1:6} (310) [DISC] (1) protected Boolean T4.activation.active (311) [DISC] (6) protected Boolean[6] P1.preFireOut (312) [DISC] (1) Boolean[1] T3.inPlaces.fire = {T3.fire} (313) [DISC] (6) Integer[6] $FUN_13 (314) [DISC] (4) Integer[4] $FUN_12 (315) [ALGB] (1) Real[1] T6.inPlaces.testValue = {T6.testValue[1]} (316) [ALGB] (1) Real $FUN_11 (317) [DISC] (1) protected Boolean[1] T4.normalArc (318) [ALGB] (1) Real $FUN_10 (319) [ALGB] (1) protected Real[1] T1.minTokens (320) [DISC] (1) Boolean[1] T4.inPlaces.disTransition = {true for $i1 in 1:1} (321) [DISS] (1) protected Real T3.firingTime (322) [ALGB] (1) Real P1.levelCon (323) [DISC] (1) protected Integer[1] T3.minTokensInt (324) [ALGB] (1) Real[1] T3.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (325) [DISC] (1) protected Integer[1] T2.activation.minTokensInt = T2.minTokensInt (326) [ALGB] (1) protected Real[1] T2.activation.testValue = T2.testValue (327) [ALGB] (1) protected Real[1] T2.testValue (328) [DISS] (1) protected Boolean T2.ani (329) [DISC] (1) Boolean $SEV_226 (330) [DISC] (1) Boolean $SEV_225 (331) [ALGB] (6) protected Real[6] P1.firingSumOut.arcWeight = P1.arcWeightOut (332) [DISC] (1) protected Boolean T1.activation.active (333) [DISC] (1) Boolean $SEV_224 (334) [ALGB] (1) Real[1] T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} (335) [DISC] (1) protected Integer P1.enableOut.Index (336) [DISC] (1) Boolean $SEV_223 (337) [DISC] (1) Boolean T4.fire (338) [DISC] (1) protected Boolean[1] T4.activation.normalArc = T4.normalArc (339) [DISC] (1) Integer[1] T6.inPlaces.arcWeightint = {T6.arcWeightIntIn[1]} (340) [DISC] (1) Boolean[1] T2.inPlaces.active = {T2.delayPassed} (341) [DISC] (1) Boolean $SEV_220 (342) [DISC] (1) Boolean[1] T6.inPlaces.enable = {T6.enableIn[1]} (343) [ALGB] (1) Real[1] T2.inPlaces.minTokens = {T2.minTokens[1]} (344) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.activation.arcType = T2.arcType (345) [DISC] (6) Integer[6] P1.outTransition.minTokensint = {1 for $i1 in 1:6} (346) [DISC] (1) Boolean[1] T1.inPlaces.normalArc = {T1.normalArc[1]} (347) [DISC] (6) protected Boolean[6] P1.firingSumOut.fire = P1.preFireOut (348) [ALGB] (1) Real[1] T3.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (349) [DISC] (1) protected Boolean[1] T1.activation.normalArc = T1.normalArc (350) [DISC] (1) protected Boolean[1] T6.disPlaceIn (351) [DISC] (1) Integer[1] T2.inPlaces.tint = {T2.tIntIn[1]} (352) [DISC] (1) Integer[1] T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} (353) [DISC] (1) protected Integer[1] T4.testValueInt (354) [DISS] (1) protected Boolean T6.ani (355) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T1.arcType (356) [DISC] (1) Boolean[1] T1.inPlaces.disTransition = {true for $i1 in 1:1} (357) [DISC] (1) protected Integer P1.delayPassedOut.numtrue (358) [ALGB] (6) Real[6] P1.outTransition.instSpeed = {P1.instSpeedOut[$outTransition1] for $outTransition1 in 1:6} (359) [DISC] (1) Boolean T3.active (360) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T2.arcType (361) [DER-] (1) Real $DER.P1.t_ (362) [DISC] (1) protected Boolean T1.delayPassed (fixed = true, start = false) (363) [ALGB] (1) protected Real T4.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (364) [DISC] (1) Boolean[1] T5.inPlaces.active = {T5.delayPassed} (365) [DISC] (1) Boolean $SEV_219 (366) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T3.arcType (367) [DISC] (1) Boolean $SEV_218 (368) [ALGB] (1) Real[1] T1.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (369) [DISC] (1) Boolean $SEV_217 (370) [ALGB] (1) Real[1] T2.inPlaces.instSpeed = {0.0 for $i1 in 1:1} (371) [DISC] (6) Boolean[6] P1.outTransition.disPlace = {false for $i1 in 1:6} (372) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T4.arcType (373) [DISC] (1) protected Boolean[1] T6.normalArc (374) [DISC] (1) Boolean $SEV_213 (375) [ALGB] (1) protected Real[1] T3.minTokens (376) [ALGB] (1) Real[1] T3.inPlaces.minTokens = {T3.minTokens[1]} (377) [DISC] (1) Integer[1] T6.inPlaces.tint = {T6.tIntIn[1]} (378) [DISC] (1) Boolean $SEV_212 (379) [DISC] (1) Boolean $SEV_211 (380) [DISC] (1) protected discrete Real P1.enableOut.sumEnablingProbTAout (381) [DISC] (1) protected Boolean T4.delayPassed (fixed = true, start = false) (382) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T5.arcType (383) [DISC] (1) protected Integer[1] T4.activation.minTokensInt = T4.minTokensInt (384) [DISC] (1) Integer[1] T5.inPlaces.arcWeightint = {T5.arcWeightIntIn[1]} (385) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T6.arcType (386) [ALGB] (1) protected Real[1] T4.testValue (387) [DISC] (1) Boolean T5.fire (388) [DISS] (1) protected Real T3.fireTime (389) [DISS] (1) protected Real T2.firingTime (390) [ALGB] (6) Real[6] P1.outTransition.minTokens = {P1.minMarks for $outTransition1 in 1:6} (391) [DISC] (1) protected Integer P1.disMarksOut.numtrue (392) [DISC] (6) protected Boolean[6] P1.activeOut (393) [DISC] (1) protected Integer[1] T2.activation.tIntIn = T2.tIntIn (394) [DISC] (1) protected Boolean[1] T2.activation.normalArc = T2.normalArc (395) [DISC] (1) protected Boolean T2.delayPassed (fixed = true, start = false) (396) [ALGB] (1) Real[1] T5.inPlaces.testValue = {T5.testValue[1]} (397) [DISC] (1) protected Boolean[1] T6.activation.normalArc = T6.normalArc (398) [DISC] (1) protected Integer[1] T2.activation.arcWeightIntIn = T2.arcWeightIntIn (399) [DISC] (1) protected Integer P1.enableOut.nremTAout (400) [ALGB] (6) protected Real[6] P1.enableOut.arcWeight = P1.arcWeightOut (401) [DISC] (1) protected Integer[1] T5.activation.minTokensInt = T5.minTokensInt (402) [DISC] (1) Boolean[1] $SEV_194[$i1] (403) [DISC] (1) protected Integer[1] T4.arcWeightIntIn (404) [DISC] (1) Boolean $SEV_208 (405) [DISC] (1) protected Integer[1] T6.activation.tIntIn = T6.tIntIn (406) [DISC] (1) Boolean $SEV_207 (407) [ALGB] (1) protected Real[1] T4.activation.testValue = T4.testValue (408) [ALGB] (1) protected Real[1] T6.activation.arcWeightIn = T6.arcWeightIn (409) [DISC] (1) Boolean $SEV_206 (410) [DISC] (1) Boolean[1] T1.inPlaces.disPlace = {T1.disPlaceIn[1]} (411) [DISC] (1) Boolean $SEV_203 (412) [DISC] (1) protected Boolean[1] T3.activation.normalArc = T3.normalArc (413) [DISC] (1) Boolean $SEV_202 (414) [DISC] (1) Boolean $SEV_201 (415) [ALGB] (1) protected Real[1] T4.tIn (416) [ALGB] (1) Real[1] T4.inPlaces.decreasingFactor (417) [DISC] (6) Boolean[6] P1.outTransition.disTransition = {P1.disTransitionOut[$outTransition1] for $outTransition1 in 1:6} (418) [DISS] (1) protected Real T6.fireTime (419) [ALGB] (1) protected Real[1] T1.activation.testValue = T1.testValue (420) [DISC] (1) protected Boolean[1] T5.disPlaceIn (421) [DISC] (1) Boolean[1] T3.inPlaces.tokenInOut (422) [DISC] (1) Integer[1] T3.inPlaces.testValueint = {T3.testValueInt[1]} (423) [DISC] (1) Boolean[1] T1.inPlaces.active = {T1.delayPassed} (424) [DISC] (1) Boolean[1] $SEV_200[$i1] (425) [DISC] (6) Boolean[6] P1.outTransition.enable = {P1.enableOut.TEout_[$outTransition1] for $outTransition1 in 1:6} (426) [ALGB] (1) Real[1] T5.inPlaces.maxSpeed = {0.0 for $i1 in 1:1} (427) [DISC] (1) protected Integer[1] T1.minTokensInt (428) [DISC] (1) protected Integer[1] T1.activation.testValueInt = T1.testValueInt (429) [DISC] (1) protected enumeration PNlib.Types.ArcType(NormalArc, RealTestArc, TestArc, RealInhibitorArc, InhibitorArc)[1] T6.activation.arcType = T6.arcType (430) [DISC] (1) protected Boolean P1.enableOut.endWhile (431) [DISC] (1) protected Boolean[1] T3.activation.disPlaceIn = T3.disPlaceIn (432) [ALGB] (1) protected Real[1] T5.minTokens (433) [DISC] (1) Boolean T2.active (434) [ALGB] (1) Real[1] T3.inPlaces.prelimSpeed = {0.0 for $i1 in 1:1} (435) [ALGB] (1) protected Real[1] T5.activation.tIn = T5.tIn (436) [DISC] (1) Boolean T6.fire (437) [DISC] (1) protected Boolean T3.activation.active (438) [ALGB] (1) protected Real T3.delay_ = if 1.0 < 1e-6 then 1e-6 else 1.0 (439) [DISC] (1) protected Boolean[1] T2.enableIn (440) [ALGB] (3) protected Real[3] T3.color (441) [DISC] (1) protected Integer[1] T5.activation.arcWeightIntIn = T5.arcWeightIntIn System Equations (461/730) **************************** (1) [SCAL] (1) P1.outTransition[1].decreasingFactor = T1.inPlaces[1].decreasingFactor ($RES_SIM_254) (2) [SCAL] (1) P1.outTransition[1].arcWeightint = T1.inPlaces[1].arcWeightint ($RES_SIM_255) (3) [ARRY] (1) T2.inPlaces.enable = {T2.enableIn[1]} ($RES_BND_380) (4) [SCAL] (1) P1.outTransition[1].arcWeight = T1.inPlaces[1].arcWeight ($RES_SIM_256) (5) [ARRY] (1) T2.inPlaces.minTokensint = {T2.minTokensInt[1]} ($RES_BND_381) (6) [SCAL] (1) P1.outTransition[1].arcType = T1.inPlaces[1].arcType ($RES_SIM_257) (7) [ARRY] (1) T2.inPlaces.minTokens = {T2.minTokens[1]} ($RES_BND_382) (8) [SCAL] (1) P1.outTransition[1].active = T1.inPlaces[1].active ($RES_SIM_258) (9) [ARRY] (1) T2.inPlaces.tint = {T2.tIntIn[1]} ($RES_BND_383) (10) [ARRY] (1) T2.inPlaces.t = {T2.tIn[1]} ($RES_BND_384) (11) [SCAL] (1) T2.delay_ = 1.0 ($RES_BND_387) (12) [ARRY] (1) T2.activation.tIn = T2.tIn ($RES_BND_388) (13) [ARRY] (1) T2.activation.tIntIn = T2.tIntIn ($RES_BND_389) (14) [SCAL] (1) T5.inPlaces[1].active = P1.outTransition[5].active ($RES_SIM_170) (15) [ARRY] (1) T4.activation.minTokensInt = T4.minTokensInt ($RES_BND_470) (16) [SCAL] (1) T4.inPlaces[1].tokenInOut = P1.outTransition[4].tokenInOut ($RES_SIM_171) (17) [SCAL] (1) T4.inPlaces[1].tint = P1.outTransition[4].tint ($RES_SIM_172) (18) [ARRY] (1) T4.activation.disPlaceIn = T4.disPlaceIn ($RES_BND_472) (19) [SCAL] (1) T4.inPlaces[1].testValueint = P1.outTransition[4].testValueint ($RES_SIM_173) (20) [ARRY] (1) T4.activation.normalArc = T4.normalArc ($RES_BND_473) (21) [ARRY] (1) T4.activation.testValue = T4.testValue ($RES_BND_474) (22) [SCAL] (1) T4.inPlaces[1].testValue = P1.outTransition[4].testValue ($RES_SIM_174) (23) [SCAL] (1) T4.inPlaces[1].t = P1.outTransition[4].t ($RES_SIM_175) (24) [ARRY] (1) T4.activation.testValueInt = T4.testValueInt ($RES_BND_475) (25) [SCAL] (1) T4.inPlaces[1].prelimSpeed = P1.outTransition[4].prelimSpeed ($RES_SIM_177) (26) [SCAL] (1) T4.inPlaces[1].normalArc = P1.outTransition[4].normalArc ($RES_SIM_178) (27) [SCAL] (1) T5.arcWeightIn[1] = 1.0 ($RES_BND_479) (28) [SCAL] (1) T4.inPlaces[1].minTokensint = P1.outTransition[4].minTokensint ($RES_SIM_179) (29) [ARRY] (1) T2.activation.arcType = T2.arcType ($RES_BND_390) (30) [ARRY] (1) T2.activation.arcWeightIn = T2.arcWeightIn ($RES_BND_391) (31) [ARRY] (1) T2.activation.arcWeightIntIn = T2.arcWeightIntIn ($RES_BND_392) (32) [ARRY] (1) T2.activation.minTokens = T2.minTokens ($RES_BND_393) (33) [ARRY] (1) T2.activation.minTokensInt = T2.minTokensInt ($RES_BND_394) (34) [ARRY] (1) T2.activation.disPlaceIn = T2.disPlaceIn ($RES_BND_396) (35) [ARRY] (1) T2.activation.normalArc = T2.normalArc ($RES_BND_397) (36) [ARRY] (1) T2.activation.testValue = T2.testValue ($RES_BND_398) (37) [ARRY] (1) T2.activation.testValueInt = T2.testValueInt ($RES_BND_399) (38) [SCAL] (1) T4.inPlaces[1].minTokens = P1.outTransition[4].minTokens ($RES_SIM_180) (39) [SCAL] (1) T5.inPlaces[1].maxSpeed = 0.0 ($RES_BND_481) (40) [SCAL] (1) T4.inPlaces[1].maxSpeed = P1.outTransition[4].maxSpeed ($RES_SIM_181) (41) [SCAL] (1) T5.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_482) (42) [SCAL] (1) T4.inPlaces[1].instSpeed = P1.outTransition[4].instSpeed ($RES_SIM_182) (43) [SCAL] (1) T5.inPlaces[1].instSpeed = 0.0 ($RES_BND_483) (44) [SCAL] (1) T4.inPlaces[1].fire = P1.outTransition[4].fire ($RES_SIM_183) (45) [SCAL] (1) T5.inPlaces[1].disTransition = true ($RES_BND_484) (46) [SCAL] (1) T4.inPlaces[1].enable = P1.outTransition[4].enable ($RES_SIM_185) (47) [ARRY] (1) T5.inPlaces.arcWeightint = {T5.arcWeightIntIn[1]} ($RES_BND_485) (48) [ARRY] (1) T5.inPlaces.arcWeight = {T5.arcWeightIn[1]} ($RES_BND_486) (49) [SCAL] (1) T4.inPlaces[1].disTransition = P1.outTransition[4].disTransition ($RES_SIM_186) (50) [SCAL] (1) T4.inPlaces[1].disPlace = P1.outTransition[4].disPlace ($RES_SIM_187) (51) [ARRY] (1) T5.inPlaces.fire = {T5.fire} ($RES_BND_487) (52) [SCAL] (1) T4.inPlaces[1].decreasingFactor = P1.outTransition[4].decreasingFactor ($RES_SIM_188) (53) [ARRY] (1) T5.inPlaces.active = {T5.delayPassed} ($RES_BND_488) (54) [SCAL] (1) T4.inPlaces[1].arcWeightint = P1.outTransition[4].arcWeightint ($RES_SIM_189) (55) [ARRY] (1) T5.inPlaces.normalArc = {T5.normalArc[1]} ($RES_BND_489) (56) [SCAL] (1) $TEV_1 = $PRE.P1.fireOut[$i1] ($RES_EVT_575) (57) [SCAL] (1) $TEV_2 = $PRE.P1.disMarksInOut ($RES_EVT_576) (58) [SCAL] (1) $TEV_3 = $PRE.P1.enableOut.state128 ($RES_EVT_577) (59) [SCAL] (1) $SEV_184[1] = T6.disPlaceIn[1] and T6.arcWeightIn[1] - T6.arcWeightIntIn[1] <= 0.0 or not T6.disPlaceIn[1] ($RES_EVT_578) (60) [SCAL] (1) $SEV_185[1] = T6.arcWeightIn[1] >= 0.0 ($RES_EVT_579) (61) [SCAL] (1) T4.inPlaces[1].arcWeight = P1.outTransition[4].arcWeight ($RES_SIM_190) (62) [ARRY] (1) T5.inPlaces.testValueint = {T5.testValueInt[1]} ($RES_BND_490) (63) [ARRY] (1) T5.inPlaces.testValue = {T5.testValue[1]} ($RES_BND_491) (64) [SCAL] (1) T4.inPlaces[1].arcType = P1.outTransition[4].arcType ($RES_SIM_191) (65) [SCAL] (1) T4.inPlaces[1].active = P1.outTransition[4].active ($RES_SIM_192) (66) [ARRY] (1) T5.inPlaces.arcType = {T5.arcType[1]} ($RES_BND_492) (67) [SCAL] (1) T3.inPlaces[1].tokenInOut = P1.outTransition[3].tokenInOut ($RES_SIM_193) (68) [ARRY] (1) T5.inPlaces.disPlace = {T5.disPlaceIn[1]} ($RES_BND_493) (69) [SCAL] (1) T3.inPlaces[1].tint = P1.outTransition[3].tint ($RES_SIM_194) (70) [ARRY] (1) T5.inPlaces.enable = {T5.enableIn[1]} ($RES_BND_494) (71) [SCAL] (1) T3.inPlaces[1].testValueint = P1.outTransition[3].testValueint ($RES_SIM_195) (72) [ARRY] (1) T5.inPlaces.minTokensint = {T5.minTokensInt[1]} ($RES_BND_495) (73) [ARRY] (1) T5.inPlaces.minTokens = {T5.minTokens[1]} ($RES_BND_496) (74) [SCAL] (1) T3.inPlaces[1].testValue = P1.outTransition[3].testValue ($RES_SIM_196) (75) [SCAL] (1) T3.inPlaces[1].t = P1.outTransition[3].t ($RES_SIM_197) (76) [ARRY] (1) T5.inPlaces.tint = {T5.tIntIn[1]} ($RES_BND_497) (77) [ARRY] (1) T5.inPlaces.t = {T5.tIn[1]} ($RES_BND_498) (78) [SCAL] (1) T3.inPlaces[1].prelimSpeed = P1.outTransition[3].prelimSpeed ($RES_SIM_199) (79) [SCAL] (1) $SEV_186 = (T6.fireTime + settings.timeFire >= time and settings.animateTransition) and T6.ani ($RES_EVT_580) (80) [SCAL] (1) $SEV_187 = T6.active and time >= T6.firingTime ($RES_EVT_581) (81) [SCAL] (1) $SEV_188 = T6.activation.active and not $PRE.T6.delayPassed ($RES_EVT_582) (82) [SCAL] (1) $SEV_189[1] = T5.disPlaceIn[1] and T5.arcWeightIn[1] - T5.arcWeightIntIn[1] <= 0.0 or not T5.disPlaceIn[1] ($RES_EVT_583) (83) [SCAL] (1) $SEV_190[1] = T5.arcWeightIn[1] >= 0.0 ($RES_EVT_584) (84) [SCAL] (1) $SEV_191 = (T5.fireTime + settings.timeFire >= time and settings.animateTransition) and T5.ani ($RES_EVT_585) (85) [SCAL] (1) $SEV_192 = T5.active and time >= T5.firingTime ($RES_EVT_586) (86) [SCAL] (1) $SEV_193 = T5.activation.active and not $PRE.T5.delayPassed ($RES_EVT_587) (87) [SCAL] (1) $SEV_194[1] = T4.disPlaceIn[1] and T4.arcWeightIn[1] - T4.arcWeightIntIn[1] <= 0.0 or not T4.disPlaceIn[1] ($RES_EVT_588) (88) [ALGO] (2) ($RES_SIM_8) (88) [----] P1.emptying.anytrue := false; (88) [----] P1.emptying.numtrue := 0; (88) [----] for i in 1:6 loop (88) [----] P1.emptying.anytrue := P1.emptying.anytrue or P1.emptying.vec[i]; (88) [----] if P1.emptying.vec[i] then (88) [----] P1.emptying.numtrue := P1.emptying.numtrue + 1; (88) [----] end if; (88) [----] end for; (89) [SCAL] (1) $SEV_195[1] = T4.arcWeightIn[1] >= 0.0 ($RES_EVT_589) (90) [ALGO] (1) ($RES_SIM_7) (90) [----] T1.activation.active := true; (90) [----] for i in 1:1 loop (90) [----] if T1.activation.disPlaceIn[i] then (90) [----] 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 (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T1.activation.tIntIn[i] > T1.activation.testValueInt[i] then (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T1.activation.tIntIn[i] >= T1.activation.testValueInt[i] then (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T1.activation.tIntIn[i] < T1.activation.testValueInt[i] then (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T1.activation.tIntIn[i] <= T1.activation.testValueInt[i] then (90) [----] T1.activation.active := false; (90) [----] end if; (90) [----] elseif true then (90) [----] 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 (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T1.activation.tIn[i] > T1.activation.testValue[i] then (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T1.activation.tIn[i] >= T1.activation.testValue[i] then (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T1.activation.tIn[i] < T1.activation.testValue[i] then (90) [----] T1.activation.active := false; (90) [----] elseif T1.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T1.activation.tIn[i] <= T1.activation.testValue[i] then (90) [----] T1.activation.active := false; (90) [----] end if; (90) [----] end if; (90) [----] end for; (90) [----] T1.activation.active := T1.activation.active and true; (91) [ALGO] (1) ($RES_SIM_6) (91) [----] T2.activation.active := true; (91) [----] for i in 1:1 loop (91) [----] if T2.activation.disPlaceIn[i] then (91) [----] 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 (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIntIn[i] > T2.activation.testValueInt[i] then (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIntIn[i] >= T2.activation.testValueInt[i] then (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIntIn[i] < T2.activation.testValueInt[i] then (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIntIn[i] <= T2.activation.testValueInt[i] then (91) [----] T2.activation.active := false; (91) [----] end if; (91) [----] elseif true then (91) [----] 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 (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T2.activation.tIn[i] > T2.activation.testValue[i] then (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T2.activation.tIn[i] >= T2.activation.testValue[i] then (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T2.activation.tIn[i] < T2.activation.testValue[i] then (91) [----] T2.activation.active := false; (91) [----] elseif T2.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T2.activation.tIn[i] <= T2.activation.testValue[i] then (91) [----] T2.activation.active := false; (91) [----] end if; (91) [----] end if; (91) [----] end for; (91) [----] T2.activation.active := T2.activation.active and true; (92) [ALGO] (1) ($RES_SIM_5) (92) [----] T3.activation.active := true; (92) [----] for i in 1:1 loop (92) [----] if T3.activation.disPlaceIn[i] then (92) [----] 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 (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T3.activation.tIntIn[i] > T3.activation.testValueInt[i] then (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T3.activation.tIntIn[i] >= T3.activation.testValueInt[i] then (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T3.activation.tIntIn[i] < T3.activation.testValueInt[i] then (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T3.activation.tIntIn[i] <= T3.activation.testValueInt[i] then (92) [----] T3.activation.active := false; (92) [----] end if; (92) [----] elseif true then (92) [----] 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 (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T3.activation.tIn[i] > T3.activation.testValue[i] then (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T3.activation.tIn[i] >= T3.activation.testValue[i] then (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T3.activation.tIn[i] < T3.activation.testValue[i] then (92) [----] T3.activation.active := false; (92) [----] elseif T3.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T3.activation.tIn[i] <= T3.activation.testValue[i] then (92) [----] T3.activation.active := false; (92) [----] end if; (92) [----] end if; (92) [----] end for; (92) [----] T3.activation.active := T3.activation.active and true; (93) [ALGO] (1) ($RES_SIM_4) (93) [----] T4.activation.active := true; (93) [----] for i in 1:1 loop (93) [----] if T4.activation.disPlaceIn[i] then (93) [----] if (T4.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T4.activation.normalArc[i]) and not T4.activation.tIntIn[i] - T4.activation.arcWeightIntIn[i] >= T4.activation.minTokensInt[i] then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T4.activation.tIntIn[i] > T4.activation.testValueInt[i] then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T4.activation.tIntIn[i] >= T4.activation.testValueInt[i] then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T4.activation.tIntIn[i] < T4.activation.testValueInt[i] then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T4.activation.tIntIn[i] <= T4.activation.testValueInt[i] then (93) [----] T4.activation.active := false; (93) [----] end if; (93) [----] elseif true then (93) [----] if (T4.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T4.activation.normalArc[i]) and not T4.activation.tIn[i] - (T4.activation.minTokens[i] + T4.activation.arcWeightIn[i]) >= (-1e-9) then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T4.activation.tIn[i] > T4.activation.testValue[i] then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T4.activation.tIn[i] >= T4.activation.testValue[i] then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T4.activation.tIn[i] < T4.activation.testValue[i] then (93) [----] T4.activation.active := false; (93) [----] elseif T4.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T4.activation.tIn[i] <= T4.activation.testValue[i] then (93) [----] T4.activation.active := false; (93) [----] end if; (93) [----] end if; (93) [----] end for; (93) [----] T4.activation.active := T4.activation.active and true; (94) [ALGO] (1) ($RES_SIM_3) (94) [----] T5.activation.active := true; (94) [----] for i in 1:1 loop (94) [----] if T5.activation.disPlaceIn[i] then (94) [----] if (T5.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T5.activation.normalArc[i]) and not T5.activation.tIntIn[i] - T5.activation.arcWeightIntIn[i] >= T5.activation.minTokensInt[i] then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T5.activation.tIntIn[i] > T5.activation.testValueInt[i] then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T5.activation.tIntIn[i] >= T5.activation.testValueInt[i] then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T5.activation.tIntIn[i] < T5.activation.testValueInt[i] then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T5.activation.tIntIn[i] <= T5.activation.testValueInt[i] then (94) [----] T5.activation.active := false; (94) [----] end if; (94) [----] elseif true then (94) [----] if (T5.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T5.activation.normalArc[i]) and not T5.activation.tIn[i] - (T5.activation.minTokens[i] + T5.activation.arcWeightIn[i]) >= (-1e-9) then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T5.activation.tIn[i] > T5.activation.testValue[i] then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T5.activation.tIn[i] >= T5.activation.testValue[i] then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T5.activation.tIn[i] < T5.activation.testValue[i] then (94) [----] T5.activation.active := false; (94) [----] elseif T5.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T5.activation.tIn[i] <= T5.activation.testValue[i] then (94) [----] T5.activation.active := false; (94) [----] end if; (94) [----] end if; (94) [----] end for; (94) [----] T5.activation.active := T5.activation.active and true; (95) [ALGO] (1) ($RES_SIM_2) (95) [----] T6.activation.active := true; (95) [----] for i in 1:1 loop (95) [----] if T6.activation.disPlaceIn[i] then (95) [----] if (T6.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T6.activation.normalArc[i]) and not T6.activation.tIntIn[i] - T6.activation.arcWeightIntIn[i] >= T6.activation.minTokensInt[i] then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T6.activation.tIntIn[i] > T6.activation.testValueInt[i] then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T6.activation.tIntIn[i] >= T6.activation.testValueInt[i] then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T6.activation.tIntIn[i] < T6.activation.testValueInt[i] then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T6.activation.tIntIn[i] <= T6.activation.testValueInt[i] then (95) [----] T6.activation.active := false; (95) [----] end if; (95) [----] elseif true then (95) [----] if (T6.activation.arcType[i] == PNlib.Types.ArcType.NormalArc or not T6.activation.normalArc[i]) and not T6.activation.tIn[i] - (T6.activation.minTokens[i] + T6.activation.arcWeightIn[i]) >= (-1e-9) then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealTestArc and not T6.activation.tIn[i] > T6.activation.testValue[i] then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.TestArc and not T6.activation.tIn[i] >= T6.activation.testValue[i] then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.RealInhibitorArc and not T6.activation.tIn[i] < T6.activation.testValue[i] then (95) [----] T6.activation.active := false; (95) [----] elseif T6.activation.arcType[i] == PNlib.Types.ArcType.InhibitorArc and not T6.activation.tIn[i] <= T6.activation.testValue[i] then (95) [----] T6.activation.active := false; (95) [----] end if; (95) [----] end if; (95) [----] end for; (95) [----] T6.activation.active := T6.activation.active and true; (96) [SCAL] (1) $SEV_196 = (T4.fireTime + settings.timeFire >= time and settings.animateTransition) and T4.ani ($RES_EVT_590) (97) [SCAL] (1) $SEV_197 = T4.active and time >= T4.firingTime ($RES_EVT_591) (98) [SCAL] (1) $SEV_198 = T4.activation.active and not $PRE.T4.delayPassed ($RES_EVT_592) (99) [SCAL] (1) $SEV_199[1] = T3.disPlaceIn[1] and T3.arcWeightIn[1] - T3.arcWeightIntIn[1] <= 0.0 or not T3.disPlaceIn[1] ($RES_EVT_593) (100) [SCAL] (1) $SEV_200[1] = T3.arcWeightIn[1] >= 0.0 ($RES_EVT_594) (101) [SCAL] (1) $SEV_201 = (T3.fireTime + settings.timeFire >= time and settings.animateTransition) and T3.ani ($RES_EVT_595) (102) [SCAL] (1) $SEV_202 = T3.active and time >= T3.firingTime ($RES_EVT_596) (103) [SCAL] (1) $SEV_203 = T3.activation.active and not $PRE.T3.delayPassed ($RES_EVT_597) (104) [SCAL] (1) $SEV_204[1] = T2.disPlaceIn[1] and T2.arcWeightIn[1] - T2.arcWeightIntIn[1] <= 0.0 or not T2.disPlaceIn[1] ($RES_EVT_598) (105) [SCAL] (1) $SEV_205[1] = T2.arcWeightIn[1] >= 0.0 ($RES_EVT_599) (106) [ALGO] (2) ($RES_SIM_10) (106) [----] P1.disMarksIn.anytrue := false; (106) [----] P1.disMarksIn.numtrue := 0; (107) [ALGO] (2) ($RES_SIM_11) (107) [----] P1.disMarksOut.anytrue := false; (107) [----] P1.disMarksOut.numtrue := 0; (107) [----] for i in 1:6 loop (107) [----] P1.disMarksOut.anytrue := P1.disMarksOut.anytrue or P1.disMarksOut.vec[i]; (107) [----] if P1.disMarksOut.vec[i] then (107) [----] P1.disMarksOut.numtrue := P1.disMarksOut.numtrue + 1; (107) [----] end if; (107) [----] end for; (108) [ALGO] (2) ($RES_SIM_13) (108) [----] P1.enableOut.delayPassed := false; (108) [----] P1.delayPassedOut.numtrue := 0; (108) [----] for i in 1:6 loop (108) [----] P1.enableOut.delayPassed := P1.enableOut.delayPassed or P1.delayPassedOut.vec[i]; (108) [----] if P1.delayPassedOut.vec[i] then (108) [----] P1.delayPassedOut.numtrue := P1.delayPassedOut.numtrue + 1; (108) [----] end if; (108) [----] end for; (109) [ALGO] (43) ($RES_SIM_14) (109) [----] P1.enableOut.TEout := fill(false, 6); (109) [----] when P1.enableOut.delayPassed then (109) [----] P1.enableOut.disTAout := $FUN_6; (109) [----] P1.enableOut.arcWeightSum := $FUN_7; (109) [----] if P1.t_ - (P1.minMarks + P1.enableOut.arcWeightSum) >= (-1e-9) or abs(P1.enableOut.arcWeightSum) <= 1e-8 then (109) [----] P1.enableOut.TEout := P1.enableOut.TAout; (109) [----] elseif true then (109) [----] P1.enableOut.TEout := $FUN_8; (109) [----] if P1.enablingType == PNlib.Types.EnablingType.Priority then (109) [----] P1.enableOut.arcWeightSum := 0.0; (109) [----] for i in 1:6 loop (109) [----] P1.enableOut.Index := $FUN_9; (109) [----] if (P1.enableOut.Index > 0 and P1.enableOut.disTAout[P1.enableOut.Index]) and (P1.t_ - (P1.minMarks + P1.enableOut.arcWeight[P1.enableOut.Index] + P1.enableOut.arcWeightSum) >= (-1e-9) or abs(P1.enableOut.arcWeight[P1.enableOut.Index]) <= 1e-8) then (109) [----] P1.enableOut.TEout[P1.enableOut.Index] := true; (109) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.Index]; (109) [----] end if; (109) [----] end for; (109) [----] elseif true then (109) [----] P1.enableOut.arcWeightSum := 0.0; (109) [----] P1.enableOut.remTAout := fill(0, 6); (109) [----] P1.enableOut.nremTAout := 0; (109) [----] for i in 1:6 loop (109) [----] if P1.enableOut.disTAout[i] then (109) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout + 1; (109) [----] P1.enableOut.remTAout[P1.enableOut.nremTAout] := i; (109) [----] end if; (109) [----] end for; (109) [----] P1.enableOut.nTAout := P1.enableOut.nremTAout; (109) [----] P1.enableOut.sumEnablingProbTAout := $FUN_10; (109) [----] P1.enableOut.cumEnablingProb := fill(0.0, 6); (109) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (109) [----] for j in 2:P1.enableOut.nremTAout loop (109) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (109) [----] end for; (109) [----] for i in 1:P1.enableOut.nTAout loop (109) [----] (P1.enableOut.randNum, P1.enableOut.state128) := ($FUN_11, $FUN_12); (109) [----] P1.enableOut.endWhile := false; (109) [----] P1.enableOut.k := 1; (109) [----] while P1.enableOut.k <= P1.enableOut.nremTAout and not P1.enableOut.endWhile then (109) [----] if P1.enableOut.randNum <= P1.enableOut.cumEnablingProb[P1.enableOut.k] then (109) [----] P1.enableOut.posTE := P1.enableOut.remTAout[P1.enableOut.k]; (109) [----] P1.enableOut.endWhile := true; (109) [----] elseif true then (109) [----] P1.enableOut.k := P1.enableOut.k + 1; (109) [----] end if; (109) [----] end while; (109) [----] if P1.t_ - (P1.minMarks + P1.enableOut.arcWeight[P1.enableOut.posTE] + P1.enableOut.arcWeightSum) >= (-1e-9) or abs(P1.enableOut.arcWeight[i]) <= 1e-8 then (109) [----] P1.enableOut.arcWeightSum := P1.enableOut.arcWeightSum + P1.enableOut.arcWeight[P1.enableOut.posTE]; (109) [----] P1.enableOut.TEout[P1.enableOut.posTE] := true; (109) [----] end if; (109) [----] P1.enableOut.nremTAout := P1.enableOut.nremTAout - 1; (109) [----] if P1.enableOut.nremTAout > 0 then (109) [----] P1.enableOut.remTAout := $FUN_13; (109) [----] P1.enableOut.cumEnablingProb := fill(0.0, 6); (109) [----] P1.enableOut.sumEnablingProbTAout := $FUN_10; (109) [----] if P1.enableOut.sumEnablingProbTAout > 0.0 then (109) [----] P1.enableOut.cumEnablingProb[1] := P1.enableOut.enablingProb[P1.enableOut.remTAout[1]] / P1.enableOut.sumEnablingProbTAout; (109) [----] for j in 2:P1.enableOut.nremTAout loop (109) [----] P1.enableOut.cumEnablingProb[j] := P1.enableOut.cumEnablingProb[j - 1] + P1.enableOut.enablingProb[P1.enableOut.remTAout[j]] / P1.enableOut.sumEnablingProbTAout; (109) [----] end for; (109) [----] elseif true then (109) [----] P1.enableOut.cumEnablingProb[1:P1.enableOut.nremTAout] := fill(1.0 / P1.enableOut.nremTAout, P1.enableOut.nremTAout); (109) [----] end if; (109) [----] end if; (109) [----] end for; (109) [----] end if; (109) [----] end if; (109) [----] end when; (109) [----] for i in 1:6 loop (109) [----] P1.enableOut.TEout_[i] := P1.enableOut.TEout[i] and P1.enableOut.TAout[i]; (109) [----] end for; (110) [-IF-] (1)if T6.disPlaceIn[1] then (110) [----] [SCAL] (1) T6.arcWeightIntIn[1] = integer(T6.arcWeightIn[1]) ($RES_SIM_17) (110) [----] else (110) [----] [SCAL] (1) T6.arcWeightIntIn[1] = 1 ($RES_SIM_18) (110) [----] end if; (111) [ARRY] (3) T6.color = if $SEV_186 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_23) (112) [WHEN] (1)when T6.fire then (112) [----] T6.ani := true (112) [----] end when; (113) [WHEN] (1)when T6.fire then (113) [----] T6.fireTime := time (113) [----] end when; (114) [SCAL] (1) T6.delayPassed = $SEV_187 ($RES_SIM_27) (115) [WHEN] (1)when T6.active then (115) [----] T6.firingTime := time + T6.delay_ (115) [----] end when; (116) [SCAL] (1) T6.active = $SEV_188 ($RES_SIM_29) (117) [-IF-] (1)if T5.disPlaceIn[1] then (117) [----] [SCAL] (1) T5.arcWeightIntIn[1] = integer(T5.arcWeightIn[1]) ($RES_SIM_31) (117) [----] else (117) [----] [SCAL] (1) T5.arcWeightIntIn[1] = 1 ($RES_SIM_32) (117) [----] end if; (118) [ARRY] (3) T5.color = if $SEV_191 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_37) (119) [WHEN] (1)when T5.fire then (119) [----] T5.fireTime := time (119) [----] end when; (120) [WHEN] (1)when T5.fire then (120) [----] T5.ani := true (120) [----] end when; (121) [SCAL] (1) T5.delayPassed = $SEV_192 ($RES_SIM_41) (122) [WHEN] (1)when T5.active then (122) [----] T5.firingTime := time + T5.delay_ (122) [----] end when; (123) [SCAL] (1) T5.active = $SEV_193 ($RES_SIM_43) (124) [-IF-] (1)if T4.disPlaceIn[1] then (124) [----] [SCAL] (1) T4.arcWeightIntIn[1] = integer(T4.arcWeightIn[1]) ($RES_SIM_45) (124) [----] else (124) [----] [SCAL] (1) T4.arcWeightIntIn[1] = 1 ($RES_SIM_46) (124) [----] end if; (125) [FOR-] (6) ($RES_BND_301) (125) [----] for $i1 in 1:6 loop (125) [----] [SCAL] (1) P1.outTransition[$i1].fire = P1.fireOut[$i1] ($RES_BND_302) (125) [----] end for; (126) [FOR-] (6) ($RES_BND_303) (126) [----] for $i1 in 1:6 loop (126) [----] [SCAL] (1) P1.outTransition[$i1].active = P1.activeOut[$i1] ($RES_BND_304) (126) [----] end for; (127) [ARRY] (3) T4.color = if $SEV_196 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_51) (128) [WHEN] (1)when T4.fire then (128) [----] T4.ani := true (128) [----] end when; (129) [WHEN] (1)when T4.fire then (129) [----] T4.fireTime := time (129) [----] end when; (130) [SCAL] (1) T4.delayPassed = $SEV_197 ($RES_SIM_55) (131) [WHEN] (1)when T4.active then (131) [----] T4.firingTime := time + T4.delay_ (131) [----] end when; (132) [SCAL] (1) T4.active = $SEV_198 ($RES_SIM_57) (133) [ARRY] (6) P1.enableOut.arcWeight = P1.arcWeightOut ($RES_BND_310) (134) [-IF-] (1)if T3.disPlaceIn[1] then (134) [----] [SCAL] (1) T3.arcWeightIntIn[1] = integer(T3.arcWeightIn[1]) ($RES_SIM_59) (134) [----] else (134) [----] [SCAL] (1) T3.arcWeightIntIn[1] = 1 ($RES_SIM_60) (134) [----] end if; (135) [ARRY] (6) P1.enableOut.TAout = P1.activeOut ($RES_BND_313) (136) [ARRY] (6) P1.enableOut.enablingPrio = P1.enablingPrioOut ($RES_BND_315) (137) [ARRY] (6) P1.enableOut.enablingProb = P1.enablingProbOut ($RES_BND_316) (138) [ARRY] (6) P1.enableOut.disTransition = P1.disTransitionOut ($RES_BND_317) (139) [ARRY] (6) P1.delayPassedOut.vec = $SEV_225 ($RES_BND_319) (140) [SCAL] (1) T3.arcWeightIn[1] = 1.0 ($RES_BND_403) (141) [ARRY] (3) P1.color = if settings.animatePlace then if $SEV_217 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_103) (142) [SCAL] (1) P1.tokenscale = P1.pc_t * settings.scale ($RES_SIM_104) (143) [SCAL] (1) T3.inPlaces[1].maxSpeed = 0.0 ($RES_BND_405) (144) [SCAL] (1) P1.pc_t = noEvent(if $SEV_218 then P1.minMarks else if $SEV_219 then P1.maxMarks else P1.t_) ($RES_SIM_105) (145) [SCAL] (1) T3.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_406) (146) [FOR-] (6) ($RES_SIM_106) (146) [----] for $i1 in 1:6 loop (146) [----] [SCAL] (1) P1.preFireOut[$i1] = if P1.disTransitionOut[$i1] then P1.fireOut[$i1] else $TEV_1 ($RES_SIM_107) (146) [----] end for; (147) [SCAL] (1) T3.inPlaces[1].instSpeed = 0.0 ($RES_BND_407) (148) [SCAL] (1) P1.levelCon = (settings.M * P1.pc_t) / P1.N ($RES_SIM_108) (149) [SCAL] (1) T3.inPlaces[1].disTransition = true ($RES_BND_408) (150) [ARRY] (1) T3.inPlaces.arcWeightint = {T3.arcWeightIntIn[1]} ($RES_BND_409) (151) [ARRY] (3) T3.color = if $SEV_201 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_65) (152) [WHEN] (1)when T3.fire then (152) [----] T3.fireTime := time (152) [----] end when; (153) [WHEN] (1)when T3.fire then (153) [----] T3.ani := true (153) [----] end when; (154) [ARRY] (6) P1.disMarksOut.vec = $SEV_224 ($RES_BND_320) (155) [ARRY] (6) P1.emptying.vec = $SEV_223 ($RES_BND_321) (156) [SCAL] (1) T3.delayPassed = $SEV_202 ($RES_SIM_69) (157) [ARRY] (6) P1.firingSumOut.fire = P1.preFireOut ($RES_BND_322) (158) [ARRY] (6) P1.firingSumOut.arcWeight = P1.arcWeightOut ($RES_BND_323) (159) [ARRY] (6) P1.firingSumOut.instSpeed = P1.instSpeedOut ($RES_BND_324) (160) [ARRY] (6) P1.firingSumOut.disTransition = P1.disTransitionOut ($RES_BND_325) (161) [SCAL] (1) T1.arcWeightIn[1] = 1.0 ($RES_BND_327) (162) [SCAL] (1) T1.inPlaces[1].maxSpeed = 0.0 ($RES_BND_329) (163) [ARRY] (1) T3.inPlaces.arcWeight = {T3.arcWeightIn[1]} ($RES_BND_410) (164) [SCAL] (1) P1.disMarksInOut = $SEV_220 ($RES_SIM_110) (165) [SCAL] (1) P1.disMarkChange = -P1.firingSumOut.disFiringSum ($RES_SIM_111) (166) [ARRY] (1) T3.inPlaces.fire = {T3.fire} ($RES_BND_411) (167) [SCAL] (1) $DER.P1.t_ = P1.conMarkChange ($RES_SIM_112) (168) [ARRY] (1) T3.inPlaces.active = {T3.delayPassed} ($RES_BND_412) (169) [ARRY] (6) P1.decFactorOut = $FUN_5 ($RES_$AUX_573) (170) [SCAL] (1) P1.conMarkChange = -P1.firingSumOut.conFiringSum ($RES_SIM_113) (171) [ARRY] (1) T3.inPlaces.normalArc = {T3.normalArc[1]} ($RES_BND_413) (172) [ARRY] (1) T3.inPlaces.testValueint = {T3.testValueInt[1]} ($RES_BND_414) (173) [ARRY] (1) T3.inPlaces.testValue = {T3.testValue[1]} ($RES_BND_415) (174) [ARRY] (1) T3.inPlaces.arcType = {T3.arcType[1]} ($RES_BND_416) (175) [FOR-] (6) ($RES_SIM_117) (175) [----] for $i1 in 1:6 loop (175) [----] [-IF-] (1)if $SEV_221[$i1] then (175) [----] [----] [SCAL] (1) P1.firingSumOut.vec1[$i1] = P1.firingSumOut.arcWeight[$i1] * P1.firingSumOut.instSpeed[$i1] ($RES_SIM_119) (175) [----] [----] else (175) [----] [----] [SCAL] (1) P1.firingSumOut.vec1[$i1] = 0.0 ($RES_SIM_120) (175) [----] [----] end if; (175) [----] end for; (176) [ARRY] (1) T3.inPlaces.disPlace = {T3.disPlaceIn[1]} ($RES_BND_417) (177) [ARRY] (1) T3.inPlaces.enable = {T3.enableIn[1]} ($RES_BND_418) (178) [ARRY] (1) T3.inPlaces.minTokensint = {T3.minTokensInt[1]} ($RES_BND_419) (179) [WHEN] (1)when T3.active then (179) [----] T3.firingTime := time + T3.delay_ (179) [----] end when; (180) [SCAL] (1) T3.active = $SEV_203 ($RES_SIM_71) (181) [SCAL] (1) T3.inPlaces[1].normalArc = P1.outTransition[3].normalArc ($RES_SIM_200) (182) [-IF-] (1)if T2.disPlaceIn[1] then (182) [----] [SCAL] (1) T2.arcWeightIntIn[1] = integer(T2.arcWeightIn[1]) ($RES_SIM_73) (182) [----] else (182) [----] [SCAL] (1) T2.arcWeightIntIn[1] = 1 ($RES_SIM_74) (182) [----] end if; (183) [SCAL] (1) T3.inPlaces[1].minTokensint = P1.outTransition[3].minTokensint ($RES_SIM_201) (184) [SCAL] (1) T5.delay_ = 1.0 ($RES_BND_501) (185) [SCAL] (1) T3.inPlaces[1].minTokens = P1.outTransition[3].minTokens ($RES_SIM_202) (186) [ARRY] (1) T5.activation.tIn = T5.tIn ($RES_BND_502) (187) [SCAL] (1) T3.inPlaces[1].maxSpeed = P1.outTransition[3].maxSpeed ($RES_SIM_203) (188) [ARRY] (1) T5.activation.tIntIn = T5.tIntIn ($RES_BND_503) (189) [SCAL] (1) T3.inPlaces[1].instSpeed = P1.outTransition[3].instSpeed ($RES_SIM_204) (190) [ARRY] (1) T5.activation.arcType = T5.arcType ($RES_BND_504) (191) [ARRY] (1) T5.activation.arcWeightIn = T5.arcWeightIn ($RES_BND_505) (192) [SCAL] (1) T3.inPlaces[1].fire = P1.outTransition[3].fire ($RES_SIM_205) (193) [SCAL] (1) T1.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_330) (194) [SCAL] (1) T1.inPlaces[1].instSpeed = 0.0 ($RES_BND_331) (195) [ARRY] (1) T5.activation.arcWeightIntIn = T5.arcWeightIntIn ($RES_BND_506) (196) [ARRY] (3) T2.color = if $SEV_206 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_79) (197) [ARRY] (1) T5.activation.minTokens = T5.minTokens ($RES_BND_507) (198) [SCAL] (1) T3.inPlaces[1].enable = P1.outTransition[3].enable ($RES_SIM_207) (199) [SCAL] (1) T1.inPlaces[1].disTransition = true ($RES_BND_332) (200) [SCAL] (1) T3.inPlaces[1].disTransition = P1.outTransition[3].disTransition ($RES_SIM_208) (201) [ARRY] (1) T5.activation.minTokensInt = T5.minTokensInt ($RES_BND_508) (202) [ARRY] (1) T1.inPlaces.arcWeightint = {T1.arcWeightIntIn[1]} ($RES_BND_333) (203) [ARRY] (1) T1.inPlaces.arcWeight = {T1.arcWeightIn[1]} ($RES_BND_334) (204) [SCAL] (1) T3.inPlaces[1].disPlace = P1.outTransition[3].disPlace ($RES_SIM_209) (205) [ARRY] (1) T1.inPlaces.fire = {T1.fire} ($RES_BND_335) (206) [ARRY] (1) T1.inPlaces.active = {T1.delayPassed} ($RES_BND_336) (207) [ARRY] (1) T1.inPlaces.normalArc = {T1.normalArc[1]} ($RES_BND_337) (208) [ARRY] (1) T1.inPlaces.testValueint = {T1.testValueInt[1]} ($RES_BND_338) (209) [ARRY] (1) T1.inPlaces.testValue = {T1.testValue[1]} ($RES_BND_339) (210) [SCAL] (1) P1.firingSumOut.conFiringSum = sum(P1.firingSumOut.vec1) ($RES_$AUX_569) (211) [SCAL] (1) P1.firingSumOut.disFiringSum = sum(P1.firingSumOut.vec2) ($RES_$AUX_568) (212) [TUPL] (6) ($FUN_4, $FUN_5) = PNlib.Functions.decreasingFactor(0, 6, P1.t_, P1.minMarks, P1.maxMarks, 0.0, P1.firingSumOut.conFiringSum, {}, P1.maxSpeedOut, {}, P1.prelimSpeedOut, {}, P1.arcWeightOut, {}, $SEV_226) ($RES_$AUX_567) (213) [ARRY] (6) $FUN_6 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableOut.TAout, P1.enableOut.disTransition) ($RES_$AUX_566) (214) [ARRY] (1) T3.inPlaces.minTokens = {T3.minTokens[1]} ($RES_BND_420) (215) [SCAL] (1) $FUN_7 = PNlib.Functions.OddsAndEnds.conditionalSum(P1.enableOut.arcWeight, P1.enableOut.disTAout) ($RES_$AUX_565) (216) [FOR-] (6) ($RES_SIM_121) (216) [----] for $i1 in 1:6 loop (216) [----] [-IF-] (1)if $SEV_222[$i1] then (216) [----] [----] [SCAL] (1) P1.firingSumOut.vec2[$i1] = P1.firingSumOut.arcWeight[$i1] ($RES_SIM_123) (216) [----] [----] else (216) [----] [----] [SCAL] (1) P1.firingSumOut.vec2[$i1] = 0.0 ($RES_SIM_124) (216) [----] [----] end if; (216) [----] end for; (217) [ARRY] (1) T3.inPlaces.tint = {T3.tIntIn[1]} ($RES_BND_421) (218) [ARRY] (6) $FUN_8 = PNlib.Functions.OddsAndEnds.boolAnd(P1.enableOut.TAout, not P1.enableOut.disTransition) ($RES_$AUX_564) (219) [ARRY] (1) T3.inPlaces.t = {T3.tIn[1]} ($RES_BND_422) (220) [SCAL] (1) $FUN_9 = Modelica.Math.Vectors.find(i, P1.enableOut.enablingPrio, 0.0) ($RES_$AUX_563) (221) [SCAL] (1) $FUN_10 = sum(P1.enableOut.enablingProb[P1.enableOut.remTAout[1:P1.enableOut.nremTAout]]) ($RES_$AUX_562) (222) [TUPL] (5) ($FUN_11, $FUN_12) = Modelica.Math.Random.Generators.Xorshift128plus.random($TEV_3) ($RES_$AUX_561) (223) [SCAL] (1) T3.delay_ = 1.0 ($RES_BND_425) (224) [ARRY] (6) $FUN_13 = PNlib.Functions.OddsAndEnds.deleteElementInt(P1.enableOut.remTAout, P1.enableOut.k) ($RES_$AUX_560) (225) [ARRY] (1) T3.activation.tIn = T3.tIn ($RES_BND_426) (226) [SCAL] (1) T6.inPlaces[1].tokenInOut = P1.outTransition[6].tokenInOut ($RES_SIM_127) (227) [ARRY] (1) T3.activation.tIntIn = T3.tIntIn ($RES_BND_427) (228) [SCAL] (1) T6.inPlaces[1].tint = P1.outTransition[6].tint ($RES_SIM_128) (229) [ARRY] (1) T3.activation.arcType = T3.arcType ($RES_BND_428) (230) [ARRY] (1) T3.activation.arcWeightIn = T3.arcWeightIn ($RES_BND_429) (231) [SCAL] (1) T6.inPlaces[1].testValueint = P1.outTransition[6].testValueint ($RES_SIM_129) (232) [WHEN] (1)when T2.fire then (232) [----] T2.fireTime := time (232) [----] end when; (233) [WHEN] (1)when T2.fire then (233) [----] T2.ani := true (233) [----] end when; (234) [SCAL] (1) T3.inPlaces[1].decreasingFactor = P1.outTransition[3].decreasingFactor ($RES_SIM_210) (235) [ARRY] (1) T5.activation.disPlaceIn = T5.disPlaceIn ($RES_BND_510) (236) [SCAL] (1) T3.inPlaces[1].arcWeightint = P1.outTransition[3].arcWeightint ($RES_SIM_211) (237) [SCAL] (1) T2.delayPassed = $SEV_207 ($RES_SIM_83) (238) [ARRY] (1) T5.activation.normalArc = T5.normalArc ($RES_BND_511) (239) [ARRY] (1) T5.activation.testValue = T5.testValue ($RES_BND_512) (240) [SCAL] (1) T3.inPlaces[1].arcWeight = P1.outTransition[3].arcWeight ($RES_SIM_212) (241) [WHEN] (1)when T2.active then (241) [----] T2.firingTime := time + T2.delay_ (241) [----] end when; (242) [SCAL] (1) T3.inPlaces[1].arcType = P1.outTransition[3].arcType ($RES_SIM_213) (243) [SCAL] (1) T2.active = $SEV_208 ($RES_SIM_85) (244) [ARRY] (1) T5.activation.testValueInt = T5.testValueInt ($RES_BND_513) (245) [SCAL] (1) T3.inPlaces[1].active = P1.outTransition[3].active ($RES_SIM_214) (246) [-IF-] (1)if T1.disPlaceIn[1] then (246) [----] [SCAL] (1) T1.arcWeightIntIn[1] = integer(T1.arcWeightIn[1]) ($RES_SIM_87) (246) [----] else (246) [----] [SCAL] (1) T1.arcWeightIntIn[1] = 1 ($RES_SIM_88) (246) [----] end if; (247) [SCAL] (1) T2.inPlaces[1].tokenInOut = P1.outTransition[2].tokenInOut ($RES_SIM_215) (248) [ARRY] (1) T1.inPlaces.arcType = {T1.arcType[1]} ($RES_BND_340) (249) [SCAL] (1) T2.inPlaces[1].tint = P1.outTransition[2].tint ($RES_SIM_216) (250) [ARRY] (1) T1.inPlaces.disPlace = {T1.disPlaceIn[1]} ($RES_BND_341) (251) [SCAL] (1) T6.arcWeightIn[1] = 1.0 ($RES_BND_517) (252) [SCAL] (1) T2.inPlaces[1].testValueint = P1.outTransition[2].testValueint ($RES_SIM_217) (253) [ARRY] (1) T1.inPlaces.enable = {T1.enableIn[1]} ($RES_BND_342) (254) [SCAL] (1) T2.inPlaces[1].testValue = P1.outTransition[2].testValue ($RES_SIM_218) (255) [ARRY] (1) T1.inPlaces.minTokensint = {T1.minTokensInt[1]} ($RES_BND_343) (256) [SCAL] (1) T6.inPlaces[1].maxSpeed = 0.0 ($RES_BND_519) (257) [SCAL] (1) T2.inPlaces[1].t = P1.outTransition[2].t ($RES_SIM_219) (258) [ARRY] (1) T1.inPlaces.minTokens = {T1.minTokens[1]} ($RES_BND_344) (259) [ARRY] (1) T1.inPlaces.tint = {T1.tIntIn[1]} ($RES_BND_345) (260) [ARRY] (1) T1.inPlaces.t = {T1.tIn[1]} ($RES_BND_346) (261) [SCAL] (1) T1.delay_ = 1.0 ($RES_BND_349) (262) [SCAL] (1) T6.fire = PNlib.Functions.OddsAndEnds.allTrue(T6.enableIn) ($RES_$AUX_559) (263) [SCAL] (1) T5.fire = PNlib.Functions.OddsAndEnds.allTrue(T5.enableIn) ($RES_$AUX_558) (264) [SCAL] (1) T4.fire = PNlib.Functions.OddsAndEnds.allTrue(T4.enableIn) ($RES_$AUX_557) (265) [SCAL] (1) T3.fire = PNlib.Functions.OddsAndEnds.allTrue(T3.enableIn) ($RES_$AUX_556) (266) [SCAL] (1) $SEV_206 = (T2.fireTime + settings.timeFire >= time and settings.animateTransition) and T2.ani ($RES_EVT_600) (267) [SCAL] (1) T6.inPlaces[1].testValue = P1.outTransition[6].testValue ($RES_SIM_130) (268) [ARRY] (1) T3.activation.arcWeightIntIn = T3.arcWeightIntIn ($RES_BND_430) (269) [SCAL] (1) T2.fire = PNlib.Functions.OddsAndEnds.allTrue(T2.enableIn) ($RES_$AUX_555) (270) [SCAL] (1) $SEV_207 = T2.active and time >= T2.firingTime ($RES_EVT_601) (271) [ARRY] (1) T3.activation.minTokens = T3.minTokens ($RES_BND_431) (272) [SCAL] (1) T6.inPlaces[1].t = P1.outTransition[6].t ($RES_SIM_131) (273) [SCAL] (1) T1.fire = PNlib.Functions.OddsAndEnds.allTrue(T1.enableIn) ($RES_$AUX_554) (274) [SCAL] (1) $SEV_208 = T2.activation.active and not $PRE.T2.delayPassed ($RES_EVT_602) (275) [ARRY] (1) T3.activation.minTokensInt = T3.minTokensInt ($RES_BND_432) (276) [SCAL] (1) $SEV_209[1] = T1.disPlaceIn[1] and T1.arcWeightIn[1] - T1.arcWeightIntIn[1] <= 0.0 or not T1.disPlaceIn[1] ($RES_EVT_603) (277) [SCAL] (1) T6.inPlaces[1].prelimSpeed = P1.outTransition[6].prelimSpeed ($RES_SIM_133) (278) [SCAL] (1) $SEV_210[1] = T1.arcWeightIn[1] >= 0.0 ($RES_EVT_604) (279) [SCAL] (1) T6.inPlaces[1].normalArc = P1.outTransition[6].normalArc ($RES_SIM_134) (280) [ARRY] (1) T3.activation.disPlaceIn = T3.disPlaceIn ($RES_BND_434) (281) [SCAL] (1) $SEV_211 = (T1.fireTime + settings.timeFire >= time and settings.animateTransition) and T1.ani ($RES_EVT_605) (282) [SCAL] (1) T6.inPlaces[1].minTokensint = P1.outTransition[6].minTokensint ($RES_SIM_135) (283) [ARRY] (1) T3.activation.normalArc = T3.normalArc ($RES_BND_435) (284) [SCAL] (1) $SEV_212 = T1.active and time >= T1.firingTime ($RES_EVT_606) (285) [ARRY] (1) T3.activation.testValue = T3.testValue ($RES_BND_436) (286) [SCAL] (1) T6.inPlaces[1].minTokens = P1.outTransition[6].minTokens ($RES_SIM_136) (287) [SCAL] (1) $SEV_213 = T1.activation.active and not $PRE.T1.delayPassed ($RES_EVT_607) (288) [SCAL] (1) T6.inPlaces[1].maxSpeed = P1.outTransition[6].maxSpeed ($RES_SIM_137) (289) [ARRY] (1) T3.activation.testValueInt = T3.testValueInt ($RES_BND_437) (290) [SCAL] (1) T6.inPlaces[1].instSpeed = P1.outTransition[6].instSpeed ($RES_SIM_138) (291) [FOR-] (6) ($RES_BND_263) (291) [----] for $i1 in 1:6 loop (291) [----] [SCAL] (1) P1.outTransition[$i1].normalArc = false ($RES_BND_264) (291) [----] end for; (292) [SCAL] (1) T6.inPlaces[1].fire = P1.outTransition[6].fire ($RES_SIM_139) (293) [FOR-] (6) ($RES_BND_265) (293) [----] for $i1 in 1:6 loop (293) [----] [SCAL] (1) P1.outTransition[$i1].testValueint = -1 ($RES_BND_266) (293) [----] end for; (294) [FOR-] (6) ($RES_BND_267) (294) [----] for $i1 in 1:6 loop (294) [----] [SCAL] (1) P1.outTransition[$i1].testValue = -1.0 ($RES_BND_268) (294) [----] end for; (295) [SCAL] (1) T6.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_520) (296) [FOR-] (6) ($RES_BND_269) (296) [----] for $i1 in 1:6 loop (296) [----] [SCAL] (1) P1.outTransition[$i1].tokenInOut = $TEV_2 ($RES_BND_270) (296) [----] end for; (297) [SCAL] (1) T6.inPlaces[1].instSpeed = 0.0 ($RES_BND_521) (298) [SCAL] (1) T2.inPlaces[1].prelimSpeed = P1.outTransition[2].prelimSpeed ($RES_SIM_221) (299) [ARRY] (3) T1.color = if $SEV_211 then {255.0, 255.0, 0.0} else {0.0, 0.0, 0.0} ($RES_SIM_93) (300) [SCAL] (1) T2.inPlaces[1].normalArc = P1.outTransition[2].normalArc ($RES_SIM_222) (301) [WHEN] (1)when T1.fire then (301) [----] T1.ani := true (301) [----] end when; (302) [SCAL] (1) T6.inPlaces[1].disTransition = true ($RES_BND_522) (303) [SCAL] (1) T2.inPlaces[1].minTokensint = P1.outTransition[2].minTokensint ($RES_SIM_223) (304) [WHEN] (1)when T1.fire then (304) [----] T1.fireTime := time (304) [----] end when; (305) [ARRY] (1) T6.inPlaces.arcWeightint = {T6.arcWeightIntIn[1]} ($RES_BND_523) (306) [ARRY] (1) T6.inPlaces.arcWeight = {T6.arcWeightIn[1]} ($RES_BND_524) (307) [SCAL] (1) T2.inPlaces[1].minTokens = P1.outTransition[2].minTokens ($RES_SIM_224) (308) [SCAL] (1) T2.inPlaces[1].maxSpeed = P1.outTransition[2].maxSpeed ($RES_SIM_225) (309) [ARRY] (1) T1.activation.tIn = T1.tIn ($RES_BND_350) (310) [SCAL] (1) T1.delayPassed = $SEV_212 ($RES_SIM_97) (311) [ARRY] (1) T6.inPlaces.fire = {T6.fire} ($RES_BND_525) (312) [SCAL] (1) T2.inPlaces[1].instSpeed = P1.outTransition[2].instSpeed ($RES_SIM_226) (313) [WHEN] (1)when T1.active then (313) [----] T1.firingTime := time + T1.delay_ (313) [----] end when; (314) [ARRY] (1) T6.inPlaces.active = {T6.delayPassed} ($RES_BND_526) (315) [ARRY] (1) T1.activation.tIntIn = T1.tIntIn ($RES_BND_351) (316) [SCAL] (1) T2.inPlaces[1].fire = P1.outTransition[2].fire ($RES_SIM_227) (317) [SCAL] (1) T1.active = $SEV_213 ($RES_SIM_99) (318) [ARRY] (1) T6.inPlaces.normalArc = {T6.normalArc[1]} ($RES_BND_527) (319) [ARRY] (1) T1.activation.arcType = T1.arcType ($RES_BND_352) (320) [ARRY] (1) T1.activation.arcWeightIn = T1.arcWeightIn ($RES_BND_353) (321) [ARRY] (1) T6.inPlaces.testValueint = {T6.testValueInt[1]} ($RES_BND_528) (322) [ARRY] (1) T6.inPlaces.testValue = {T6.testValue[1]} ($RES_BND_529) (323) [SCAL] (1) T2.inPlaces[1].enable = P1.outTransition[2].enable ($RES_SIM_229) (324) [ARRY] (1) T1.activation.arcWeightIntIn = T1.arcWeightIntIn ($RES_BND_354) (325) [ARRY] (1) T1.activation.minTokens = T1.minTokens ($RES_BND_355) (326) [ARRY] (1) T1.activation.minTokensInt = T1.minTokensInt ($RES_BND_356) (327) [ARRY] (1) T1.activation.disPlaceIn = T1.disPlaceIn ($RES_BND_358) (328) [ARRY] (1) T1.activation.normalArc = T1.normalArc ($RES_BND_359) (329) [SCAL] (1) $SEV_217 = P1.tokenscale < 100.0 ($RES_EVT_611) (330) [SCAL] (1) T4.arcWeightIn[1] = 1.0 ($RES_BND_441) (331) [SCAL] (1) T6.inPlaces[1].enable = P1.outTransition[6].enable ($RES_SIM_141) (332) [SCAL] (1) $SEV_218 = P1.t_ < P1.minMarks ($RES_EVT_612) (333) [SCAL] (1) T6.inPlaces[1].disTransition = P1.outTransition[6].disTransition ($RES_SIM_142) (334) [SCAL] (1) $SEV_219 = P1.t_ > P1.maxMarks ($RES_EVT_613) (335) [SCAL] (1) T4.inPlaces[1].maxSpeed = 0.0 ($RES_BND_443) (336) [SCAL] (1) T6.inPlaces[1].disPlace = P1.outTransition[6].disPlace ($RES_SIM_143) (337) [SCAL] (1) $SEV_220 = $PRE.P1.disMarksOut.anytrue or $PRE.P1.disMarksIn.anytrue ($RES_EVT_614) (338) [SCAL] (1) T4.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_444) (339) [SCAL] (1) T6.inPlaces[1].decreasingFactor = P1.outTransition[6].decreasingFactor ($RES_SIM_144) (340) [FOR-] (6) ($RES_EVT_615) (340) [----] for $i1 in 1:6 loop (340) [----] [SCAL] (1) $SEV_221[$i1] = P1.firingSumOut.fire[$i1] and not P1.firingSumOut.disTransition[$i1] ($RES_EVT_616) (340) [----] end for; (341) [SCAL] (1) T4.inPlaces[1].instSpeed = 0.0 ($RES_BND_445) (342) [SCAL] (1) T6.inPlaces[1].arcWeightint = P1.outTransition[6].arcWeightint ($RES_SIM_145) (343) [SCAL] (1) T6.inPlaces[1].arcWeight = P1.outTransition[6].arcWeight ($RES_SIM_146) (344) [SCAL] (1) T4.inPlaces[1].disTransition = true ($RES_BND_446) (345) [FOR-] (6) ($RES_EVT_617) (345) [----] for $i1 in 1:6 loop (345) [----] [SCAL] (1) $SEV_222[$i1] = P1.firingSumOut.fire[$i1] and P1.firingSumOut.disTransition[$i1] ($RES_EVT_618) (345) [----] end for; (346) [SCAL] (1) T6.inPlaces[1].arcType = P1.outTransition[6].arcType ($RES_SIM_147) (347) [ARRY] (1) T4.inPlaces.arcWeightint = {T4.arcWeightIntIn[1]} ($RES_BND_447) (348) [ARRY] (1) T4.inPlaces.arcWeight = {T4.arcWeightIn[1]} ($RES_BND_448) (349) [SCAL] (1) T6.inPlaces[1].active = P1.outTransition[6].active ($RES_SIM_148) (350) [SCAL] (1) $SEV_223 = P1.preFireOut and not P1.disTransitionOut ($RES_EVT_619) (351) [SCAL] (1) T5.inPlaces[1].tokenInOut = P1.outTransition[5].tokenInOut ($RES_SIM_149) (352) [ARRY] (1) T4.inPlaces.fire = {T4.fire} ($RES_BND_449) (353) [FOR-] (6) ($RES_BND_275) (353) [----] for $i1 in 1:6 loop (353) [----] [SCAL] (1) P1.outTransition[$i1].arcType = PNlib.Types.ArcType.NormalArc ($RES_BND_276) (353) [----] end for; (354) [FOR-] (6) ($RES_BND_277) (354) [----] for $i1 in 1:6 loop (354) [----] [SCAL] (1) P1.outTransition[$i1].disPlace = false ($RES_BND_278) (354) [----] end for; (355) [SCAL] (1) T2.inPlaces[1].disTransition = P1.outTransition[2].disTransition ($RES_SIM_230) (356) [FOR-] (6) ($RES_BND_279) (356) [----] for $i1 in 1:6 loop (356) [----] [SCAL] (1) P1.outTransition[$i1].decreasingFactor = P1.decFactorOut[$i1] ($RES_BND_280) (356) [----] end for; (357) [ARRY] (1) T6.inPlaces.arcType = {T6.arcType[1]} ($RES_BND_530) (358) [SCAL] (1) T2.inPlaces[1].disPlace = P1.outTransition[2].disPlace ($RES_SIM_231) (359) [ARRY] (1) T6.inPlaces.disPlace = {T6.disPlaceIn[1]} ($RES_BND_531) (360) [SCAL] (1) T2.inPlaces[1].decreasingFactor = P1.outTransition[2].decreasingFactor ($RES_SIM_232) (361) [ARRY] (1) T6.inPlaces.enable = {T6.enableIn[1]} ($RES_BND_532) (362) [SCAL] (1) T2.inPlaces[1].arcWeightint = P1.outTransition[2].arcWeightint ($RES_SIM_233) (363) [ARRY] (1) T6.inPlaces.minTokensint = {T6.minTokensInt[1]} ($RES_BND_533) (364) [ARRY] (1) T6.inPlaces.minTokens = {T6.minTokens[1]} ($RES_BND_534) (365) [SCAL] (1) T2.inPlaces[1].arcWeight = P1.outTransition[2].arcWeight ($RES_SIM_234) (366) [SCAL] (1) T2.inPlaces[1].arcType = P1.outTransition[2].arcType ($RES_SIM_235) (367) [ARRY] (1) T1.activation.testValue = T1.testValue ($RES_BND_360) (368) [ARRY] (1) T6.inPlaces.tint = {T6.tIntIn[1]} ($RES_BND_535) (369) [ARRY] (1) T6.inPlaces.t = {T6.tIn[1]} ($RES_BND_536) (370) [SCAL] (1) T2.inPlaces[1].active = P1.outTransition[2].active ($RES_SIM_236) (371) [ARRY] (1) T1.activation.testValueInt = T1.testValueInt ($RES_BND_361) (372) [SCAL] (1) P1.outTransition[1].tokenInOut = T1.inPlaces[1].tokenInOut ($RES_SIM_237) (373) [SCAL] (1) P1.outTransition[1].tint = T1.inPlaces[1].tint ($RES_SIM_238) (374) [SCAL] (1) T6.delay_ = 1.0 ($RES_BND_539) (375) [SCAL] (1) P1.outTransition[1].testValueint = T1.inPlaces[1].testValueint ($RES_SIM_239) (376) [SCAL] (1) T2.arcWeightIn[1] = 1.0 ($RES_BND_365) (377) [SCAL] (1) T2.inPlaces[1].maxSpeed = 0.0 ($RES_BND_367) (378) [SCAL] (1) T2.inPlaces[1].prelimSpeed = 0.0 ($RES_BND_368) (379) [SCAL] (1) T2.inPlaces[1].instSpeed = 0.0 ($RES_BND_369) (380) [SCAL] (1) $SEV_224 = P1.fireOut and P1.disTransitionOut ($RES_EVT_620) (381) [SCAL] (1) T5.inPlaces[1].tint = P1.outTransition[5].tint ($RES_SIM_150) (382) [ARRY] (1) T4.inPlaces.active = {T4.delayPassed} ($RES_BND_450) (383) [SCAL] (1) $SEV_225 = P1.activeOut and P1.disTransitionOut ($RES_EVT_621) (384) [SCAL] (1) T5.inPlaces[1].testValueint = P1.outTransition[5].testValueint ($RES_SIM_151) (385) [ARRY] (1) T4.inPlaces.normalArc = {T4.normalArc[1]} ($RES_BND_451) (386) [SCAL] (1) $SEV_226 = P1.fireOut and not P1.disTransitionOut ($RES_EVT_622) (387) [SCAL] (1) T5.inPlaces[1].testValue = P1.outTransition[5].testValue ($RES_SIM_152) (388) [ARRY] (1) T4.inPlaces.testValueint = {T4.testValueInt[1]} ($RES_BND_452) (389) [ARRY] (1) T4.inPlaces.testValue = {T4.testValue[1]} ($RES_BND_453) (390) [SCAL] (1) T5.inPlaces[1].t = P1.outTransition[5].t ($RES_SIM_153) (391) [ARRY] (1) T4.inPlaces.arcType = {T4.arcType[1]} ($RES_BND_454) (392) [SCAL] (1) T5.inPlaces[1].prelimSpeed = P1.outTransition[5].prelimSpeed ($RES_SIM_155) (393) [ARRY] (1) T4.inPlaces.disPlace = {T4.disPlaceIn[1]} ($RES_BND_455) (394) [SCAL] (1) T5.inPlaces[1].normalArc = P1.outTransition[5].normalArc ($RES_SIM_156) (395) [ARRY] (1) T4.inPlaces.enable = {T4.enableIn[1]} ($RES_BND_456) (396) [FOR-] (6) ($RES_BND_281) (396) [----] for $i1 in 1:6 loop (396) [----] [SCAL] (1) P1.outTransition[$i1].enable = P1.enableOut.TEout_[$i1] ($RES_BND_282) (396) [----] end for; (397) [SCAL] (1) T5.inPlaces[1].minTokensint = P1.outTransition[5].minTokensint ($RES_SIM_157) (398) [ARRY] (1) T4.inPlaces.minTokensint = {T4.minTokensInt[1]} ($RES_BND_457) (399) [ARRY] (1) T4.inPlaces.minTokens = {T4.minTokens[1]} ($RES_BND_458) (400) [SCAL] (1) T5.inPlaces[1].minTokens = P1.outTransition[5].minTokens ($RES_SIM_158) (401) [FOR-] (6) ($RES_BND_283) (401) [----] for $i1 in 1:6 loop (401) [----] [SCAL] (1) P1.outTransition[$i1].minTokensint = 1 ($RES_BND_284) (401) [----] end for; (402) [SCAL] (1) T5.inPlaces[1].maxSpeed = P1.outTransition[5].maxSpeed ($RES_SIM_159) (403) [ARRY] (1) T4.inPlaces.tint = {T4.tIntIn[1]} ($RES_BND_459) (404) [FOR-] (6) ($RES_BND_285) (404) [----] for $i1 in 1:6 loop (404) [----] [SCAL] (1) P1.outTransition[$i1].minTokens = P1.minMarks ($RES_BND_286) (404) [----] end for; (405) [FOR-] (6) ($RES_BND_287) (405) [----] for $i1 in 1:6 loop (405) [----] [SCAL] (1) P1.outTransition[$i1].tint = 1 ($RES_BND_288) (405) [----] end for; (406) [ARRY] (1) T6.activation.tIn = T6.tIn ($RES_BND_540) (407) [SCAL] (1) P1.outTransition[1].testValue = T1.inPlaces[1].testValue ($RES_SIM_240) (408) [FOR-] (6) ($RES_BND_289) (408) [----] for $i1 in 1:6 loop (408) [----] [SCAL] (1) P1.outTransition[$i1].t = P1.t_ ($RES_BND_290) (408) [----] end for; (409) [SCAL] (1) P1.outTransition[1].t = T1.inPlaces[1].t ($RES_SIM_241) (410) [ARRY] (1) T6.activation.tIntIn = T6.tIntIn ($RES_BND_541) (411) [ARRY] (1) T6.activation.arcType = T6.arcType ($RES_BND_542) (412) [ARRY] (1) T6.activation.arcWeightIn = T6.arcWeightIn ($RES_BND_543) (413) [SCAL] (1) P1.outTransition[1].prelimSpeed = T1.inPlaces[1].prelimSpeed ($RES_SIM_243) (414) [SCAL] (1) P1.outTransition[1].normalArc = T1.inPlaces[1].normalArc ($RES_SIM_244) (415) [ARRY] (1) T6.activation.arcWeightIntIn = T6.arcWeightIntIn ($RES_BND_544) (416) [ARRY] (1) T6.activation.minTokens = T6.minTokens ($RES_BND_545) (417) [SCAL] (1) P1.outTransition[1].minTokensint = T1.inPlaces[1].minTokensint ($RES_SIM_245) (418) [SCAL] (1) T2.inPlaces[1].disTransition = true ($RES_BND_370) (419) [SCAL] (1) P1.outTransition[1].minTokens = T1.inPlaces[1].minTokens ($RES_SIM_246) (420) [ARRY] (1) T6.activation.minTokensInt = T6.minTokensInt ($RES_BND_546) (421) [ARRY] (1) T2.inPlaces.arcWeightint = {T2.arcWeightIntIn[1]} ($RES_BND_371) (422) [SCAL] (1) P1.outTransition[1].maxSpeed = T1.inPlaces[1].maxSpeed ($RES_SIM_247) (423) [ARRY] (1) T2.inPlaces.arcWeight = {T2.arcWeightIn[1]} ($RES_BND_372) (424) [SCAL] (1) P1.outTransition[1].instSpeed = T1.inPlaces[1].instSpeed ($RES_SIM_248) (425) [ARRY] (1) T6.activation.disPlaceIn = T6.disPlaceIn ($RES_BND_548) (426) [ARRY] (1) T2.inPlaces.fire = {T2.fire} ($RES_BND_373) (427) [SCAL] (1) P1.outTransition[1].fire = T1.inPlaces[1].fire ($RES_SIM_249) (428) [ARRY] (1) T6.activation.normalArc = T6.normalArc ($RES_BND_549) (429) [ARRY] (1) T2.inPlaces.active = {T2.delayPassed} ($RES_BND_374) (430) [ARRY] (1) T2.inPlaces.normalArc = {T2.normalArc[1]} ($RES_BND_375) (431) [ARRY] (1) T2.inPlaces.testValueint = {T2.testValueInt[1]} ($RES_BND_376) (432) [ARRY] (1) T2.inPlaces.testValue = {T2.testValue[1]} ($RES_BND_377) (433) [ARRY] (1) T2.inPlaces.arcType = {T2.arcType[1]} ($RES_BND_378) (434) [ARRY] (1) T2.inPlaces.disPlace = {T2.disPlaceIn[1]} ($RES_BND_379) (435) [ARRY] (1) T4.inPlaces.t = {T4.tIn[1]} ($RES_BND_460) (436) [SCAL] (1) T5.inPlaces[1].instSpeed = P1.outTransition[5].instSpeed ($RES_SIM_160) (437) [SCAL] (1) T5.inPlaces[1].fire = P1.outTransition[5].fire ($RES_SIM_161) (438) [SCAL] (1) T4.delay_ = 1.0 ($RES_BND_463) (439) [SCAL] (1) T5.inPlaces[1].enable = P1.outTransition[5].enable ($RES_SIM_163) (440) [ARRY] (1) T4.activation.tIn = T4.tIn ($RES_BND_464) (441) [SCAL] (1) T5.inPlaces[1].disTransition = P1.outTransition[5].disTransition ($RES_SIM_164) (442) [SCAL] (1) T5.inPlaces[1].disPlace = P1.outTransition[5].disPlace ($RES_SIM_165) (443) [ARRY] (1) T4.activation.tIntIn = T4.tIntIn ($RES_BND_465) (444) [SCAL] (1) T5.inPlaces[1].decreasingFactor = P1.outTransition[5].decreasingFactor ($RES_SIM_166) (445) [FOR-] (6) ($RES_BND_291) (445) [----] for $i1 in 1:6 loop (445) [----] [SCAL] (1) P1.outTransition[$i1].maxSpeed = P1.maxSpeedOut[$i1] ($RES_BND_292) (445) [----] end for; (446) [ARRY] (1) T4.activation.arcType = T4.arcType ($RES_BND_466) (447) [ARRY] (1) T4.activation.arcWeightIn = T4.arcWeightIn ($RES_BND_467) (448) [SCAL] (1) T5.inPlaces[1].arcWeightint = P1.outTransition[5].arcWeightint ($RES_SIM_167) (449) [SCAL] (1) T5.inPlaces[1].arcWeight = P1.outTransition[5].arcWeight ($RES_SIM_168) (450) [FOR-] (6) ($RES_BND_293) (450) [----] for $i1 in 1:6 loop (450) [----] [SCAL] (1) P1.outTransition[$i1].prelimSpeed = P1.prelimSpeedOut[$i1] ($RES_BND_294) (450) [----] end for; (451) [ARRY] (1) T4.activation.arcWeightIntIn = T4.arcWeightIntIn ($RES_BND_468) (452) [ARRY] (1) T4.activation.minTokens = T4.minTokens ($RES_BND_469) (453) [SCAL] (1) T5.inPlaces[1].arcType = P1.outTransition[5].arcType ($RES_SIM_169) (454) [FOR-] (6) ($RES_BND_295) (454) [----] for $i1 in 1:6 loop (454) [----] [SCAL] (1) P1.outTransition[$i1].instSpeed = P1.instSpeedOut[$i1] ($RES_BND_296) (454) [----] end for; (455) [FOR-] (6) ($RES_BND_297) (455) [----] for $i1 in 1:6 loop (455) [----] [SCAL] (1) P1.outTransition[$i1].disTransition = P1.disTransitionOut[$i1] ($RES_BND_298) (455) [----] end for; (456) [ARRY] (1) T6.activation.testValue = T6.testValue ($RES_BND_550) (457) [FOR-] (6) ($RES_BND_299) (457) [----] for $i1 in 1:6 loop (457) [----] [SCAL] (1) P1.outTransition[$i1].arcWeight = P1.arcWeightOut[$i1] ($RES_BND_300) (457) [----] end for; (458) [SCAL] (1) P1.outTransition[1].enable = T1.inPlaces[1].enable ($RES_SIM_251) (459) [ARRY] (1) T6.activation.testValueInt = T6.testValueInt ($RES_BND_551) (460) [SCAL] (1) P1.outTransition[1].disTransition = T1.inPlaces[1].disTransition ($RES_SIM_252) (461) [SCAL] (1) P1.outTransition[1].disPlace = T1.inPlaces[1].disPlace ($RES_SIM_253)