nested 9.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400
  1. __ Current Time: 0.00 __________________________________________
  2. INITIAL CONDITIONS in model <Nested.Generator>
  3. Initial State: 1
  4. Next scheduled internal transition at time 1.00
  5. INITIAL CONDITIONS in model <Nested.NProcessor>
  6. Initial State: inf
  7. Next scheduled internal transition at time 1.00
  8. __ Current Time: 1.00 __________________________________________
  9. CONFLUENT TRANSITION in model <Nested.NProcessor>
  10. Input Port Configuration:
  11. port <inport>:
  12. Eventsize = 1
  13. New State: 1
  14. Output Port Configuration:
  15. port <outport>:
  16. Eventsize = 5
  17. Next scheduled internal transition at time 2.00
  18. INTERNAL TRANSITION in model <Nested.Generator>
  19. New State: 1
  20. Output Port Configuration:
  21. port <outport>:
  22. Eventsize = 1
  23. Next scheduled internal transition at time 2.00
  24. __ Current Time: 2.00 __________________________________________
  25. CONFLUENT TRANSITION in model <Nested.NProcessor>
  26. Input Port Configuration:
  27. port <inport>:
  28. Eventsize = 1
  29. New State: 1
  30. Output Port Configuration:
  31. port <outport>:
  32. Eventsize = 1
  33. Next scheduled internal transition at time 4.00
  34. INTERNAL TRANSITION in model <Nested.Generator>
  35. New State: 1
  36. Output Port Configuration:
  37. port <outport>:
  38. Eventsize = 1
  39. Next scheduled internal transition at time 3.00
  40. __ Current Time: 3.00 __________________________________________
  41. EXTERNAL TRANSITION in model <Nested.NProcessor>
  42. Input Port Configuration:
  43. port <inport>:
  44. Eventsize = 1
  45. New State: 1
  46. Next scheduled internal transition at time 6.00
  47. INTERNAL TRANSITION in model <Nested.Generator>
  48. New State: 1
  49. Output Port Configuration:
  50. port <outport>:
  51. Eventsize = 1
  52. Next scheduled internal transition at time 4.00
  53. __ Current Time: 4.00 __________________________________________
  54. EXTERNAL TRANSITION in model <Nested.NProcessor>
  55. Input Port Configuration:
  56. port <inport>:
  57. Eventsize = 1
  58. New State: 1
  59. Next scheduled internal transition at time 8.00
  60. INTERNAL TRANSITION in model <Nested.Generator>
  61. New State: 1
  62. Output Port Configuration:
  63. port <outport>:
  64. Eventsize = 1
  65. Next scheduled internal transition at time 5.00
  66. __ Current Time: 5.00 __________________________________________
  67. EXTERNAL TRANSITION in model <Nested.NProcessor>
  68. Input Port Configuration:
  69. port <inport>:
  70. Eventsize = 1
  71. New State: 1
  72. Next scheduled internal transition at time 10.00
  73. INTERNAL TRANSITION in model <Nested.Generator>
  74. New State: 1
  75. Output Port Configuration:
  76. port <outport>:
  77. Eventsize = 1
  78. Next scheduled internal transition at time 6.00
  79. __ Current Time: 6.00 __________________________________________
  80. EXTERNAL TRANSITION in model <Nested.NProcessor>
  81. Input Port Configuration:
  82. port <inport>:
  83. Eventsize = 1
  84. New State: 1
  85. Next scheduled internal transition at time 12.00
  86. INTERNAL TRANSITION in model <Nested.Generator>
  87. New State: 1
  88. Output Port Configuration:
  89. port <outport>:
  90. Eventsize = 1
  91. Next scheduled internal transition at time 7.00
  92. __ Current Time: 7.00 __________________________________________
  93. EXTERNAL TRANSITION in model <Nested.NProcessor>
  94. Input Port Configuration:
  95. port <inport>:
  96. Eventsize = 1
  97. New State: 1
  98. Next scheduled internal transition at time 14.00
  99. INTERNAL TRANSITION in model <Nested.Generator>
  100. New State: 1
  101. Output Port Configuration:
  102. port <outport>:
  103. Eventsize = 1
  104. Next scheduled internal transition at time 8.00
  105. __ Current Time: 8.00 __________________________________________
  106. EXTERNAL TRANSITION in model <Nested.NProcessor>
  107. Input Port Configuration:
  108. port <inport>:
  109. Eventsize = 1
  110. New State: 1
  111. Next scheduled internal transition at time 16.00
  112. INTERNAL TRANSITION in model <Nested.Generator>
  113. New State: 1
  114. Output Port Configuration:
  115. port <outport>:
  116. Eventsize = 1
  117. Next scheduled internal transition at time 9.00
  118. __ Current Time: 9.00 __________________________________________
  119. EXTERNAL TRANSITION in model <Nested.NProcessor>
  120. Input Port Configuration:
  121. port <inport>:
  122. Eventsize = 1
  123. New State: 1
  124. Next scheduled internal transition at time 18.00
  125. INTERNAL TRANSITION in model <Nested.Generator>
  126. New State: 1
  127. Output Port Configuration:
  128. port <outport>:
  129. Eventsize = 1
  130. Next scheduled internal transition at time 10.00
  131. __ Current Time: 10.00 __________________________________________
  132. EXTERNAL TRANSITION in model <Nested.NProcessor>
  133. Input Port Configuration:
  134. port <inport>:
  135. Eventsize = 1
  136. New State: 1
  137. Next scheduled internal transition at time 20.00
  138. INTERNAL TRANSITION in model <Nested.Generator>
  139. New State: 1
  140. Output Port Configuration:
  141. port <outport>:
  142. Eventsize = 1
  143. Next scheduled internal transition at time 11.00
  144. __ Current Time: 11.00 __________________________________________
  145. EXTERNAL TRANSITION in model <Nested.NProcessor>
  146. Input Port Configuration:
  147. port <inport>:
  148. Eventsize = 1
  149. New State: 1
  150. Next scheduled internal transition at time 22.00
  151. INTERNAL TRANSITION in model <Nested.Generator>
  152. New State: 1
  153. Output Port Configuration:
  154. port <outport>:
  155. Eventsize = 1
  156. Next scheduled internal transition at time 12.00
  157. __ Current Time: 12.00 __________________________________________
  158. EXTERNAL TRANSITION in model <Nested.NProcessor>
  159. Input Port Configuration:
  160. port <inport>:
  161. Eventsize = 1
  162. New State: 1
  163. Next scheduled internal transition at time 24.00
  164. INTERNAL TRANSITION in model <Nested.Generator>
  165. New State: 1
  166. Output Port Configuration:
  167. port <outport>:
  168. Eventsize = 1
  169. Next scheduled internal transition at time 13.00
  170. __ Current Time: 13.00 __________________________________________
  171. EXTERNAL TRANSITION in model <Nested.NProcessor>
  172. Input Port Configuration:
  173. port <inport>:
  174. Eventsize = 1
  175. New State: 1
  176. Next scheduled internal transition at time 26.00
  177. INTERNAL TRANSITION in model <Nested.Generator>
  178. New State: 1
  179. Output Port Configuration:
  180. port <outport>:
  181. Eventsize = 1
  182. Next scheduled internal transition at time 14.00
  183. __ Current Time: 14.00 __________________________________________
  184. EXTERNAL TRANSITION in model <Nested.NProcessor>
  185. Input Port Configuration:
  186. port <inport>:
  187. Eventsize = 1
  188. New State: 1
  189. Next scheduled internal transition at time 28.00
  190. INTERNAL TRANSITION in model <Nested.Generator>
  191. New State: 1
  192. Output Port Configuration:
  193. port <outport>:
  194. Eventsize = 1
  195. Next scheduled internal transition at time 15.00
  196. __ Current Time: 15.00 __________________________________________
  197. EXTERNAL TRANSITION in model <Nested.NProcessor>
  198. Input Port Configuration:
  199. port <inport>:
  200. Eventsize = 1
  201. New State: 1
  202. Next scheduled internal transition at time 30.00
  203. INTERNAL TRANSITION in model <Nested.Generator>
  204. New State: 1
  205. Output Port Configuration:
  206. port <outport>:
  207. Eventsize = 1
  208. Next scheduled internal transition at time 16.00
  209. __ Current Time: 16.00 __________________________________________
  210. EXTERNAL TRANSITION in model <Nested.NProcessor>
  211. Input Port Configuration:
  212. port <inport>:
  213. Eventsize = 1
  214. New State: 1
  215. Next scheduled internal transition at time 32.00
  216. INTERNAL TRANSITION in model <Nested.Generator>
  217. New State: 1
  218. Output Port Configuration:
  219. port <outport>:
  220. Eventsize = 1
  221. Next scheduled internal transition at time 17.00
  222. __ Current Time: 17.00 __________________________________________
  223. EXTERNAL TRANSITION in model <Nested.NProcessor>
  224. Input Port Configuration:
  225. port <inport>:
  226. Eventsize = 1
  227. New State: 1
  228. Next scheduled internal transition at time 34.00
  229. INTERNAL TRANSITION in model <Nested.Generator>
  230. New State: 1
  231. Output Port Configuration:
  232. port <outport>:
  233. Eventsize = 1
  234. Next scheduled internal transition at time 18.00
  235. __ Current Time: 18.00 __________________________________________
  236. EXTERNAL TRANSITION in model <Nested.NProcessor>
  237. Input Port Configuration:
  238. port <inport>:
  239. Eventsize = 1
  240. New State: 1
  241. Next scheduled internal transition at time 36.00
  242. INTERNAL TRANSITION in model <Nested.Generator>
  243. New State: 1
  244. Output Port Configuration:
  245. port <outport>:
  246. Eventsize = 1
  247. Next scheduled internal transition at time 19.00
  248. __ Current Time: 19.00 __________________________________________
  249. EXTERNAL TRANSITION in model <Nested.NProcessor>
  250. Input Port Configuration:
  251. port <inport>:
  252. Eventsize = 1
  253. New State: 1
  254. Next scheduled internal transition at time 38.00
  255. INTERNAL TRANSITION in model <Nested.Generator>
  256. New State: 1
  257. Output Port Configuration:
  258. port <outport>:
  259. Eventsize = 1
  260. Next scheduled internal transition at time 20.00
  261. __ Current Time: 20.00 __________________________________________
  262. EXTERNAL TRANSITION in model <Nested.NProcessor>
  263. Input Port Configuration:
  264. port <inport>:
  265. Eventsize = 1
  266. New State: 1
  267. Next scheduled internal transition at time 40.00
  268. INTERNAL TRANSITION in model <Nested.Generator>
  269. New State: 1
  270. Output Port Configuration:
  271. port <outport>:
  272. Eventsize = 1
  273. Next scheduled internal transition at time 21.00