atomic 10 KB

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