random 51 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913
  1. __ Current Time: 0.00 __________________________________________
  2. INITIAL CONDITIONS in model <Coupled.Generator>
  3. Initial State: 1.0
  4. Next scheduled internal transition at time 1.00
  5. INITIAL CONDITIONS in model <Coupled.RandomProcessor_1>
  6. Initial State: Random Processor State -- 0.662783459103
  7. Next scheduled internal transition at time inf
  8. INITIAL CONDITIONS in model <Coupled.RandomProcessor_2>
  9. Initial State: Random Processor State -- 2.8812925341
  10. Next scheduled internal transition at time inf
  11. INITIAL CONDITIONS in model <Coupled.RandomProcessor_3>
  12. Initial State: Random Processor State -- 0.942504493148
  13. Next scheduled internal transition at time inf
  14. __ Current Time: 1.00 __________________________________________
  15. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  16. Input Port Configuration:
  17. port <inport>:
  18. Eventsize = 1
  19. New State: Random Processor State -- 0.662783459103
  20. Next scheduled internal transition at time 1.66
  21. INTERNAL TRANSITION in model <Coupled.Generator>
  22. New State: 1.0
  23. Output Port Configuration:
  24. port <outport>:
  25. Eventsize = 1
  26. Next scheduled internal transition at time 2.00
  27. __ Current Time: 1.66 __________________________________________
  28. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  29. Input Port Configuration:
  30. port <inport>:
  31. Eventsize = 1
  32. New State: Random Processor State -- 2.8812925341
  33. Next scheduled internal transition at time 4.54
  34. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  35. New State: Random Processor State -- 1.76309843583
  36. Output Port Configuration:
  37. port <outport>:
  38. Eventsize = 1
  39. Next scheduled internal transition at time inf
  40. __ Current Time: 2.00 __________________________________________
  41. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  42. Input Port Configuration:
  43. port <inport>:
  44. Eventsize = 1
  45. New State: Random Processor State -- 1.76309843583
  46. Next scheduled internal transition at time 3.76
  47. INTERNAL TRANSITION in model <Coupled.Generator>
  48. New State: 1.0
  49. Output Port Configuration:
  50. port <outport>:
  51. Eventsize = 1
  52. Next scheduled internal transition at time 3.00
  53. __ Current Time: 3.00 __________________________________________
  54. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  55. Input Port Configuration:
  56. port <inport>:
  57. Eventsize = 1
  58. New State: Random Processor State -- 0.763098435829
  59. Next scheduled internal transition at time 3.76
  60. INTERNAL TRANSITION in model <Coupled.Generator>
  61. New State: 1.0
  62. Output Port Configuration:
  63. port <outport>:
  64. Eventsize = 1
  65. Next scheduled internal transition at time 4.00
  66. __ Current Time: 3.76 __________________________________________
  67. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  68. Input Port Configuration:
  69. port <inport>:
  70. Eventsize = 1
  71. New State: Random Processor State -- 0.780977534101
  72. Next scheduled internal transition at time 4.54
  73. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  74. New State: Random Processor State -- 1.651222571
  75. Output Port Configuration:
  76. port <outport>:
  77. Eventsize = 1
  78. Next scheduled internal transition at time 5.41
  79. __ Current Time: 4.00 __________________________________________
  80. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  81. Input Port Configuration:
  82. port <inport>:
  83. Eventsize = 1
  84. New State: Random Processor State -- 1.414320571
  85. Next scheduled internal transition at time 5.41
  86. INTERNAL TRANSITION in model <Coupled.Generator>
  87. New State: 1.0
  88. Output Port Configuration:
  89. port <outport>:
  90. Eventsize = 1
  91. Next scheduled internal transition at time 5.00
  92. __ Current Time: 4.54 __________________________________________
  93. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  94. Input Port Configuration:
  95. port <inport>:
  96. Eventsize = 1
  97. New State: Random Processor State -- 0.942504493148
  98. Next scheduled internal transition at time 5.49
  99. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  100. New State: Random Processor State -- 1.89791981345
  101. Output Port Configuration:
  102. port <outport>:
  103. Eventsize = 1
  104. Next scheduled internal transition at time 6.44
  105. __ Current Time: 5.00 __________________________________________
  106. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  107. Input Port Configuration:
  108. port <inport>:
  109. Eventsize = 1
  110. New State: Random Processor State -- 0.414320571
  111. Next scheduled internal transition at time 5.41
  112. INTERNAL TRANSITION in model <Coupled.Generator>
  113. New State: 1.0
  114. Output Port Configuration:
  115. port <outport>:
  116. Eventsize = 1
  117. Next scheduled internal transition at time 6.00
  118. __ Current Time: 5.41 __________________________________________
  119. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  120. Input Port Configuration:
  121. port <inport>:
  122. Eventsize = 1
  123. New State: Random Processor State -- 1.02767481345
  124. Next scheduled internal transition at time 6.44
  125. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  126. New State: Random Processor State -- 0.619383838685
  127. Output Port Configuration:
  128. port <outport>:
  129. Eventsize = 1
  130. Next scheduled internal transition at time 6.03
  131. __ Current Time: 5.49 __________________________________________
  132. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  133. New State: Random Processor State -- 0.824512540549
  134. Output Port Configuration:
  135. port <outport>:
  136. Eventsize = 1
  137. Next scheduled internal transition at time inf
  138. __ Current Time: 6.00 __________________________________________
  139. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  140. Input Port Configuration:
  141. port <inport>:
  142. Eventsize = 1
  143. New State: Random Processor State -- 0.033704838685
  144. Next scheduled internal transition at time 6.03
  145. INTERNAL TRANSITION in model <Coupled.Generator>
  146. New State: 1.0
  147. Output Port Configuration:
  148. port <outport>:
  149. Eventsize = 1
  150. Next scheduled internal transition at time 7.00
  151. __ Current Time: 6.03 __________________________________________
  152. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  153. Input Port Configuration:
  154. port <inport>:
  155. Eventsize = 1
  156. New State: Random Processor State -- 0.408290813452
  157. Next scheduled internal transition at time 6.44
  158. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  159. New State: Random Processor State -- 1.31312567973
  160. Output Port Configuration:
  161. port <outport>:
  162. Eventsize = 1
  163. Next scheduled internal transition at time 7.35
  164. __ Current Time: 6.44 __________________________________________
  165. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  166. Input Port Configuration:
  167. port <inport>:
  168. Eventsize = 1
  169. New State: Random Processor State -- 0.824512540549
  170. Next scheduled internal transition at time 7.27
  171. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  172. New State: Random Processor State -- 2.42934685553
  173. Output Port Configuration:
  174. port <outport>:
  175. Eventsize = 1
  176. Next scheduled internal transition at time 8.87
  177. __ Current Time: 7.00 __________________________________________
  178. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  179. Input Port Configuration:
  180. port <inport>:
  181. Eventsize = 1
  182. New State: Random Processor State -- 0.346830679727
  183. Next scheduled internal transition at time 7.35
  184. INTERNAL TRANSITION in model <Coupled.Generator>
  185. New State: 1.0
  186. Output Port Configuration:
  187. port <outport>:
  188. Eventsize = 1
  189. Next scheduled internal transition at time 8.00
  190. __ Current Time: 7.27 __________________________________________
  191. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  192. New State: Random Processor State -- 1.06264545705
  193. Output Port Configuration:
  194. port <outport>:
  195. Eventsize = 1
  196. Next scheduled internal transition at time inf
  197. __ Current Time: 7.35 __________________________________________
  198. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  199. Input Port Configuration:
  200. port <inport>:
  201. Eventsize = 1
  202. New State: Random Processor State -- 1.52451185553
  203. Next scheduled internal transition at time 8.87
  204. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  205. New State: Random Processor State -- 0.665444625669
  206. Output Port Configuration:
  207. port <outport>:
  208. Eventsize = 1
  209. Next scheduled internal transition at time 8.01
  210. __ Current Time: 8.00 __________________________________________
  211. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  212. Input Port Configuration:
  213. port <inport>:
  214. Eventsize = 1
  215. New State: Random Processor State -- 0.012275625669
  216. Next scheduled internal transition at time 8.01
  217. INTERNAL TRANSITION in model <Coupled.Generator>
  218. New State: 1.0
  219. Output Port Configuration:
  220. port <outport>:
  221. Eventsize = 1
  222. Next scheduled internal transition at time 9.00
  223. __ Current Time: 8.01 __________________________________________
  224. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  225. Input Port Configuration:
  226. port <inport>:
  227. Eventsize = 1
  228. New State: Random Processor State -- 0.859066855528
  229. Next scheduled internal transition at time 8.87
  230. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  231. New State: Random Processor State -- 2.75585952845
  232. Output Port Configuration:
  233. port <outport>:
  234. Eventsize = 1
  235. Next scheduled internal transition at time 10.77
  236. __ Current Time: 8.87 __________________________________________
  237. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  238. Input Port Configuration:
  239. port <inport>:
  240. Eventsize = 1
  241. New State: Random Processor State -- 1.06264545705
  242. Next scheduled internal transition at time 9.93
  243. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  244. New State: Random Processor State -- 1.72360200228
  245. Output Port Configuration:
  246. port <outport>:
  247. Eventsize = 1
  248. Next scheduled internal transition at time 10.59
  249. __ Current Time: 9.00 __________________________________________
  250. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  251. Input Port Configuration:
  252. port <inport>:
  253. Eventsize = 1
  254. New State: Random Processor State -- 1.76813552845
  255. Next scheduled internal transition at time 10.77
  256. INTERNAL TRANSITION in model <Coupled.Generator>
  257. New State: 1.0
  258. Output Port Configuration:
  259. port <outport>:
  260. Eventsize = 1
  261. Next scheduled internal transition at time 10.00
  262. __ Current Time: 9.93 __________________________________________
  263. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  264. New State: Random Processor State -- 2.17026902731
  265. Output Port Configuration:
  266. port <outport>:
  267. Eventsize = 1
  268. Next scheduled internal transition at time inf
  269. __ Current Time: 10.00 __________________________________________
  270. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  271. Input Port Configuration:
  272. port <inport>:
  273. Eventsize = 1
  274. New State: Random Processor State -- 0.768135528449
  275. Next scheduled internal transition at time 10.77
  276. INTERNAL TRANSITION in model <Coupled.Generator>
  277. New State: 1.0
  278. Output Port Configuration:
  279. port <outport>:
  280. Eventsize = 1
  281. Next scheduled internal transition at time 11.00
  282. __ Current Time: 10.59 __________________________________________
  283. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  284. Input Port Configuration:
  285. port <inport>:
  286. Eventsize = 1
  287. New State: Random Processor State -- 2.17026902731
  288. Next scheduled internal transition at time 12.77
  289. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  290. New State: Random Processor State -- 1.22700400123
  291. Output Port Configuration:
  292. port <outport>:
  293. Eventsize = 1
  294. Next scheduled internal transition at time 11.82
  295. __ Current Time: 10.77 __________________________________________
  296. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  297. Input Port Configuration:
  298. port <inport>:
  299. Eventsize = 1
  300. New State: Random Processor State -- 1.05381300123
  301. Next scheduled internal transition at time 11.82
  302. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  303. New State: Random Processor State -- 2.1368305815
  304. Output Port Configuration:
  305. port <outport>:
  306. Eventsize = 1
  307. Next scheduled internal transition at time 12.90
  308. __ Current Time: 11.00 __________________________________________
  309. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  310. Input Port Configuration:
  311. port <inport>:
  312. Eventsize = 1
  313. New State: Random Processor State -- 1.9049665815
  314. Next scheduled internal transition at time 12.90
  315. INTERNAL TRANSITION in model <Coupled.Generator>
  316. New State: 1.0
  317. Output Port Configuration:
  318. port <outport>:
  319. Eventsize = 1
  320. Next scheduled internal transition at time 12.00
  321. __ Current Time: 11.82 __________________________________________
  322. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  323. Input Port Configuration:
  324. port <inport>:
  325. Eventsize = 1
  326. New State: Random Processor State -- 0.943265027307
  327. Next scheduled internal transition at time 12.77
  328. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  329. New State: Random Processor State -- 1.27516405335
  330. Output Port Configuration:
  331. port <outport>:
  332. Eventsize = 1
  333. Next scheduled internal transition at time 13.10
  334. __ Current Time: 12.00 __________________________________________
  335. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  336. Input Port Configuration:
  337. port <inport>:
  338. Eventsize = 1
  339. New State: Random Processor State -- 0.904966581498
  340. Next scheduled internal transition at time 12.90
  341. INTERNAL TRANSITION in model <Coupled.Generator>
  342. New State: 1.0
  343. Output Port Configuration:
  344. port <outport>:
  345. Eventsize = 1
  346. Next scheduled internal transition at time 13.00
  347. __ Current Time: 12.77 __________________________________________
  348. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  349. New State: Random Processor State -- 0.57174357472
  350. Output Port Configuration:
  351. port <outport>:
  352. Eventsize = 1
  353. Next scheduled internal transition at time 13.34
  354. __ Current Time: 12.90 __________________________________________
  355. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  356. Input Port Configuration:
  357. port <inport>:
  358. Eventsize = 1
  359. New State: Random Processor State -- 0.19214605335
  360. Next scheduled internal transition at time 13.10
  361. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  362. New State: Random Processor State -- 1.22876728228
  363. Output Port Configuration:
  364. port <outport>:
  365. Eventsize = 1
  366. Next scheduled internal transition at time 14.13
  367. __ Current Time: 13.00 __________________________________________
  368. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  369. Input Port Configuration:
  370. port <inport>:
  371. Eventsize = 1
  372. New State: Random Processor State -- 1.13373428228
  373. Next scheduled internal transition at time 14.13
  374. INTERNAL TRANSITION in model <Coupled.Generator>
  375. New State: 1.0
  376. Output Port Configuration:
  377. port <outport>:
  378. Eventsize = 1
  379. Next scheduled internal transition at time 14.00
  380. __ Current Time: 13.10 __________________________________________
  381. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  382. Input Port Configuration:
  383. port <inport>:
  384. Eventsize = 1
  385. New State: Random Processor State -- 0.23984457472
  386. Next scheduled internal transition at time 13.34
  387. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  388. New State: Random Processor State -- 0.373581261646
  389. Output Port Configuration:
  390. port <outport>:
  391. Eventsize = 1
  392. Next scheduled internal transition at time 13.47
  393. __ Current Time: 13.34 __________________________________________
  394. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  395. New State: Random Processor State -- 2.48277556712
  396. Output Port Configuration:
  397. port <outport>:
  398. Eventsize = 1
  399. Next scheduled internal transition at time 15.82
  400. __ Current Time: 13.47 __________________________________________
  401. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  402. Input Port Configuration:
  403. port <inport>:
  404. Eventsize = 1
  405. New State: Random Processor State -- 2.34903956712
  406. Next scheduled internal transition at time 15.82
  407. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  408. New State: Random Processor State -- 1.17177555843
  409. Output Port Configuration:
  410. port <outport>:
  411. Eventsize = 1
  412. Next scheduled internal transition at time 14.64
  413. __ Current Time: 14.00 __________________________________________
  414. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  415. Input Port Configuration:
  416. port <inport>:
  417. Eventsize = 1
  418. New State: Random Processor State -- 0.13373428228
  419. Next scheduled internal transition at time 14.13
  420. INTERNAL TRANSITION in model <Coupled.Generator>
  421. New State: 1.0
  422. Output Port Configuration:
  423. port <outport>:
  424. Eventsize = 1
  425. Next scheduled internal transition at time 15.00
  426. __ Current Time: 14.13 __________________________________________
  427. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  428. Input Port Configuration:
  429. port <inport>:
  430. Eventsize = 1
  431. New State: Random Processor State -- 0.508735558432
  432. Next scheduled internal transition at time 14.64
  433. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  434. New State: Random Processor State -- 0.993456405616
  435. Output Port Configuration:
  436. port <outport>:
  437. Eventsize = 1
  438. Next scheduled internal transition at time 15.13
  439. __ Current Time: 14.64 __________________________________________
  440. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  441. Input Port Configuration:
  442. port <inport>:
  443. Eventsize = 1
  444. New State: Random Processor State -- 1.17726356712
  445. Next scheduled internal transition at time 15.82
  446. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  447. New State: Random Processor State -- 2.12749071559
  448. Output Port Configuration:
  449. port <outport>:
  450. Eventsize = 1
  451. Next scheduled internal transition at time 16.77
  452. __ Current Time: 15.00 __________________________________________
  453. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  454. Input Port Configuration:
  455. port <inport>:
  456. Eventsize = 1
  457. New State: Random Processor State -- 0.127190405616
  458. Next scheduled internal transition at time 15.13
  459. INTERNAL TRANSITION in model <Coupled.Generator>
  460. New State: 1.0
  461. Output Port Configuration:
  462. port <outport>:
  463. Eventsize = 1
  464. Next scheduled internal transition at time 16.00
  465. __ Current Time: 15.13 __________________________________________
  466. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  467. Input Port Configuration:
  468. port <inport>:
  469. Eventsize = 1
  470. New State: Random Processor State -- 1.64277071559
  471. Next scheduled internal transition at time 16.77
  472. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  473. New State: Random Processor State -- 1.30281878165
  474. Output Port Configuration:
  475. port <outport>:
  476. Eventsize = 1
  477. Next scheduled internal transition at time 16.43
  478. __ Current Time: 15.82 __________________________________________
  479. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  480. New State: Random Processor State -- 0.418142303769
  481. Output Port Configuration:
  482. port <outport>:
  483. Eventsize = 1
  484. Next scheduled internal transition at time 16.24
  485. __ Current Time: 16.00 __________________________________________
  486. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  487. Input Port Configuration:
  488. port <inport>:
  489. Eventsize = 1
  490. New State: Random Processor State -- 0.430008781647
  491. Next scheduled internal transition at time 16.43
  492. INTERNAL TRANSITION in model <Coupled.Generator>
  493. New State: 1.0
  494. Output Port Configuration:
  495. port <outport>:
  496. Eventsize = 1
  497. Next scheduled internal transition at time 17.00
  498. __ Current Time: 16.24 __________________________________________
  499. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  500. New State: Random Processor State -- 2.39292268865
  501. Output Port Configuration:
  502. port <outport>:
  503. Eventsize = 1
  504. Next scheduled internal transition at time 18.63
  505. __ Current Time: 16.43 __________________________________________
  506. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  507. Input Port Configuration:
  508. port <inport>:
  509. Eventsize = 1
  510. New State: Random Processor State -- 0.339951715589
  511. Next scheduled internal transition at time 16.77
  512. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  513. New State: Random Processor State -- 1.74965977398
  514. Output Port Configuration:
  515. port <outport>:
  516. Eventsize = 1
  517. Next scheduled internal transition at time 18.18
  518. __ Current Time: 16.77 __________________________________________
  519. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  520. Input Port Configuration:
  521. port <inport>:
  522. Eventsize = 1
  523. New State: Random Processor State -- 1.86083768865
  524. Next scheduled internal transition at time 18.63
  525. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  526. New State: Random Processor State -- 1.47653810422
  527. Output Port Configuration:
  528. port <outport>:
  529. Eventsize = 1
  530. Next scheduled internal transition at time 18.25
  531. __ Current Time: 17.00 __________________________________________
  532. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  533. Input Port Configuration:
  534. port <inport>:
  535. Eventsize = 1
  536. New State: Random Processor State -- 1.17966877398
  537. Next scheduled internal transition at time 18.18
  538. INTERNAL TRANSITION in model <Coupled.Generator>
  539. New State: 1.0
  540. Output Port Configuration:
  541. port <outport>:
  542. Eventsize = 1
  543. Next scheduled internal transition at time 18.00
  544. __ Current Time: 18.00 __________________________________________
  545. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  546. Input Port Configuration:
  547. port <inport>:
  548. Eventsize = 1
  549. New State: Random Processor State -- 0.179668773981
  550. Next scheduled internal transition at time 18.18
  551. INTERNAL TRANSITION in model <Coupled.Generator>
  552. New State: 1.0
  553. Output Port Configuration:
  554. port <outport>:
  555. Eventsize = 1
  556. Next scheduled internal transition at time 19.00
  557. __ Current Time: 18.18 __________________________________________
  558. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  559. Input Port Configuration:
  560. port <inport>:
  561. Eventsize = 1
  562. New State: Random Processor State -- 0.0668301042241
  563. Next scheduled internal transition at time 18.25
  564. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  565. New State: Random Processor State -- 1.42122536731
  566. Output Port Configuration:
  567. port <outport>:
  568. Eventsize = 1
  569. Next scheduled internal transition at time 19.60
  570. __ Current Time: 18.25 __________________________________________
  571. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  572. Input Port Configuration:
  573. port <inport>:
  574. Eventsize = 1
  575. New State: Random Processor State -- 0.384299688646
  576. Next scheduled internal transition at time 18.63
  577. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  578. New State: Random Processor State -- 0.572422629753
  579. Output Port Configuration:
  580. port <outport>:
  581. Eventsize = 1
  582. Next scheduled internal transition at time 18.82
  583. __ Current Time: 18.63 __________________________________________
  584. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  585. New State: Random Processor State -- 2.69326404012
  586. Output Port Configuration:
  587. port <outport>:
  588. Eventsize = 1
  589. Next scheduled internal transition at time 21.32
  590. __ Current Time: 18.82 __________________________________________
  591. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  592. Input Port Configuration:
  593. port <inport>:
  594. Eventsize = 1
  595. New State: Random Processor State -- 2.50514104012
  596. Next scheduled internal transition at time 21.32
  597. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  598. New State: Random Processor State -- 1.08144155019
  599. Output Port Configuration:
  600. port <outport>:
  601. Eventsize = 1
  602. Next scheduled internal transition at time 19.90
  603. __ Current Time: 19.00 __________________________________________
  604. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  605. Input Port Configuration:
  606. port <inport>:
  607. Eventsize = 1
  608. New State: Random Processor State -- 0.600894367311
  609. Next scheduled internal transition at time 19.60
  610. INTERNAL TRANSITION in model <Coupled.Generator>
  611. New State: 1.0
  612. Output Port Configuration:
  613. port <outport>:
  614. Eventsize = 1
  615. Next scheduled internal transition at time 20.00
  616. __ Current Time: 19.60 __________________________________________
  617. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  618. Input Port Configuration:
  619. port <inport>:
  620. Eventsize = 1
  621. New State: Random Processor State -- 0.29946955019
  622. Next scheduled internal transition at time 19.90
  623. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  624. New State: Random Processor State -- 2.9033528312
  625. Output Port Configuration:
  626. port <outport>:
  627. Eventsize = 1
  628. Next scheduled internal transition at time 22.50
  629. __ Current Time: 19.90 __________________________________________
  630. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  631. Input Port Configuration:
  632. port <inport>:
  633. Eventsize = 1
  634. New State: Random Processor State -- 1.42369904012
  635. Next scheduled internal transition at time 21.32
  636. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  637. New State: Random Processor State -- 1.43462104923
  638. Output Port Configuration:
  639. port <outport>:
  640. Eventsize = 1
  641. Next scheduled internal transition at time 21.33
  642. __ Current Time: 20.00 __________________________________________
  643. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  644. Input Port Configuration:
  645. port <inport>:
  646. Eventsize = 1
  647. New State: Random Processor State -- 2.5042468312
  648. Next scheduled internal transition at time 22.50
  649. INTERNAL TRANSITION in model <Coupled.Generator>
  650. New State: 1.0
  651. Output Port Configuration:
  652. port <outport>:
  653. Eventsize = 1
  654. Next scheduled internal transition at time 21.00
  655. __ Current Time: 21.00 __________________________________________
  656. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  657. Input Port Configuration:
  658. port <inport>:
  659. Eventsize = 1
  660. New State: Random Processor State -- 1.5042468312
  661. Next scheduled internal transition at time 22.50
  662. INTERNAL TRANSITION in model <Coupled.Generator>
  663. New State: 1.0
  664. Output Port Configuration:
  665. port <outport>:
  666. Eventsize = 1
  667. Next scheduled internal transition at time 22.00
  668. __ Current Time: 21.32 __________________________________________
  669. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  670. New State: Random Processor State -- 0.849074539475
  671. Output Port Configuration:
  672. port <outport>:
  673. Eventsize = 1
  674. Next scheduled internal transition at time 22.17
  675. __ Current Time: 21.33 __________________________________________
  676. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  677. Input Port Configuration:
  678. port <inport>:
  679. Eventsize = 1
  680. New State: Random Processor State -- 0.838152539475
  681. Next scheduled internal transition at time 22.17
  682. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  683. New State: Random Processor State -- 0.531681834534
  684. Output Port Configuration:
  685. port <outport>:
  686. Eventsize = 1
  687. Next scheduled internal transition at time inf
  688. __ Current Time: 22.00 __________________________________________
  689. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  690. Input Port Configuration:
  691. port <inport>:
  692. Eventsize = 1
  693. New State: Random Processor State -- 0.504246831204
  694. Next scheduled internal transition at time 22.50
  695. INTERNAL TRANSITION in model <Coupled.Generator>
  696. New State: 1.0
  697. Output Port Configuration:
  698. port <outport>:
  699. Eventsize = 1
  700. Next scheduled internal transition at time 23.00
  701. __ Current Time: 22.17 __________________________________________
  702. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  703. New State: Random Processor State -- 0.344495880264
  704. Output Port Configuration:
  705. port <outport>:
  706. Eventsize = 1
  707. Next scheduled internal transition at time 22.52
  708. __ Current Time: 22.50 __________________________________________
  709. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  710. Input Port Configuration:
  711. port <inport>:
  712. Eventsize = 1
  713. New State: Random Processor State -- 0.531681834534
  714. Next scheduled internal transition at time 23.04
  715. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  716. New State: Random Processor State -- 0.339687549306
  717. Output Port Configuration:
  718. port <outport>:
  719. Eventsize = 1
  720. Next scheduled internal transition at time 22.84
  721. __ Current Time: 22.52 __________________________________________
  722. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  723. New State: Random Processor State -- 2.90198766458
  724. Output Port Configuration:
  725. port <outport>:
  726. Eventsize = 1
  727. Next scheduled internal transition at time 25.42
  728. __ Current Time: 22.84 __________________________________________
  729. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  730. Input Port Configuration:
  731. port <inport>:
  732. Eventsize = 1
  733. New State: Random Processor State -- 0.191993834534
  734. Next scheduled internal transition at time 23.04
  735. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  736. New State: Random Processor State -- 0.388242993386
  737. Output Port Configuration:
  738. port <outport>:
  739. Eventsize = 1
  740. Next scheduled internal transition at time 23.23
  741. __ Current Time: 23.00 __________________________________________
  742. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  743. Input Port Configuration:
  744. port <inport>:
  745. Eventsize = 1
  746. New State: Random Processor State -- 0.232177993386
  747. Next scheduled internal transition at time 23.23
  748. INTERNAL TRANSITION in model <Coupled.Generator>
  749. New State: 1.0
  750. Output Port Configuration:
  751. port <outport>:
  752. Eventsize = 1
  753. Next scheduled internal transition at time 24.00
  754. __ Current Time: 23.04 __________________________________________
  755. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  756. Input Port Configuration:
  757. port <inport>:
  758. Eventsize = 1
  759. New State: Random Processor State -- 2.38369266458
  760. Next scheduled internal transition at time 25.42
  761. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  762. New State: Random Processor State -- 1.59745737453
  763. Output Port Configuration:
  764. port <outport>:
  765. Eventsize = 1
  766. Next scheduled internal transition at time 24.63
  767. __ Current Time: 23.23 __________________________________________
  768. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  769. Input Port Configuration:
  770. port <inport>:
  771. Eventsize = 1
  772. New State: Random Processor State -- 1.40120837453
  773. Next scheduled internal transition at time 24.63
  774. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  775. New State: Random Processor State -- 2.41192607017
  776. Output Port Configuration:
  777. port <outport>:
  778. Eventsize = 1
  779. Next scheduled internal transition at time 25.64
  780. __ Current Time: 24.00 __________________________________________
  781. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  782. Input Port Configuration:
  783. port <inport>:
  784. Eventsize = 1
  785. New State: Random Processor State -- 1.64410407017
  786. Next scheduled internal transition at time 25.64
  787. INTERNAL TRANSITION in model <Coupled.Generator>
  788. New State: 1.0
  789. Output Port Configuration:
  790. port <outport>:
  791. Eventsize = 1
  792. Next scheduled internal transition at time 25.00
  793. __ Current Time: 24.63 __________________________________________
  794. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  795. Input Port Configuration:
  796. port <inport>:
  797. Eventsize = 1
  798. New State: Random Processor State -- 0.786235664575
  799. Next scheduled internal transition at time 25.42
  800. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  801. New State: Random Processor State -- 1.44393799632
  802. Output Port Configuration:
  803. port <outport>:
  804. Eventsize = 1
  805. Next scheduled internal transition at time 26.08
  806. __ Current Time: 25.00 __________________________________________
  807. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  808. Input Port Configuration:
  809. port <inport>:
  810. Eventsize = 1
  811. New State: Random Processor State -- 0.644104070169
  812. Next scheduled internal transition at time 25.64
  813. INTERNAL TRANSITION in model <Coupled.Generator>
  814. New State: 1.0
  815. Output Port Configuration:
  816. port <outport>:
  817. Eventsize = 1
  818. Next scheduled internal transition at time 26.00
  819. __ Current Time: 25.42 __________________________________________
  820. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  821. New State: Random Processor State -- 1.80850984
  822. Output Port Configuration:
  823. port <outport>:
  824. Eventsize = 1
  825. Next scheduled internal transition at time 27.23
  826. __ Current Time: 25.64 __________________________________________
  827. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  828. Input Port Configuration:
  829. port <inport>:
  830. Eventsize = 1
  831. New State: Random Processor State -- 0.433219996315
  832. Next scheduled internal transition at time 26.08
  833. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  834. New State: Random Processor State -- 1.32823744592
  835. Output Port Configuration:
  836. port <outport>:
  837. Eventsize = 1
  838. Next scheduled internal transition at time 26.97
  839. __ Current Time: 26.00 __________________________________________
  840. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  841. Input Port Configuration:
  842. port <inport>:
  843. Eventsize = 1
  844. New State: Random Processor State -- 0.972341445922
  845. Next scheduled internal transition at time 26.97
  846. INTERNAL TRANSITION in model <Coupled.Generator>
  847. New State: 1.0
  848. Output Port Configuration:
  849. port <outport>:
  850. Eventsize = 1
  851. Next scheduled internal transition at time 27.00
  852. __ Current Time: 26.08 __________________________________________
  853. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  854. Input Port Configuration:
  855. port <inport>:
  856. Eventsize = 1
  857. New State: Random Processor State -- 1.15080784
  858. Next scheduled internal transition at time 27.23
  859. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  860. New State: Random Processor State -- 0.310590694884
  861. Output Port Configuration:
  862. port <outport>:
  863. Eventsize = 1
  864. Next scheduled internal transition at time 26.39
  865. __ Current Time: 26.39 __________________________________________
  866. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  867. Input Port Configuration:
  868. port <inport>:
  869. Eventsize = 1
  870. New State: Random Processor State -- 0.840216839997
  871. Next scheduled internal transition at time 27.23
  872. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  873. New State: Random Processor State -- 0.58650281823
  874. Output Port Configuration:
  875. port <outport>:
  876. Eventsize = 1
  877. Next scheduled internal transition at time inf
  878. __ Current Time: 26.97 __________________________________________
  879. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  880. Input Port Configuration:
  881. port <inport>:
  882. Eventsize = 1
  883. New State: Random Processor State -- 0.58650281823
  884. Next scheduled internal transition at time 27.56
  885. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  886. New State: Random Processor State -- 1.94766271555
  887. Output Port Configuration:
  888. port <outport>:
  889. Eventsize = 1
  890. Next scheduled internal transition at time 28.92
  891. __ Current Time: 27.00 __________________________________________
  892. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  893. Input Port Configuration:
  894. port <inport>:
  895. Eventsize = 1
  896. New State: Random Processor State -- 1.92000371555
  897. Next scheduled internal transition at time 28.92
  898. INTERNAL TRANSITION in model <Coupled.Generator>
  899. New State: 1.0
  900. Output Port Configuration:
  901. port <outport>:
  902. Eventsize = 1
  903. Next scheduled internal transition at time 28.00
  904. __ Current Time: 27.23 __________________________________________
  905. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  906. New State: Random Processor State -- 1.12797623332
  907. Output Port Configuration:
  908. port <outport>:
  909. Eventsize = 1
  910. Next scheduled internal transition at time 28.36
  911. __ Current Time: 27.56 __________________________________________
  912. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  913. Input Port Configuration:
  914. port <inport>:
  915. Eventsize = 1
  916. New State: Random Processor State -- 0.797264233317
  917. Next scheduled internal transition at time 28.36
  918. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  919. New State: Random Processor State -- 2.73101191782
  920. Output Port Configuration:
  921. port <outport>:
  922. Eventsize = 1
  923. Next scheduled internal transition at time inf
  924. __ Current Time: 28.00 __________________________________________
  925. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  926. Input Port Configuration:
  927. port <inport>:
  928. Eventsize = 1
  929. New State: Random Processor State -- 0.920003715554
  930. Next scheduled internal transition at time 28.92
  931. INTERNAL TRANSITION in model <Coupled.Generator>
  932. New State: 1.0
  933. Output Port Configuration:
  934. port <outport>:
  935. Eventsize = 1
  936. Next scheduled internal transition at time 29.00
  937. __ Current Time: 28.36 __________________________________________
  938. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  939. New State: Random Processor State -- 2.85331597887
  940. Output Port Configuration:
  941. port <outport>:
  942. Eventsize = 1
  943. Next scheduled internal transition at time 31.21
  944. __ Current Time: 28.92 __________________________________________
  945. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  946. Input Port Configuration:
  947. port <inport>:
  948. Eventsize = 1
  949. New State: Random Processor State -- 2.73101191782
  950. Next scheduled internal transition at time 31.65
  951. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  952. New State: Random Processor State -- 2.72001129166
  953. Output Port Configuration:
  954. port <outport>:
  955. Eventsize = 1
  956. Next scheduled internal transition at time 31.64
  957. __ Current Time: 29.00 __________________________________________
  958. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  959. Input Port Configuration:
  960. port <inport>:
  961. Eventsize = 1
  962. New State: Random Processor State -- 2.64001529166
  963. Next scheduled internal transition at time 31.64
  964. INTERNAL TRANSITION in model <Coupled.Generator>
  965. New State: 1.0
  966. Output Port Configuration:
  967. port <outport>:
  968. Eventsize = 1
  969. Next scheduled internal transition at time 30.00
  970. __ Current Time: 30.00 __________________________________________
  971. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  972. Input Port Configuration:
  973. port <inport>:
  974. Eventsize = 1
  975. New State: Random Processor State -- 1.64001529166
  976. Next scheduled internal transition at time 31.64
  977. INTERNAL TRANSITION in model <Coupled.Generator>
  978. New State: 1.0
  979. Output Port Configuration:
  980. port <outport>:
  981. Eventsize = 1
  982. Next scheduled internal transition at time 31.00
  983. __ Current Time: 31.00 __________________________________________
  984. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  985. Input Port Configuration:
  986. port <inport>:
  987. Eventsize = 1
  988. New State: Random Processor State -- 0.640015291664
  989. Next scheduled internal transition at time 31.64
  990. INTERNAL TRANSITION in model <Coupled.Generator>
  991. New State: 1.0
  992. Output Port Configuration:
  993. port <outport>:
  994. Eventsize = 1
  995. Next scheduled internal transition at time 32.00
  996. __ Current Time: 31.21 __________________________________________
  997. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  998. New State: Random Processor State -- 2.93665743396
  999. Output Port Configuration:
  1000. port <outport>:
  1001. Eventsize = 1
  1002. Next scheduled internal transition at time 34.15
  1003. __ Current Time: 31.64 __________________________________________
  1004. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1005. Input Port Configuration:
  1006. port <inport>:
  1007. Eventsize = 1
  1008. New State: Random Processor State -- 0.0110009178169
  1009. Next scheduled internal transition at time 31.65
  1010. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1011. New State: Random Processor State -- 1.21050695682
  1012. Output Port Configuration:
  1013. port <outport>:
  1014. Eventsize = 1
  1015. Next scheduled internal transition at time 32.85
  1016. __ Current Time: 31.65 __________________________________________
  1017. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1018. Input Port Configuration:
  1019. port <inport>:
  1020. Eventsize = 1
  1021. New State: Random Processor State -- 2.49506543396
  1022. Next scheduled internal transition at time 34.15
  1023. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1024. New State: Random Processor State -- 0.322862125191
  1025. Output Port Configuration:
  1026. port <outport>:
  1027. Eventsize = 1
  1028. Next scheduled internal transition at time 31.97
  1029. __ Current Time: 31.97 __________________________________________
  1030. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1031. Input Port Configuration:
  1032. port <inport>:
  1033. Eventsize = 1
  1034. New State: Random Processor State -- 2.17220343396
  1035. Next scheduled internal transition at time 34.15
  1036. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1037. New State: Random Processor State -- 2.78390982226
  1038. Output Port Configuration:
  1039. port <outport>:
  1040. Eventsize = 1
  1041. Next scheduled internal transition at time inf
  1042. __ Current Time: 32.00 __________________________________________
  1043. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1044. Input Port Configuration:
  1045. port <inport>:
  1046. Eventsize = 1
  1047. New State: Random Processor State -- 0.850521956819
  1048. Next scheduled internal transition at time 32.85
  1049. INTERNAL TRANSITION in model <Coupled.Generator>
  1050. New State: 1.0
  1051. Output Port Configuration:
  1052. port <outport>:
  1053. Eventsize = 1
  1054. Next scheduled internal transition at time 33.00
  1055. __ Current Time: 32.85 __________________________________________
  1056. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1057. Input Port Configuration:
  1058. port <inport>:
  1059. Eventsize = 1
  1060. New State: Random Processor State -- 2.78390982226
  1061. Next scheduled internal transition at time 35.63
  1062. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1063. New State: Random Processor State -- 0.467833929237
  1064. Output Port Configuration:
  1065. port <outport>:
  1066. Eventsize = 1
  1067. Next scheduled internal transition at time 33.32
  1068. __ Current Time: 33.00 __________________________________________
  1069. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1070. Input Port Configuration:
  1071. port <inport>:
  1072. Eventsize = 1
  1073. New State: Random Processor State -- 0.318355929237
  1074. Next scheduled internal transition at time 33.32
  1075. INTERNAL TRANSITION in model <Coupled.Generator>
  1076. New State: 1.0
  1077. Output Port Configuration:
  1078. port <outport>:
  1079. Eventsize = 1
  1080. Next scheduled internal transition at time 34.00
  1081. __ Current Time: 33.32 __________________________________________
  1082. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1083. Input Port Configuration:
  1084. port <inport>:
  1085. Eventsize = 1
  1086. New State: Random Processor State -- 2.31607582226
  1087. Next scheduled internal transition at time 35.63
  1088. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1089. New State: Random Processor State -- 1.38939228409
  1090. Output Port Configuration:
  1091. port <outport>:
  1092. Eventsize = 1
  1093. Next scheduled internal transition at time 34.71
  1094. __ Current Time: 34.00 __________________________________________
  1095. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1096. Input Port Configuration:
  1097. port <inport>:
  1098. Eventsize = 1
  1099. New State: Random Processor State -- 0.707748284086
  1100. Next scheduled internal transition at time 34.71
  1101. INTERNAL TRANSITION in model <Coupled.Generator>
  1102. New State: 1.0
  1103. Output Port Configuration:
  1104. port <outport>:
  1105. Eventsize = 1
  1106. Next scheduled internal transition at time 35.00
  1107. __ Current Time: 34.15 __________________________________________
  1108. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1109. New State: Random Processor State -- 2.88581692608
  1110. Output Port Configuration:
  1111. port <outport>:
  1112. Eventsize = 1
  1113. Next scheduled internal transition at time 37.03
  1114. __ Current Time: 34.71 __________________________________________
  1115. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1116. Input Port Configuration:
  1117. port <inport>:
  1118. Eventsize = 1
  1119. New State: Random Processor State -- 0.92668382226
  1120. Next scheduled internal transition at time 35.63
  1121. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1122. New State: Random Processor State -- 2.73750544142
  1123. Output Port Configuration:
  1124. port <outport>:
  1125. Eventsize = 1
  1126. Next scheduled internal transition at time 37.45
  1127. __ Current Time: 35.00 __________________________________________
  1128. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1129. Input Port Configuration:
  1130. port <inport>:
  1131. Eventsize = 1
  1132. New State: Random Processor State -- 2.44525344142
  1133. Next scheduled internal transition at time 37.45
  1134. INTERNAL TRANSITION in model <Coupled.Generator>
  1135. New State: 1.0
  1136. Output Port Configuration:
  1137. port <outport>:
  1138. Eventsize = 1
  1139. Next scheduled internal transition at time 36.00
  1140. __ Current Time: 35.63 __________________________________________
  1141. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1142. Input Port Configuration:
  1143. port <inport>:
  1144. Eventsize = 1
  1145. New State: Random Processor State -- 1.39746592608
  1146. Next scheduled internal transition at time 37.03
  1147. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1148. New State: Random Processor State -- 1.09825287781
  1149. Output Port Configuration:
  1150. port <outport>:
  1151. Eventsize = 1
  1152. Next scheduled internal transition at time 36.73
  1153. __ Current Time: 36.00 __________________________________________
  1154. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1155. Input Port Configuration:
  1156. port <inport>:
  1157. Eventsize = 1
  1158. New State: Random Processor State -- 1.44525344142
  1159. Next scheduled internal transition at time 37.45
  1160. INTERNAL TRANSITION in model <Coupled.Generator>
  1161. New State: 1.0
  1162. Output Port Configuration:
  1163. port <outport>:
  1164. Eventsize = 1
  1165. Next scheduled internal transition at time 37.00
  1166. __ Current Time: 36.73 __________________________________________
  1167. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1168. Input Port Configuration:
  1169. port <inport>:
  1170. Eventsize = 1
  1171. New State: Random Processor State -- 0.299212926079
  1172. Next scheduled internal transition at time 37.03
  1173. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1174. New State: Random Processor State -- 2.39377040104
  1175. Output Port Configuration:
  1176. port <outport>:
  1177. Eventsize = 1
  1178. Next scheduled internal transition at time 39.13
  1179. __ Current Time: 37.00 __________________________________________
  1180. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1181. Input Port Configuration:
  1182. port <inport>:
  1183. Eventsize = 1
  1184. New State: Random Processor State -- 0.445253441418
  1185. Next scheduled internal transition at time 37.45
  1186. INTERNAL TRANSITION in model <Coupled.Generator>
  1187. New State: 1.0
  1188. Output Port Configuration:
  1189. port <outport>:
  1190. Eventsize = 1
  1191. Next scheduled internal transition at time 38.00
  1192. __ Current Time: 37.03 __________________________________________
  1193. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1194. New State: Random Processor State -- 1.51208059577
  1195. Output Port Configuration:
  1196. port <outport>:
  1197. Eventsize = 1
  1198. Next scheduled internal transition at time 38.54
  1199. __ Current Time: 37.45 __________________________________________
  1200. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1201. Input Port Configuration:
  1202. port <inport>:
  1203. Eventsize = 1
  1204. New State: Random Processor State -- 1.68120240104
  1205. Next scheduled internal transition at time 39.13
  1206. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1207. New State: Random Processor State -- 0.436404969396
  1208. Output Port Configuration:
  1209. port <outport>:
  1210. Eventsize = 1
  1211. Next scheduled internal transition at time 37.88
  1212. __ Current Time: 37.88 __________________________________________
  1213. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1214. Input Port Configuration:
  1215. port <inport>:
  1216. Eventsize = 1
  1217. New State: Random Processor State -- 1.24479740104
  1218. Next scheduled internal transition at time 39.13
  1219. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1220. New State: Random Processor State -- 1.87828724607
  1221. Output Port Configuration:
  1222. port <outport>:
  1223. Eventsize = 1
  1224. Next scheduled internal transition at time 39.76
  1225. __ Current Time: 38.00 __________________________________________
  1226. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1227. Input Port Configuration:
  1228. port <inport>:
  1229. Eventsize = 1
  1230. New State: Random Processor State -- 1.75994524607
  1231. Next scheduled internal transition at time 39.76
  1232. INTERNAL TRANSITION in model <Coupled.Generator>
  1233. New State: 1.0
  1234. Output Port Configuration:
  1235. port <outport>:
  1236. Eventsize = 1
  1237. Next scheduled internal transition at time 39.00
  1238. __ Current Time: 38.54 __________________________________________
  1239. INTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1240. New State: Random Processor State -- 1.68032445603
  1241. Output Port Configuration:
  1242. port <outport>:
  1243. Eventsize = 1
  1244. Next scheduled internal transition at time 40.22
  1245. __ Current Time: 39.00 __________________________________________
  1246. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1247. Input Port Configuration:
  1248. port <inport>:
  1249. Eventsize = 1
  1250. New State: Random Processor State -- 0.759945246071
  1251. Next scheduled internal transition at time 39.76
  1252. INTERNAL TRANSITION in model <Coupled.Generator>
  1253. New State: 1.0
  1254. Output Port Configuration:
  1255. port <outport>:
  1256. Eventsize = 1
  1257. Next scheduled internal transition at time 40.00
  1258. __ Current Time: 39.13 __________________________________________
  1259. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_3>
  1260. Input Port Configuration:
  1261. port <inport>:
  1262. Eventsize = 1
  1263. New State: Random Processor State -- 1.09784845603
  1264. Next scheduled internal transition at time 40.22
  1265. INTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1266. New State: Random Processor State -- 2.48167407848
  1267. Output Port Configuration:
  1268. port <outport>:
  1269. Eventsize = 1
  1270. Next scheduled internal transition at time 41.61
  1271. __ Current Time: 39.76 __________________________________________
  1272. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_2>
  1273. Input Port Configuration:
  1274. port <inport>:
  1275. Eventsize = 1
  1276. New State: Random Processor State -- 1.84818407848
  1277. Next scheduled internal transition at time 41.61
  1278. INTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1279. New State: Random Processor State -- 0.87361238978
  1280. Output Port Configuration:
  1281. port <outport>:
  1282. Eventsize = 1
  1283. Next scheduled internal transition at time 40.63
  1284. __ Current Time: 40.00 __________________________________________
  1285. EXTERNAL TRANSITION in model <Coupled.RandomProcessor_1>
  1286. Input Port Configuration:
  1287. port <inport>:
  1288. Eventsize = 1
  1289. New State: Random Processor State -- 0.63355738978
  1290. Next scheduled internal transition at time 40.63
  1291. INTERNAL TRANSITION in model <Coupled.Generator>
  1292. New State: 1.0
  1293. Output Port Configuration:
  1294. port <outport>:
  1295. Eventsize = 1
  1296. Next scheduled internal transition at time 41.00