pione 0.4.2 → 0.5.0.alpha.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (306) hide show
  1. checksums.yaml +8 -8
  2. data/.travis.yml +1 -1
  3. data/History.txt +6 -0
  4. data/example/ActionError/ActionError.action.md +11 -0
  5. data/example/ActionError/ActionError.pione +6 -3
  6. data/example/ActionError/ActionError.pnml +86 -0
  7. data/example/ActionError/Package.pione +2 -0
  8. data/example/ActionError/pione-package.json +5 -1
  9. data/example/CTFCorrection/CTFCorrection.action.md +46 -0
  10. data/example/CTFCorrection/CTFCorrection.pione +19 -41
  11. data/example/CTFCorrection/CTFCorrection.pnml +839 -0
  12. data/example/CTFCorrection/Package.pione +1 -0
  13. data/example/CTFCorrection/Params.pione +21 -0
  14. data/example/CTFCorrection/pione-package.json +20 -0
  15. data/example/ChildPackage/ChildPackage.pione +8 -0
  16. data/example/ChildPackage/pione-package.json +20 -0
  17. data/example/CountChar/CountChar.pione +31 -0
  18. data/example/CountChar/CountChar.pnml +239 -0
  19. data/example/CountChar/Main.pione +6 -26
  20. data/example/CountChar/Main.pnml +32 -100
  21. data/example/CountChar/Package.pione +1 -0
  22. data/example/CountChar/pione-package.json +3 -1
  23. data/example/DeferredChoice/DeferredChoice.action.md +46 -0
  24. data/example/DeferredChoice/DeferredChoice.pione +2 -7
  25. data/example/DeferredChoice/DeferredChoice.pnml +371 -0
  26. data/example/DeferredChoice/Package.pione +4 -0
  27. data/example/DeferredChoice/pione-package.json +7 -3
  28. data/example/DeferredChoiceWithPage/DeferredChoiceWithPage.action.md +34 -0
  29. data/example/DeferredChoiceWithPage/DefferredChoiceWithPage.pnml +371 -0
  30. data/example/DeferredChoiceWithPage/Package.pione +2 -0
  31. data/example/FeatureExample/FeatureExample.action.md +7 -0
  32. data/example/FeatureExample/FeatureExample.pione +7 -4
  33. data/example/FeatureExample/FeatureExample.pnml +86 -0
  34. data/example/FeatureExample/Package.pione +1 -0
  35. data/example/FeatureExample/pione-package.json +4 -0
  36. data/example/Fib/Fib.action.md +33 -0
  37. data/example/Fib/Fib.pnml +208 -0
  38. data/example/Fib/FibN.pnml +807 -0
  39. data/example/Fib/Package.pione +6 -0
  40. data/example/HelloWorld/HelloWorld.action.md +7 -0
  41. data/example/HelloWorld/HelloWorld.pione +6 -2
  42. data/example/HelloWorld/HelloWorld.pnml +86 -0
  43. data/example/HelloWorld/Package.pione +2 -0
  44. data/example/HelloWorld/pione-package.json +5 -1
  45. data/example/Interaction/Interaction.action.md +21 -0
  46. data/example/Interaction/Interaction.pnml +89 -0
  47. data/example/Interaction/Package.pione +2 -0
  48. data/example/LoopByTouch/LoopByTouch.pione +32 -12
  49. data/example/LoopByTouch/LoopByTouch.pnml +575 -0
  50. data/example/LoopByTouch/Package.pione +3 -0
  51. data/example/LoopByTouch/PairLoop.pione +6 -7
  52. data/example/LoopByTouch/PairLoop.pnml +188 -0
  53. data/example/LoopByTouch/SingleLoop.pione +6 -0
  54. data/example/LoopByTouch/SingleLoop.pnml +86 -0
  55. data/example/LoopByTouch/TripletLoop.pione +12 -13
  56. data/example/LoopByTouch/TripletLoop.pnml +239 -0
  57. data/example/LoopByTouch/pione-package.json +7 -3
  58. data/example/LucasNumber/LucasNumber.action.md +25 -0
  59. data/example/LucasNumber/LucasNumber.pnml +244 -0
  60. data/example/LucasNumber/LucasNumberN.pnml +1719 -0
  61. data/example/LucasNumber/Package.pione +2 -0
  62. data/example/MakePair/MakePair.pione +8 -10
  63. data/example/MakePair/MakePair.pnml +1141 -0
  64. data/example/MakePair/Package.pione +2 -0
  65. data/example/MakePair/pione-package.json +7 -3
  66. data/example/MakePair/scenario/case1/pione-scenario.json +30 -30
  67. data/example/MakePair/scenario/case2/pione-scenario.json +10 -10
  68. data/example/MakePair/scenario/case3/pione-scenario.json +28 -28
  69. data/example/OddSelector/OddSelector.pione +8 -8
  70. data/example/OddSelector/OddSelector.pnml +401 -0
  71. data/example/OddSelector/Package.pione +2 -0
  72. data/example/OddSelector/pione-package.json +4 -0
  73. data/example/OddSelector/scenario/pione-scenario.json +8 -8
  74. data/example/ParentPackage/ParentPackage.pione +13 -0
  75. data/example/ParentPackage/pione-package.json +18 -0
  76. data/example/PegasusWMS/Merge/Package.pione +2 -0
  77. data/example/PegasusWMS/Merge/PegasusWMSMerge.action.md +17 -0
  78. data/example/PegasusWMS/Merge/{Merge.pione → PegasusWMSMerge.pione} +9 -10
  79. data/example/PegasusWMS/Merge/PegasusWMSMerge.pnml +217 -0
  80. data/example/PegasusWMS/Merge/pione-package.json +6 -2
  81. data/example/PegasusWMS/Pipeline/Package.pione +2 -0
  82. data/example/PegasusWMS/Pipeline/PegasusWMSPipeline.action.md +17 -0
  83. data/example/PegasusWMS/Pipeline/{Pipeline.pione → PegasusWMSPipeline.pione} +7 -9
  84. data/example/PegasusWMS/Pipeline/PegasusWMSPipeline.pnml +137 -0
  85. data/example/PegasusWMS/Pipeline/pione-package.json +6 -2
  86. data/example/PegasusWMS/Split/Package.pione +2 -0
  87. data/example/PegasusWMS/Split/PegasusWMSSplit.action.md +19 -0
  88. data/example/PegasusWMS/Split/{Split.pione → PegasusWMSSplit.pione} +9 -10
  89. data/example/PegasusWMS/Split/PegasusWMSSplit.pnml +293 -0
  90. data/example/PegasusWMS/Split/pione-package.json +6 -2
  91. data/example/ScoreAggregation/Package.pione +2 -0
  92. data/example/ScoreAggregation/ScoreAggregation.action.md +56 -0
  93. data/example/ScoreAggregation/ScoreAggregation.pione +37 -76
  94. data/example/ScoreAggregation/ScoreAggregation.pnml +1221 -0
  95. data/example/ScoreAggregation/pione-package.json +6 -2
  96. data/example/ScoreAggregation/scenario/case1/pione-scenario.json +21 -21
  97. data/example/SelectRuleByParam/Package.pione +2 -0
  98. data/example/SelectRuleByParam/SelectRuleByParam.action.md +19 -0
  99. data/example/SelectRuleByParam/SelectRuleByParam.pnml +388 -0
  100. data/example/SequentialParameter/Package.pione +2 -0
  101. data/example/SequentialParameter/SequentialParameter.pione +9 -3
  102. data/example/SequentialParameter/SequentialParameter.pnml +140 -0
  103. data/example/SequentialParameter/pione-package.json +19 -0
  104. data/example/SerialProcessing/A.pione +25 -0
  105. data/example/SerialProcessing/A.pnml +395 -0
  106. data/example/SerialProcessing/B.pione +25 -0
  107. data/example/SerialProcessing/B.pnml +395 -0
  108. data/example/SerialProcessing/Package.pione +2 -0
  109. data/example/SerialProcessing/SerialProcessing.pione +9 -60
  110. data/example/SerialProcessing/SerialProcessing.pnml +160 -0
  111. data/example/SerialProcessing/pione-package.json +7 -1
  112. data/example/SieveOfEratosthenes/CreateUndeterminedNumbers.pnml +157 -0
  113. data/example/SieveOfEratosthenes/Package.pione +4 -0
  114. data/example/SieveOfEratosthenes/Sieve.pnml +1493 -0
  115. data/example/SieveOfEratosthenes/SieveOfEratosthenes.pnml +174 -0
  116. data/example/SingleParticlesWithRef/Create3dinfo.pnml +342 -0
  117. data/example/SingleParticlesWithRef/Package.pione +42 -0
  118. data/example/SingleParticlesWithRef/SingleParticlesWithRef.action.md +34 -0
  119. data/example/SingleParticlesWithRef/SingleParticlesWithRef.pnml +404 -0
  120. data/example/SingleParticlesWithRef/{Makefile → misc/Makefile} +0 -0
  121. data/example/SingleParticlesWithRef/{SingleParticlesWithRef.Display2.pione → misc/SingleParticlesWithRef.Display2.pione} +0 -0
  122. data/example/SingleParticlesWithRef/{SingleParticlesWithRef.Makefile → misc/SingleParticlesWithRef.Makefile} +0 -0
  123. data/example/SingleParticlesWithRef/{SingleParticlesWithRefFull.pione → misc/SingleParticlesWithRefFull.pione} +0 -0
  124. data/example/Sum/CalcEachLine.pione +30 -0
  125. data/example/Sum/CalcEachLine.pnml +327 -0
  126. data/example/Sum/Package.pione +2 -0
  127. data/example/Sum/Sum.action.md +35 -0
  128. data/example/Sum/Sum.pione +9 -35
  129. data/example/Sum/Sum.pnml +191 -0
  130. data/example/Sum/pione-package.json +5 -0
  131. data/example/Touch/Package.pione +2 -0
  132. data/example/Touch/Touch.pione +8 -2
  133. data/example/Touch/Touch.pnml +89 -0
  134. data/example/Touch/pione-package.json +4 -0
  135. data/example/WorkflowPatterns/01_Sequence/Package.pione +2 -0
  136. data/example/WorkflowPatterns/01_Sequence/Sequence.pione +9 -9
  137. data/example/WorkflowPatterns/01_Sequence/Sequence.pnml +191 -0
  138. data/example/WorkflowPatterns/01_Sequence/pione-package.json +19 -0
  139. data/example/WorkflowPatterns/02_PrallelSplit/Package.pione +2 -0
  140. data/example/WorkflowPatterns/02_PrallelSplit/ParallelSplit.pione +12 -12
  141. data/example/WorkflowPatterns/02_PrallelSplit/ParallelSplit.pnml +265 -0
  142. data/example/WorkflowPatterns/02_PrallelSplit/pione-package.json +19 -0
  143. data/example/WorkflowPatterns/03_Synchronization/Package.pione +2 -0
  144. data/example/WorkflowPatterns/03_Synchronization/Synchronization.pione +12 -13
  145. data/example/WorkflowPatterns/03_Synchronization/Synchronization.pnml +273 -0
  146. data/example/WorkflowPatterns/03_Synchronization/pione-package.json +19 -0
  147. data/example/WorkflowPatterns/04_ExclusiveChoice/ExclusiveChoice.pione +15 -22
  148. data/example/WorkflowPatterns/04_ExclusiveChoice/ExclusiveChoice.pnml +533 -0
  149. data/example/WorkflowPatterns/04_ExclusiveChoice/Package.pione +4 -0
  150. data/example/WorkflowPatterns/04_ExclusiveChoice/pione-package.json +19 -0
  151. data/example/WorkflowPatterns/05_SimpleMerge/Package.pione +4 -0
  152. data/example/WorkflowPatterns/05_SimpleMerge/SimpleMerge.pione +10 -18
  153. data/example/WorkflowPatterns/05_SimpleMerge/SimpleMerge.pnml +431 -0
  154. data/example/WorkflowPatterns/05_SimpleMerge/pione-package.json +19 -0
  155. data/example/WorkflowPatterns/06_MultiChoice/MultiChoice.pione +20 -28
  156. data/example/WorkflowPatterns/06_MultiChoice/MultiChoice.pnml +797 -0
  157. data/example/WorkflowPatterns/06_MultiChoice/Package.pione +5 -0
  158. data/example/WorkflowPatterns/06_MultiChoice/pione-package.json +19 -0
  159. data/example/WorkflowPatterns/07_StructuredSynchronizingMerge/Package.pione +5 -0
  160. data/example/WorkflowPatterns/07_StructuredSynchronizingMerge/StructuredSynchronizingMerge.pnml +668 -0
  161. data/example/WorkflowPatterns/08_MultiMerge/MultiMerge.pione +9 -20
  162. data/example/WorkflowPatterns/08_MultiMerge/MultiMerge.pnml +551 -0
  163. data/example/WorkflowPatterns/08_MultiMerge/Package.pione +4 -0
  164. data/example/WorkflowPatterns/08_MultiMerge/pione-package.json +19 -0
  165. data/example/WorkflowPatterns/11_ImplicitTermination/ImplicitTermination.pione +9 -17
  166. data/example/WorkflowPatterns/11_ImplicitTermination/ImplicitTermination.pnml +188 -0
  167. data/example/WorkflowPatterns/11_ImplicitTermination/Package.pione +2 -0
  168. data/example/WorkflowPatterns/11_ImplicitTermination/pione-package.json +19 -0
  169. data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/MultipleInstancesWithoutSynchronization.pione +11 -11
  170. data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/MultipleInstancesWithoutSynchronization.pnml +319 -0
  171. data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/Package.pione +4 -0
  172. data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/pione-package.json +19 -0
  173. data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/MultipleInstancesWithDesignTimeKnowledge.pione +11 -11
  174. data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/MultipleInstancesWithDesignTimeKnowledge.pnml +319 -0
  175. data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/Package.pione +2 -0
  176. data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/pione-package.json +19 -0
  177. data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/MultipleInstancesWithRunTimeKnowledge.pione +14 -17
  178. data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/MultipleInstancesWithRunTimeKnowledge.pnml +355 -0
  179. data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/Package.pione +4 -0
  180. data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/pione-package.json +19 -0
  181. data/example/WorkflowPatterns/33_GeneralizedANDJoin/GeneralizedANDJoin.pione +9 -10
  182. data/example/WorkflowPatterns/33_GeneralizedANDJoin/GeneralizedANDJoin.pnml +409 -0
  183. data/example/WorkflowPatterns/33_GeneralizedANDJoin/Package.pione +2 -0
  184. data/example/WorkflowPatterns/33_GeneralizedANDJoin/pione-package.json +19 -0
  185. data/example/WorkflowPatterns/37_LocalSynchronizingMerge/A.pione +34 -0
  186. data/example/WorkflowPatterns/37_LocalSynchronizingMerge/A.pnml +570 -0
  187. data/example/WorkflowPatterns/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pione +36 -70
  188. data/example/WorkflowPatterns/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pnml +854 -0
  189. data/example/WorkflowPatterns/37_LocalSynchronizingMerge/Package.pione +5 -0
  190. data/example/WorkflowPatterns/37_LocalSynchronizingMerge/pione-package.json +20 -0
  191. data/example/WorkflowPatterns/38_GeneralSynchronizingMerge/GeneralSynchronizingMerge.pnml +1003 -0
  192. data/example/WorkflowPatterns/38_GeneralSynchronizingMerge/Package.pione +6 -0
  193. data/example/WorkflowPatterns/41_ThreadMerge/A.pnml +429 -0
  194. data/example/WorkflowPatterns/41_ThreadMerge/A1.pnml +141 -0
  195. data/example/WorkflowPatterns/41_ThreadMerge/Package.pione +2 -0
  196. data/example/WorkflowPatterns/41_ThreadMerge/ThreadMerge.pnml +205 -0
  197. data/example/WorkflowPatterns/42_ThreadSplit/Package.pione +2 -0
  198. data/example/WorkflowPatterns/42_ThreadSplit/ThreadSplit.pnml +217 -0
  199. data/lib/pione/agent/job-manager.rb +4 -3
  200. data/lib/pione/agent/task-worker.rb +2 -7
  201. data/lib/pione/command.rb +1 -0
  202. data/lib/pione/command/basic-command.rb +3 -1
  203. data/lib/pione/command/command-exception.rb +14 -0
  204. data/lib/pione/command/pione-action-exec.rb +4 -1
  205. data/lib/pione/command/pione-clean.rb +13 -6
  206. data/lib/pione/command/pione-client.rb +5 -5
  207. data/lib/pione/command/pione-compile.rb +1 -1
  208. data/lib/pione/command/pione-log-format.rb +1 -1
  209. data/lib/pione/command/pione-package-add.rb +1 -1
  210. data/lib/pione/command/pione-package-build.rb +87 -32
  211. data/lib/pione/command/pione-package-remove.rb +117 -0
  212. data/lib/pione/command/pione-package.rb +1 -0
  213. data/lib/pione/command/spawner.rb +12 -3
  214. data/lib/pione/lang/boolean.rb +1 -1
  215. data/lib/pione/lang/common-parser.rb +5 -3
  216. data/lib/pione/lang/context-parser.rb +8 -2
  217. data/lib/pione/lang/context-transformer.rb +13 -3
  218. data/lib/pione/lang/context.rb +20 -2
  219. data/lib/pione/lang/data-expr.rb +1 -1
  220. data/lib/pione/lang/declaration-parser.rb +18 -4
  221. data/lib/pione/lang/declaration-transformer.rb +1 -1
  222. data/lib/pione/lang/declaration.rb +5 -3
  223. data/lib/pione/lang/definition.rb +1 -0
  224. data/lib/pione/lang/environment.rb +37 -2
  225. data/lib/pione/lang/expr.rb +10 -12
  226. data/lib/pione/lang/feature-expr.rb +1 -1
  227. data/lib/pione/lang/float.rb +1 -1
  228. data/lib/pione/lang/integer.rb +1 -1
  229. data/lib/pione/lang/keyed-sequence.rb +5 -5
  230. data/lib/pione/lang/lang-exception.rb +9 -5
  231. data/lib/pione/lang/literal-parser.rb +2 -2
  232. data/lib/pione/lang/literal-transformer.rb +3 -0
  233. data/lib/pione/lang/message.rb +3 -3
  234. data/lib/pione/lang/ordinal-sequence.rb +1 -1
  235. data/lib/pione/lang/package-expr.rb +1 -1
  236. data/lib/pione/lang/parameters.rb +1 -1
  237. data/lib/pione/lang/pione-method.rb +16 -16
  238. data/lib/pione/lang/rule-expr.rb +6 -1
  239. data/lib/pione/lang/sequence.rb +8 -3
  240. data/lib/pione/lang/string.rb +1 -1
  241. data/lib/pione/lang/ticket-expr.rb +1 -1
  242. data/lib/pione/lang/type.rb +17 -8
  243. data/lib/pione/lang/variable.rb +4 -1
  244. data/lib/pione/literate-action.rb +1 -2
  245. data/lib/pione/literate-action/document.rb +1 -1
  246. data/lib/pione/literate-action/handler.rb +22 -7
  247. data/lib/pione/literate-action/{parser.rb → markdown-parser.rb} +2 -1
  248. data/lib/pione/log/domain-log.rb +1 -1
  249. data/lib/pione/model/task-worker-broker-model.rb +1 -1
  250. data/lib/pione/package/package-database.rb +16 -2
  251. data/lib/pione/package/package-exception.rb +1 -1
  252. data/lib/pione/package/package-handler.rb +11 -7
  253. data/lib/pione/package/package-info.rb +13 -7
  254. data/lib/pione/package/package-scanner.rb +1 -1
  255. data/lib/pione/package/scenario-info.rb +2 -2
  256. data/lib/pione/pnml.rb +6 -0
  257. data/lib/pione/pnml/compiler.rb +329 -95
  258. data/lib/pione/pnml/declaration-extractor.rb +90 -0
  259. data/lib/pione/pnml/input-merge-complement.rb +17 -11
  260. data/lib/pione/pnml/input-parallelization-complement.rb +10 -6
  261. data/lib/pione/pnml/input-reduction.rb +5 -5
  262. data/lib/pione/pnml/invalid-arc-elimination.rb +2 -2
  263. data/lib/pione/pnml/io-expansion.rb +9 -5
  264. data/lib/pione/pnml/isolated-element-elimination.rb +2 -2
  265. data/lib/pione/pnml/label-extractor.rb +258 -0
  266. data/lib/pione/pnml/net-rewriter.rb +6 -4
  267. data/lib/pione/pnml/output-decomposition-complement.rb +12 -7
  268. data/lib/pione/pnml/output-reduction.rb +11 -5
  269. data/lib/pione/pnml/output-synchronization-complement.rb +11 -7
  270. data/lib/pione/pnml/parser.rb +106 -0
  271. data/lib/pione/pnml/pione-model.rb +685 -230
  272. data/lib/pione/pnml/pnml-model.rb +73 -41
  273. data/lib/pione/pnml/ticket-instantiation.rb +42 -0
  274. data/lib/pione/rule-engine/action-handler.rb +212 -135
  275. data/lib/pione/rule-engine/basic-handler.rb +29 -3
  276. data/lib/pione/rule-engine/engine-exception.rb +10 -6
  277. data/lib/pione/system/status.rb +12 -6
  278. data/lib/pione/version.rb +1 -1
  279. data/lib/rootage/help.md.erb +45 -0
  280. data/lib/rootage/help.rb +1 -0
  281. data/lib/rootage/scenario.rb +20 -2
  282. data/misc/pione-completion.bash +15 -5
  283. data/misc/pione-completion.zsh +16 -6
  284. data/test/command/spec_pione-client.rb +60 -60
  285. data/test/lang/data/context-parser.yml +12 -1
  286. data/test/lang/spec_pione-method.rb +7 -6
  287. data/test/literate-action/spec_handler.rb +19 -13
  288. data/test/literate-action/{spec_parser.rb → spec_markdown-parser.rb} +3 -3
  289. data/test/log/spec_message-log-receiver.rb +1 -1
  290. data/test/package/spec_package-info.rb +1 -1
  291. data/test/pnml/spec_input-merge-complement.rb +4 -2
  292. data/test/pnml/spec_input-parallelization-complement.rb +4 -2
  293. data/test/pnml/spec_input-reduction.rb +8 -4
  294. data/test/pnml/spec_invalid-arc-elimination.rb +2 -1
  295. data/test/pnml/spec_io-expansion.rb +4 -2
  296. data/test/pnml/spec_isolated-element-elimination.rb +2 -1
  297. data/test/pnml/spec_label-extractor.rb +100 -0
  298. data/test/pnml/spec_output-decomposition-complement.rb +4 -2
  299. data/test/pnml/spec_output-reduction.rb +8 -4
  300. data/test/pnml/spec_output-synchronization-complement.rb +4 -2
  301. data/test/pnml/spec_pione-element.rb +116 -37
  302. data/test/pnml/spec_pnml-element.rb +32 -8
  303. data/test/rule-engine/spec_action-handler.rb +12 -20
  304. metadata +159 -16
  305. data/example/CTFCorrection/package.yml +0 -1
  306. data/example/DeferredChoice/bin/ui.xml +0 -28
data/example/SerialProcessing/SerialProcessing.pnml ADDED
@@ -0,0 +1,160 @@
1
+ <?xml version="1.0" encoding="UTF-8"?>
2
+ <!--PLEASE DO NOT EDIT THIS FILE
3
+ Created with Workflow PetriNet Designer Version 1.0 (woped.org)-->
4
+ <pnml>
5
+ <net type="http://www.informatik.hu-berlin.de/top/pntd/ptNetb" id="noID">
6
+ <place id="p4">
7
+ <name>
8
+ <text>>'*.b'.all</text>
9
+ <graphics>
10
+ <offset x="460" y="170"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="460" y="130"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p3">
19
+ <name>
20
+ <text>&lt;T></text>
21
+ <graphics>
22
+ <offset x="300" y="170"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="300" y="130"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p2">
31
+ <name>
32
+ <text>>'*.a'.all</text>
33
+ <graphics>
34
+ <offset x="300" y="110"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="300" y="70"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ </place>
42
+ <place id="p1">
43
+ <name>
44
+ <text/>
45
+ <graphics>
46
+ <offset x="120" y="170"/>
47
+ </graphics>
48
+ </name>
49
+ <graphics>
50
+ <position x="120" y="130"/>
51
+ <dimension x="40" y="40"/>
52
+ </graphics>
53
+ </place>
54
+ <transition id="t2">
55
+ <name>
56
+ <text>extern B</text>
57
+ <graphics>
58
+ <offset x="380" y="170"/>
59
+ </graphics>
60
+ </name>
61
+ <graphics>
62
+ <position x="380" y="130"/>
63
+ <dimension x="40" y="40"/>
64
+ </graphics>
65
+ <toolspecific tool="WoPeD" version="1.0">
66
+ <time>0</time>
67
+ <timeUnit>1</timeUnit>
68
+ <orientation>1</orientation>
69
+ </toolspecific>
70
+ </transition>
71
+ <transition id="t1">
72
+ <name>
73
+ <text>extern A</text>
74
+ <graphics>
75
+ <offset x="210" y="170"/>
76
+ </graphics>
77
+ </name>
78
+ <graphics>
79
+ <position x="210" y="130"/>
80
+ <dimension x="40" y="40"/>
81
+ </graphics>
82
+ <toolspecific tool="WoPeD" version="1.0">
83
+ <time>0</time>
84
+ <timeUnit>1</timeUnit>
85
+ <orientation>1</orientation>
86
+ </toolspecific>
87
+ </transition>
88
+ <arc id="a1" source="p1" target="t1">
89
+ <inscription>
90
+ <text>1</text>
91
+ </inscription>
92
+ <graphics/>
93
+ <toolspecific tool="WoPeD" version="1.0">
94
+ <probability>1.0</probability>
95
+ <displayProbabilityOn>false</displayProbabilityOn>
96
+ <displayProbabilityPosition x="500.0" y="0.0"/>
97
+ </toolspecific>
98
+ </arc>
99
+ <arc id="a2" source="t1" target="p2">
100
+ <inscription>
101
+ <text>1</text>
102
+ </inscription>
103
+ <graphics/>
104
+ <toolspecific tool="WoPeD" version="1.0">
105
+ <probability>1.0</probability>
106
+ <displayProbabilityOn>false</displayProbabilityOn>
107
+ <displayProbabilityPosition x="500.0" y="0.0"/>
108
+ </toolspecific>
109
+ </arc>
110
+ <arc id="a3" source="t1" target="p3">
111
+ <inscription>
112
+ <text>1</text>
113
+ </inscription>
114
+ <graphics/>
115
+ <toolspecific tool="WoPeD" version="1.0">
116
+ <probability>1.0</probability>
117
+ <displayProbabilityOn>false</displayProbabilityOn>
118
+ <displayProbabilityPosition x="500.0" y="0.0"/>
119
+ </toolspecific>
120
+ </arc>
121
+ <arc id="a4" source="p3" target="t2">
122
+ <inscription>
123
+ <text>1</text>
124
+ </inscription>
125
+ <graphics/>
126
+ <toolspecific tool="WoPeD" version="1.0">
127
+ <probability>1.0</probability>
128
+ <displayProbabilityOn>false</displayProbabilityOn>
129
+ <displayProbabilityPosition x="500.0" y="0.0"/>
130
+ </toolspecific>
131
+ </arc>
132
+ <arc id="a5" source="t2" target="p4">
133
+ <inscription>
134
+ <text>1</text>
135
+ </inscription>
136
+ <graphics/>
137
+ <toolspecific tool="WoPeD" version="1.0">
138
+ <probability>1.0</probability>
139
+ <displayProbabilityOn>false</displayProbabilityOn>
140
+ <displayProbabilityPosition x="500.0" y="0.0"/>
141
+ </toolspecific>
142
+ </arc>
143
+ <toolspecific tool="WoPeD" version="1.0">
144
+ <bounds>
145
+ <position x="2" y="25"/>
146
+ <dimension x="1425" y="596"/>
147
+ </bounds>
148
+ <scale>100</scale>
149
+ <treeWidthRight>1130</treeWidthRight>
150
+ <overviewPanelVisible>true</overviewPanelVisible>
151
+ <treeHeightOverview>100</treeHeightOverview>
152
+ <treePanelVisible>true</treePanelVisible>
153
+ <verticalLayout>false</verticalLayout>
154
+ <resources/>
155
+ <simulations/>
156
+ <partnerLinks/>
157
+ <variables/>
158
+ </toolspecific>
159
+ </net>
160
+ </pnml>
data/example/SerialProcessing/pione-package.json CHANGED
@@ -4,12 +4,18 @@
4
4
 
5
5
  ],
6
6
  "Documents": [
7
- "SerialProcessing.pione"
7
+ "B.pione",
8
+ "Package.pione",
9
+ "SerialProcessing.pione",
10
+ "A.pione"
8
11
  ],
9
12
  "Scenarios": [
10
13
  "scenario"
11
14
  ],
12
15
  "Bins": [
13
16
 
17
+ ],
18
+ "Etcs": [
19
+
14
20
  ]
15
21
  }
data/example/SieveOfEratosthenes/CreateUndeterminedNumbers.pnml ADDED
@@ -0,0 +1,157 @@
1
+ <?xml version="1.0" encoding="UTF-8"?>
2
+ <!--PLEASE DO NOT EDIT THIS FILE
3
+ Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
4
+ <pnml>
5
+ <net type="http://www.informatik.hu-berlin.de/top/pntd/ptNetb" id="noID">
6
+ <place id="p3">
7
+ <name>
8
+ <text>>'*.ud'.all</text>
9
+ <graphics>
10
+ <offset x="560" y="210"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="560" y="170"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p2">
19
+ <name>
20
+ <text>'{$NAME}'</text>
21
+ <graphics>
22
+ <offset x="400" y="210"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="400" y="170"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p1">
31
+ <name>
32
+ <text>{NAME: "{$N}.ud"}</text>
33
+ <graphics>
34
+ <offset x="220" y="210"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="220" y="170"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ <initialMarking>
42
+ <text>1</text>
43
+ </initialMarking>
44
+ </place>
45
+ <transition id="t3">
46
+ <name>
47
+ <text>param $N := 2.upto($MAX)</text>
48
+ <graphics>
49
+ <offset x="220" y="120"/>
50
+ </graphics>
51
+ </name>
52
+ <graphics>
53
+ <position x="220" y="80"/>
54
+ <dimension x="40" y="40"/>
55
+ </graphics>
56
+ <toolspecific tool="WoPeD" version="1.0">
57
+ <time>0</time>
58
+ <timeUnit>1</timeUnit>
59
+ <orientation>1</orientation>
60
+ </toolspecific>
61
+ </transition>
62
+ <transition id="t2">
63
+ <name>
64
+ <text/>
65
+ <graphics>
66
+ <offset x="480" y="210"/>
67
+ </graphics>
68
+ </name>
69
+ <graphics>
70
+ <position x="480" y="170"/>
71
+ <dimension x="40" y="40"/>
72
+ </graphics>
73
+ <toolspecific tool="WoPeD" version="1.0">
74
+ <time>0</time>
75
+ <timeUnit>1</timeUnit>
76
+ <orientation>1</orientation>
77
+ </toolspecific>
78
+ </transition>
79
+ <transition id="t1">
80
+ <name>
81
+ <text>CreateData</text>
82
+ <graphics>
83
+ <offset x="310" y="210"/>
84
+ </graphics>
85
+ </name>
86
+ <graphics>
87
+ <position x="310" y="170"/>
88
+ <dimension x="40" y="40"/>
89
+ </graphics>
90
+ <toolspecific tool="WoPeD" version="1.0">
91
+ <time>0</time>
92
+ <timeUnit>1</timeUnit>
93
+ <orientation>1</orientation>
94
+ </toolspecific>
95
+ </transition>
96
+ <arc id="a1" source="p1" target="t1">
97
+ <inscription>
98
+ <text>1</text>
99
+ </inscription>
100
+ <graphics/>
101
+ <toolspecific tool="WoPeD" version="1.0">
102
+ <probability>1.0</probability>
103
+ <displayProbabilityOn>false</displayProbabilityOn>
104
+ <displayProbabilityPosition x="500.0" y="0.0"/>
105
+ </toolspecific>
106
+ </arc>
107
+ <arc id="a2" source="t1" target="p2">
108
+ <inscription>
109
+ <text>1</text>
110
+ </inscription>
111
+ <graphics/>
112
+ <toolspecific tool="WoPeD" version="1.0">
113
+ <probability>1.0</probability>
114
+ <displayProbabilityOn>false</displayProbabilityOn>
115
+ <displayProbabilityPosition x="500.0" y="0.0"/>
116
+ </toolspecific>
117
+ </arc>
118
+ <arc id="a3" source="p2" target="t2">
119
+ <inscription>
120
+ <text>1</text>
121
+ </inscription>
122
+ <graphics/>
123
+ <toolspecific tool="WoPeD" version="1.0">
124
+ <probability>1.0</probability>
125
+ <displayProbabilityOn>false</displayProbabilityOn>
126
+ <displayProbabilityPosition x="500.0" y="0.0"/>
127
+ </toolspecific>
128
+ </arc>
129
+ <arc id="a4" source="t2" target="p3">
130
+ <inscription>
131
+ <text>1</text>
132
+ </inscription>
133
+ <graphics/>
134
+ <toolspecific tool="WoPeD" version="1.0">
135
+ <probability>1.0</probability>
136
+ <displayProbabilityOn>false</displayProbabilityOn>
137
+ <displayProbabilityPosition x="500.0" y="0.0"/>
138
+ </toolspecific>
139
+ </arc>
140
+ <toolspecific tool="WoPeD" version="1.0">
141
+ <bounds>
142
+ <position x="2" y="22"/>
143
+ <dimension x="1905" y="784"/>
144
+ </bounds>
145
+ <scale>100</scale>
146
+ <treeWidthRight>1551</treeWidthRight>
147
+ <overviewPanelVisible>true</overviewPanelVisible>
148
+ <treeHeightOverview>100</treeHeightOverview>
149
+ <treePanelVisible>true</treePanelVisible>
150
+ <verticalLayout>false</verticalLayout>
151
+ <resources/>
152
+ <simulations/>
153
+ <partnerLinks/>
154
+ <variables/>
155
+ </toolspecific>
156
+ </net>
157
+ </pnml>
data/example/SieveOfEratosthenes/Package.pione ADDED
@@ -0,0 +1,4 @@
1
+ .@ PackageName :: "SieveOfEratosthenes"
2
+ .@ Entrance :: SieveOfEratosthenes
3
+
4
+ param $MAX := 10
data/example/SieveOfEratosthenes/Sieve.pnml ADDED
@@ -0,0 +1,1493 @@
1
+ <?xml version="1.0" encoding="UTF-8"?>
2
+ <!--PLEASE DO NOT EDIT THIS FILE
3
+ Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
4
+ <pnml>
5
+ <net type="http://www.informatik.hu-berlin.de/top/pntd/ptNetb" id="noID">
6
+ <place id="p7">
7
+ <name>
8
+ <text>($N * $N) &lt;= $MAX</text>
9
+ <graphics>
10
+ <offset x="640" y="340"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="640" y="300"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p6">
19
+ <name>
20
+ <text/>
21
+ <graphics>
22
+ <offset x="500" y="340"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="500" y="300"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p5">
31
+ <name>
32
+ <text>{N: $N+1}</text>
33
+ <graphics>
34
+ <offset x="570" y="510"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="570" y="470"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ <initialMarking>
42
+ <text>1</text>
43
+ </initialMarking>
44
+ </place>
45
+ <place id="p4">
46
+ <name>
47
+ <text/>
48
+ <graphics>
49
+ <offset x="500" y="510"/>
50
+ </graphics>
51
+ </name>
52
+ <graphics>
53
+ <position x="500" y="470"/>
54
+ <dimension x="40" y="40"/>
55
+ </graphics>
56
+ </place>
57
+ <place id="p3">
58
+ <name>
59
+ <text>$*.as_data_expr.match?($N.str)</text>
60
+ <graphics>
61
+ <offset x="330" y="400"/>
62
+ </graphics>
63
+ </name>
64
+ <graphics>
65
+ <position x="360" y="360"/>
66
+ <dimension x="40" y="40"/>
67
+ </graphics>
68
+ </place>
69
+ <place id="p2">
70
+ <name>
71
+ <text>&lt;'*.prime'.all or null</text>
72
+ <graphics>
73
+ <offset x="40" y="390"/>
74
+ </graphics>
75
+ </name>
76
+ <graphics>
77
+ <position x="40" y="350"/>
78
+ <dimension x="40" y="40"/>
79
+ </graphics>
80
+ <initialMarking>
81
+ <text>1</text>
82
+ </initialMarking>
83
+ </place>
84
+ <place id="p1">
85
+ <name>
86
+ <text>&lt;'*.ud'.all or null</text>
87
+ <graphics>
88
+ <offset x="40" y="310"/>
89
+ </graphics>
90
+ </name>
91
+ <graphics>
92
+ <position x="40" y="270"/>
93
+ <dimension x="40" y="40"/>
94
+ </graphics>
95
+ <initialMarking>
96
+ <text>1</text>
97
+ </initialMarking>
98
+ </place>
99
+ <place id="p9">
100
+ <name>
101
+ <text/>
102
+ <graphics>
103
+ <offset x="920" y="430"/>
104
+ </graphics>
105
+ </name>
106
+ <graphics>
107
+ <position x="920" y="390"/>
108
+ <dimension x="40" y="40"/>
109
+ </graphics>
110
+ </place>
111
+ <place id="p8">
112
+ <name>
113
+ <text/>
114
+ <graphics>
115
+ <offset x="780" y="480"/>
116
+ </graphics>
117
+ </name>
118
+ <graphics>
119
+ <position x="780" y="440"/>
120
+ <dimension x="40" y="40"/>
121
+ </graphics>
122
+ </place>
123
+ <place id="p31">
124
+ <name>
125
+ <text/>
126
+ <graphics>
127
+ <offset x="430" y="640"/>
128
+ </graphics>
129
+ </name>
130
+ <graphics>
131
+ <position x="430" y="600"/>
132
+ <dimension x="40" y="40"/>
133
+ </graphics>
134
+ </place>
135
+ <place id="p32">
136
+ <name>
137
+ <text/>
138
+ <graphics>
139
+ <offset x="210" y="400"/>
140
+ </graphics>
141
+ </name>
142
+ <graphics>
143
+ <position x="210" y="360"/>
144
+ <dimension x="40" y="40"/>
145
+ </graphics>
146
+ <initialMarking>
147
+ <text>1</text>
148
+ </initialMarking>
149
+ </place>
150
+ <place id="p30">
151
+ <name>
152
+ <text/>
153
+ <graphics>
154
+ <offset x="430" y="580"/>
155
+ </graphics>
156
+ </name>
157
+ <graphics>
158
+ <position x="430" y="540"/>
159
+ <dimension x="40" y="40"/>
160
+ </graphics>
161
+ </place>
162
+ <place id="p35">
163
+ <name>
164
+ <text>>'finished'</text>
165
+ <graphics>
166
+ <offset x="1470" y="460"/>
167
+ </graphics>
168
+ </name>
169
+ <graphics>
170
+ <position x="1470" y="420"/>
171
+ <dimension x="40" y="40"/>
172
+ </graphics>
173
+ </place>
174
+ <place id="p34">
175
+ <name>
176
+ <text>>'*.prime'.all.neglect</text>
177
+ <graphics>
178
+ <offset x="1470" y="360"/>
179
+ </graphics>
180
+ </name>
181
+ <graphics>
182
+ <position x="1470" y="320"/>
183
+ <dimension x="40" y="40"/>
184
+ </graphics>
185
+ </place>
186
+ <place id="p33">
187
+ <name>
188
+ <text/>
189
+ <graphics>
190
+ <offset x="1340" y="410"/>
191
+ </graphics>
192
+ </name>
193
+ <graphics>
194
+ <position x="1340" y="370"/>
195
+ <dimension x="40" y="40"/>
196
+ </graphics>
197
+ </place>
198
+ <place id="p20">
199
+ <name>
200
+ <text>{NAME: "{$N}.prime"}</text>
201
+ <graphics>
202
+ <offset x="920" y="50"/>
203
+ </graphics>
204
+ </name>
205
+ <graphics>
206
+ <position x="920" y="10"/>
207
+ <dimension x="40" y="40"/>
208
+ </graphics>
209
+ <initialMarking>
210
+ <text>1</text>
211
+ </initialMarking>
212
+ </place>
213
+ <place id="p21">
214
+ <name>
215
+ <text/>
216
+ <graphics>
217
+ <offset x="920" y="290"/>
218
+ </graphics>
219
+ </name>
220
+ <graphics>
221
+ <position x="920" y="250"/>
222
+ <dimension x="40" y="40"/>
223
+ </graphics>
224
+ </place>
225
+ <place id="p27">
226
+ <name>
227
+ <text>'{$I[2][1]}.ud'.remove</text>
228
+ <graphics>
229
+ <offset x="1400" y="210"/>
230
+ </graphics>
231
+ </name>
232
+ <graphics>
233
+ <position x="1400" y="170"/>
234
+ <dimension x="40" y="40"/>
235
+ </graphics>
236
+ </place>
237
+ <place id="p26">
238
+ <name>
239
+ <text>($I[2][1].i % $I[1][1].i) == 0</text>
240
+ <graphics>
241
+ <offset x="1100" y="210"/>
242
+ </graphics>
243
+ </name>
244
+ <graphics>
245
+ <position x="1100" y="170"/>
246
+ <dimension x="40" y="40"/>
247
+ </graphics>
248
+ </place>
249
+ <place id="p29">
250
+ <name>
251
+ <text/>
252
+ <graphics>
253
+ <offset x="570" y="270"/>
254
+ </graphics>
255
+ </name>
256
+ <graphics>
257
+ <position x="570" y="230"/>
258
+ <dimension x="40" y="40"/>
259
+ </graphics>
260
+ </place>
261
+ <place id="p28">
262
+ <name>
263
+ <text/>
264
+ <graphics>
265
+ <offset x="570" y="220"/>
266
+ </graphics>
267
+ </name>
268
+ <graphics>
269
+ <position x="570" y="180"/>
270
+ <dimension x="40" y="40"/>
271
+ </graphics>
272
+ </place>
273
+ <place id="p23">
274
+ <name>
275
+ <text>>>></text>
276
+ <graphics>
277
+ <offset x="1320" y="270"/>
278
+ </graphics>
279
+ </name>
280
+ <graphics>
281
+ <position x="1320" y="230"/>
282
+ <dimension x="40" y="40"/>
283
+ </graphics>
284
+ </place>
285
+ <place id="p22">
286
+ <name>
287
+ <text>{N: $N+1}</text>
288
+ <graphics>
289
+ <offset x="920" y="350"/>
290
+ </graphics>
291
+ </name>
292
+ <graphics>
293
+ <position x="920" y="310"/>
294
+ <dimension x="40" y="40"/>
295
+ </graphics>
296
+ <initialMarking>
297
+ <text>1</text>
298
+ </initialMarking>
299
+ </place>
300
+ <place id="p25">
301
+ <name>
302
+ <text>'*.ud' #2</text>
303
+ <graphics>
304
+ <offset x="570" y="60"/>
305
+ </graphics>
306
+ </name>
307
+ <graphics>
308
+ <position x="570" y="20"/>
309
+ <dimension x="40" y="40"/>
310
+ </graphics>
311
+ </place>
312
+ <place id="p24">
313
+ <name>
314
+ <text>'*.prime' #1</text>
315
+ <graphics>
316
+ <offset x="570" y="140"/>
317
+ </graphics>
318
+ </name>
319
+ <graphics>
320
+ <position x="570" y="100"/>
321
+ <dimension x="40" y="40"/>
322
+ </graphics>
323
+ </place>
324
+ <place id="p10">
325
+ <name>
326
+ <text/>
327
+ <graphics>
328
+ <offset x="920" y="520"/>
329
+ </graphics>
330
+ </name>
331
+ <graphics>
332
+ <position x="920" y="480"/>
333
+ <dimension x="40" y="40"/>
334
+ </graphics>
335
+ </place>
336
+ <place id="p17">
337
+ <name>
338
+ <text/>
339
+ <graphics>
340
+ <offset x="920" y="130"/>
341
+ </graphics>
342
+ </name>
343
+ <graphics>
344
+ <position x="920" y="90"/>
345
+ <dimension x="40" y="40"/>
346
+ </graphics>
347
+ </place>
348
+ <place id="p16">
349
+ <name>
350
+ <text/>
351
+ <graphics>
352
+ <offset x="920" y="210"/>
353
+ </graphics>
354
+ </name>
355
+ <graphics>
356
+ <position x="920" y="170"/>
357
+ <dimension x="40" y="40"/>
358
+ </graphics>
359
+ </place>
360
+ <place id="p15">
361
+ <name>
362
+ <text/>
363
+ <graphics>
364
+ <offset x="780" y="210"/>
365
+ </graphics>
366
+ </name>
367
+ <graphics>
368
+ <position x="780" y="170"/>
369
+ <dimension x="40" y="40"/>
370
+ </graphics>
371
+ </place>
372
+ <place id="p14">
373
+ <name>
374
+ <text>'{$*}.prime'</text>
375
+ <graphics>
376
+ <offset x="1210" y="430"/>
377
+ </graphics>
378
+ </name>
379
+ <graphics>
380
+ <position x="1210" y="390"/>
381
+ <dimension x="40" y="40"/>
382
+ </graphics>
383
+ </place>
384
+ <place id="p13">
385
+ <name>
386
+ <text>'*.ud'</text>
387
+ <graphics>
388
+ <offset x="1070" y="430"/>
389
+ </graphics>
390
+ </name>
391
+ <graphics>
392
+ <position x="1070" y="390"/>
393
+ <dimension x="40" y="40"/>
394
+ </graphics>
395
+ </place>
396
+ <place id="p12">
397
+ <name>
398
+ <text>'finished'</text>
399
+ <graphics>
400
+ <offset x="1070" y="520"/>
401
+ </graphics>
402
+ </name>
403
+ <graphics>
404
+ <position x="1070" y="480"/>
405
+ <dimension x="40" y="40"/>
406
+ </graphics>
407
+ </place>
408
+ <place id="p11">
409
+ <name>
410
+ <text>{NAME: "finished"}</text>
411
+ <graphics>
412
+ <offset x="920" y="590"/>
413
+ </graphics>
414
+ </name>
415
+ <graphics>
416
+ <position x="920" y="550"/>
417
+ <dimension x="40" y="40"/>
418
+ </graphics>
419
+ <initialMarking>
420
+ <text>1</text>
421
+ </initialMarking>
422
+ </place>
423
+ <place id="p19">
424
+ <name>
425
+ <text>>>></text>
426
+ <graphics>
427
+ <offset x="1320" y="160"/>
428
+ </graphics>
429
+ </name>
430
+ <graphics>
431
+ <position x="1320" y="120"/>
432
+ <dimension x="40" y="40"/>
433
+ </graphics>
434
+ </place>
435
+ <transition id="t4">
436
+ <name>
437
+ <text>else</text>
438
+ <graphics>
439
+ <offset x="430" y="510"/>
440
+ </graphics>
441
+ </name>
442
+ <graphics>
443
+ <position x="430" y="470"/>
444
+ <dimension x="40" y="40"/>
445
+ </graphics>
446
+ <toolspecific tool="WoPeD" version="1.0">
447
+ <time>0</time>
448
+ <timeUnit>1</timeUnit>
449
+ <orientation>1</orientation>
450
+ </toolspecific>
451
+ </transition>
452
+ <transition id="t5">
453
+ <name>
454
+ <text>Sieve</text>
455
+ <graphics>
456
+ <offset x="570" y="640"/>
457
+ </graphics>
458
+ </name>
459
+ <graphics>
460
+ <position x="570" y="600"/>
461
+ <dimension x="40" y="40"/>
462
+ </graphics>
463
+ <toolspecific tool="WoPeD" version="1.0">
464
+ <time>0</time>
465
+ <timeUnit>1</timeUnit>
466
+ <orientation>1</orientation>
467
+ </toolspecific>
468
+ </transition>
469
+ <transition id="t6">
470
+ <name>
471
+ <text>if</text>
472
+ <graphics>
473
+ <offset x="570" y="340"/>
474
+ </graphics>
475
+ </name>
476
+ <graphics>
477
+ <position x="570" y="300"/>
478
+ <dimension x="40" y="40"/>
479
+ </graphics>
480
+ <toolspecific tool="WoPeD" version="1.0">
481
+ <time>0</time>
482
+ <timeUnit>1</timeUnit>
483
+ <orientation>1</orientation>
484
+ </toolspecific>
485
+ </transition>
486
+ <transition id="t7">
487
+ <name>
488
+ <text>then</text>
489
+ <graphics>
490
+ <offset x="710" y="210"/>
491
+ </graphics>
492
+ </name>
493
+ <graphics>
494
+ <position x="710" y="170"/>
495
+ <dimension x="40" y="40"/>
496
+ </graphics>
497
+ <toolspecific tool="WoPeD" version="1.0">
498
+ <time>0</time>
499
+ <timeUnit>1</timeUnit>
500
+ <orientation>1</orientation>
501
+ </toolspecific>
502
+ </transition>
503
+ <transition id="t8">
504
+ <name>
505
+ <text>else</text>
506
+ <graphics>
507
+ <offset x="710" y="480"/>
508
+ </graphics>
509
+ </name>
510
+ <graphics>
511
+ <position x="710" y="440"/>
512
+ <dimension x="40" y="40"/>
513
+ </graphics>
514
+ <toolspecific tool="WoPeD" version="1.0">
515
+ <time>0</time>
516
+ <timeUnit>1</timeUnit>
517
+ <orientation>1</orientation>
518
+ </toolspecific>
519
+ </transition>
520
+ <transition id="t9">
521
+ <name>
522
+ <text>UndeterminedNumber2Prime</text>
523
+ <graphics>
524
+ <offset x="1110" y="370"/>
525
+ </graphics>
526
+ </name>
527
+ <graphics>
528
+ <position x="1140" y="390"/>
529
+ <dimension x="40" y="40"/>
530
+ </graphics>
531
+ <toolspecific tool="WoPeD" version="1.0">
532
+ <time>0</time>
533
+ <timeUnit>1</timeUnit>
534
+ <orientation>1</orientation>
535
+ </toolspecific>
536
+ </transition>
537
+ <transition id="t20">
538
+ <name>
539
+ <text/>
540
+ <graphics>
541
+ <offset x="1280" y="470"/>
542
+ </graphics>
543
+ </name>
544
+ <graphics>
545
+ <position x="1280" y="430"/>
546
+ <dimension x="40" y="40"/>
547
+ </graphics>
548
+ <toolspecific tool="WoPeD" version="1.0">
549
+ <time>0</time>
550
+ <timeUnit>1</timeUnit>
551
+ <orientation>1</orientation>
552
+ </toolspecific>
553
+ </transition>
554
+ <transition id="t3">
555
+ <name>
556
+ <text>then</text>
557
+ <graphics>
558
+ <offset x="430" y="340"/>
559
+ </graphics>
560
+ </name>
561
+ <graphics>
562
+ <position x="430" y="300"/>
563
+ <dimension x="40" y="40"/>
564
+ </graphics>
565
+ <toolspecific tool="WoPeD" version="1.0">
566
+ <time>0</time>
567
+ <timeUnit>1</timeUnit>
568
+ <orientation>1</orientation>
569
+ </toolspecific>
570
+ </transition>
571
+ <transition id="t2">
572
+ <name>
573
+ <text>if</text>
574
+ <graphics>
575
+ <offset x="290" y="400"/>
576
+ </graphics>
577
+ </name>
578
+ <graphics>
579
+ <position x="290" y="360"/>
580
+ <dimension x="40" y="40"/>
581
+ </graphics>
582
+ <toolspecific tool="WoPeD" version="1.0">
583
+ <time>0</time>
584
+ <timeUnit>1</timeUnit>
585
+ <orientation>1</orientation>
586
+ </toolspecific>
587
+ </transition>
588
+ <transition id="t1">
589
+ <name>
590
+ <text>param $N := 2</text>
591
+ <graphics>
592
+ <offset x="40" y="220"/>
593
+ </graphics>
594
+ </name>
595
+ <graphics>
596
+ <position x="40" y="180"/>
597
+ <dimension x="40" y="40"/>
598
+ </graphics>
599
+ <toolspecific tool="WoPeD" version="1.0">
600
+ <time>0</time>
601
+ <timeUnit>1</timeUnit>
602
+ <orientation>1</orientation>
603
+ </toolspecific>
604
+ </transition>
605
+ <transition id="t22">
606
+ <name>
607
+ <text/>
608
+ <graphics>
609
+ <offset x="1410" y="410"/>
610
+ </graphics>
611
+ </name>
612
+ <graphics>
613
+ <position x="1410" y="370"/>
614
+ <dimension x="40" y="40"/>
615
+ </graphics>
616
+ <toolspecific tool="WoPeD" version="1.0">
617
+ <time>0</time>
618
+ <timeUnit>1</timeUnit>
619
+ <orientation>1</orientation>
620
+ </toolspecific>
621
+ </transition>
622
+ <transition id="t10">
623
+ <name>
624
+ <text/>
625
+ <graphics>
626
+ <offset x="850" y="480"/>
627
+ </graphics>
628
+ </name>
629
+ <graphics>
630
+ <position x="850" y="440"/>
631
+ <dimension x="40" y="40"/>
632
+ </graphics>
633
+ <toolspecific tool="WoPeD" version="1.0">
634
+ <time>0</time>
635
+ <timeUnit>1</timeUnit>
636
+ <orientation>1</orientation>
637
+ </toolspecific>
638
+ </transition>
639
+ <transition id="t11">
640
+ <name>
641
+ <text>extern CreateData</text>
642
+ <graphics>
643
+ <offset x="990" y="460"/>
644
+ </graphics>
645
+ </name>
646
+ <graphics>
647
+ <position x="990" y="480"/>
648
+ <dimension x="40" y="40"/>
649
+ </graphics>
650
+ <toolspecific tool="WoPeD" version="1.0">
651
+ <time>0</time>
652
+ <timeUnit>1</timeUnit>
653
+ <orientation>1</orientation>
654
+ </toolspecific>
655
+ </transition>
656
+ <transition id="t12">
657
+ <name>
658
+ <text/>
659
+ <graphics>
660
+ <offset x="990" y="430"/>
661
+ </graphics>
662
+ </name>
663
+ <graphics>
664
+ <position x="990" y="390"/>
665
+ <dimension x="40" y="40"/>
666
+ </graphics>
667
+ <toolspecific tool="WoPeD" version="1.0">
668
+ <time>0</time>
669
+ <timeUnit>1</timeUnit>
670
+ <orientation>1</orientation>
671
+ </toolspecific>
672
+ </transition>
673
+ <transition id="t13">
674
+ <name>
675
+ <text/>
676
+ <graphics>
677
+ <offset x="850" y="210"/>
678
+ </graphics>
679
+ </name>
680
+ <graphics>
681
+ <position x="850" y="170"/>
682
+ <dimension x="40" y="40"/>
683
+ </graphics>
684
+ <toolspecific tool="WoPeD" version="1.0">
685
+ <time>0</time>
686
+ <timeUnit>1</timeUnit>
687
+ <orientation>1</orientation>
688
+ </toolspecific>
689
+ </transition>
690
+ <transition id="t14">
691
+ <name>
692
+ <text>extern CreateData</text>
693
+ <graphics>
694
+ <offset x="1240" y="130"/>
695
+ </graphics>
696
+ </name>
697
+ <graphics>
698
+ <position x="1240" y="90"/>
699
+ <dimension x="40" y="40"/>
700
+ </graphics>
701
+ <toolspecific tool="WoPeD" version="1.0">
702
+ <time>0</time>
703
+ <timeUnit>1</timeUnit>
704
+ <orientation>1</orientation>
705
+ </toolspecific>
706
+ </transition>
707
+ <transition id="t15">
708
+ <name>
709
+ <text>RemoveUndeterminedNumber</text>
710
+ <graphics>
711
+ <offset x="1240" y="210"/>
712
+ </graphics>
713
+ </name>
714
+ <graphics>
715
+ <position x="1240" y="170"/>
716
+ <dimension x="40" y="40"/>
717
+ </graphics>
718
+ <toolspecific tool="WoPeD" version="1.0">
719
+ <time>0</time>
720
+ <timeUnit>1</timeUnit>
721
+ <orientation>1</orientation>
722
+ </toolspecific>
723
+ </transition>
724
+ <transition id="t16">
725
+ <name>
726
+ <text>Sieve</text>
727
+ <graphics>
728
+ <offset x="1240" y="290"/>
729
+ </graphics>
730
+ </name>
731
+ <graphics>
732
+ <position x="1240" y="250"/>
733
+ <dimension x="40" y="40"/>
734
+ </graphics>
735
+ <toolspecific tool="WoPeD" version="1.0">
736
+ <time>0</time>
737
+ <timeUnit>1</timeUnit>
738
+ <orientation>1</orientation>
739
+ </toolspecific>
740
+ </transition>
741
+ <transition id="t17">
742
+ <name>
743
+ <text/>
744
+ <graphics>
745
+ <offset x="130" y="390"/>
746
+ </graphics>
747
+ </name>
748
+ <graphics>
749
+ <position x="130" y="350"/>
750
+ <dimension x="40" y="40"/>
751
+ </graphics>
752
+ <toolspecific tool="WoPeD" version="1.0">
753
+ <time>0</time>
754
+ <timeUnit>1</timeUnit>
755
+ <orientation>1</orientation>
756
+ </toolspecific>
757
+ </transition>
758
+ <transition id="t18">
759
+ <name>
760
+ <text/>
761
+ <graphics>
762
+ <offset x="130" y="310"/>
763
+ </graphics>
764
+ </name>
765
+ <graphics>
766
+ <position x="130" y="270"/>
767
+ <dimension x="40" y="40"/>
768
+ </graphics>
769
+ <toolspecific tool="WoPeD" version="1.0">
770
+ <time>0</time>
771
+ <timeUnit>1</timeUnit>
772
+ <orientation>1</orientation>
773
+ </toolspecific>
774
+ </transition>
775
+ <transition id="t19">
776
+ <name>
777
+ <text>constraint</text>
778
+ <graphics>
779
+ <offset x="1030" y="210"/>
780
+ </graphics>
781
+ </name>
782
+ <graphics>
783
+ <position x="1030" y="170"/>
784
+ <dimension x="40" y="40"/>
785
+ </graphics>
786
+ <toolspecific tool="WoPeD" version="1.0">
787
+ <time>0</time>
788
+ <timeUnit>1</timeUnit>
789
+ <orientation>1</orientation>
790
+ </toolspecific>
791
+ </transition>
792
+ <arc id="a63" source="p12" target="t20">
793
+ <inscription>
794
+ <text>1</text>
795
+ </inscription>
796
+ <graphics/>
797
+ <toolspecific tool="WoPeD" version="1.0">
798
+ <probability>1.0</probability>
799
+ <displayProbabilityOn>false</displayProbabilityOn>
800
+ <displayProbabilityPosition x="500.0" y="0.0"/>
801
+ </toolspecific>
802
+ </arc>
803
+ <arc id="a64" source="t20" target="p33">
804
+ <inscription>
805
+ <text>1</text>
806
+ </inscription>
807
+ <graphics/>
808
+ <toolspecific tool="WoPeD" version="1.0">
809
+ <probability>1.0</probability>
810
+ <displayProbabilityOn>false</displayProbabilityOn>
811
+ <displayProbabilityPosition x="500.0" y="0.0"/>
812
+ </toolspecific>
813
+ </arc>
814
+ <arc id="a61" source="p14" target="t20">
815
+ <inscription>
816
+ <text>1</text>
817
+ </inscription>
818
+ <graphics/>
819
+ <toolspecific tool="WoPeD" version="1.0">
820
+ <probability>1.0</probability>
821
+ <displayProbabilityOn>false</displayProbabilityOn>
822
+ <displayProbabilityPosition x="500.0" y="0.0"/>
823
+ </toolspecific>
824
+ </arc>
825
+ <arc id="a60" source="t16" target="p33">
826
+ <inscription>
827
+ <text>1</text>
828
+ </inscription>
829
+ <graphics/>
830
+ <toolspecific tool="WoPeD" version="1.0">
831
+ <probability>1.0</probability>
832
+ <displayProbabilityOn>false</displayProbabilityOn>
833
+ <displayProbabilityPosition x="500.0" y="0.0"/>
834
+ </toolspecific>
835
+ </arc>
836
+ <arc id="a20" source="t11" target="p12">
837
+ <inscription>
838
+ <text>1</text>
839
+ </inscription>
840
+ <graphics/>
841
+ <toolspecific tool="WoPeD" version="1.0">
842
+ <probability>1.0</probability>
843
+ <displayProbabilityOn>false</displayProbabilityOn>
844
+ <displayProbabilityPosition x="500.0" y="0.0"/>
845
+ </toolspecific>
846
+ </arc>
847
+ <arc id="a17" source="t10" target="p10">
848
+ <inscription>
849
+ <text>1</text>
850
+ </inscription>
851
+ <graphics/>
852
+ <toolspecific tool="WoPeD" version="1.0">
853
+ <probability>1.0</probability>
854
+ <displayProbabilityOn>false</displayProbabilityOn>
855
+ <displayProbabilityPosition x="500.0" y="0.0"/>
856
+ </toolspecific>
857
+ </arc>
858
+ <arc id="a14" source="p8" target="t10">
859
+ <inscription>
860
+ <text>1</text>
861
+ </inscription>
862
+ <graphics/>
863
+ <toolspecific tool="WoPeD" version="1.0">
864
+ <probability>1.0</probability>
865
+ <displayProbabilityOn>false</displayProbabilityOn>
866
+ <displayProbabilityPosition x="500.0" y="0.0"/>
867
+ </toolspecific>
868
+ </arc>
869
+ <arc id="a15" source="t10" target="p9">
870
+ <inscription>
871
+ <text>1</text>
872
+ </inscription>
873
+ <graphics/>
874
+ <toolspecific tool="WoPeD" version="1.0">
875
+ <probability>1.0</probability>
876
+ <displayProbabilityOn>false</displayProbabilityOn>
877
+ <displayProbabilityPosition x="500.0" y="0.0"/>
878
+ </toolspecific>
879
+ </arc>
880
+ <arc id="a12" source="t8" target="p8">
881
+ <inscription>
882
+ <text>1</text>
883
+ </inscription>
884
+ <graphics/>
885
+ <toolspecific tool="WoPeD" version="1.0">
886
+ <probability>1.0</probability>
887
+ <displayProbabilityOn>false</displayProbabilityOn>
888
+ <displayProbabilityPosition x="500.0" y="0.0"/>
889
+ </toolspecific>
890
+ </arc>
891
+ <arc id="a10" source="p7" target="t7">
892
+ <inscription>
893
+ <text>1</text>
894
+ </inscription>
895
+ <graphics/>
896
+ <toolspecific tool="WoPeD" version="1.0">
897
+ <probability>1.0</probability>
898
+ <displayProbabilityOn>false</displayProbabilityOn>
899
+ <displayProbabilityPosition x="500.0" y="0.0"/>
900
+ </toolspecific>
901
+ </arc>
902
+ <arc id="a11" source="p7" target="t8">
903
+ <inscription>
904
+ <text>1</text>
905
+ </inscription>
906
+ <graphics/>
907
+ <toolspecific tool="WoPeD" version="1.0">
908
+ <probability>1.0</probability>
909
+ <displayProbabilityOn>false</displayProbabilityOn>
910
+ <displayProbabilityPosition x="500.0" y="0.0"/>
911
+ </toolspecific>
912
+ </arc>
913
+ <arc id="a59" source="p32" target="t2">
914
+ <inscription>
915
+ <text>1</text>
916
+ </inscription>
917
+ <graphics/>
918
+ <toolspecific tool="WoPeD" version="1.0">
919
+ <probability>1.0</probability>
920
+ <displayProbabilityOn>false</displayProbabilityOn>
921
+ <displayProbabilityPosition x="500.0" y="0.0"/>
922
+ </toolspecific>
923
+ </arc>
924
+ <arc id="a57" source="p31" target="t5">
925
+ <inscription>
926
+ <text>1</text>
927
+ </inscription>
928
+ <graphics/>
929
+ <toolspecific tool="WoPeD" version="1.0">
930
+ <probability>1.0</probability>
931
+ <displayProbabilityOn>false</displayProbabilityOn>
932
+ <displayProbabilityPosition x="500.0" y="0.0"/>
933
+ </toolspecific>
934
+ </arc>
935
+ <arc id="a56" source="p30" target="t5">
936
+ <inscription>
937
+ <text>1</text>
938
+ </inscription>
939
+ <graphics/>
940
+ <toolspecific tool="WoPeD" version="1.0">
941
+ <probability>1.0</probability>
942
+ <displayProbabilityOn>false</displayProbabilityOn>
943
+ <displayProbabilityPosition x="500.0" y="0.0"/>
944
+ </toolspecific>
945
+ </arc>
946
+ <arc id="a55" source="t17" target="p31">
947
+ <inscription>
948
+ <text>1</text>
949
+ </inscription>
950
+ <graphics/>
951
+ <toolspecific tool="WoPeD" version="1.0">
952
+ <probability>1.0</probability>
953
+ <displayProbabilityOn>false</displayProbabilityOn>
954
+ <displayProbabilityPosition x="500.0" y="0.0"/>
955
+ </toolspecific>
956
+ </arc>
957
+ <arc id="a18" source="p10" target="t11">
958
+ <inscription>
959
+ <text>1</text>
960
+ </inscription>
961
+ <graphics/>
962
+ <toolspecific tool="WoPeD" version="1.0">
963
+ <probability>1.0</probability>
964
+ <displayProbabilityOn>false</displayProbabilityOn>
965
+ <displayProbabilityPosition x="500.0" y="0.0"/>
966
+ </toolspecific>
967
+ </arc>
968
+ <arc id="a54" source="t18" target="p30">
969
+ <inscription>
970
+ <text>1</text>
971
+ </inscription>
972
+ <graphics/>
973
+ <toolspecific tool="WoPeD" version="1.0">
974
+ <probability>1.0</probability>
975
+ <displayProbabilityOn>false</displayProbabilityOn>
976
+ <displayProbabilityPosition x="500.0" y="0.0"/>
977
+ </toolspecific>
978
+ </arc>
979
+ <arc id="a19" source="p11" target="t11">
980
+ <inscription>
981
+ <text>1</text>
982
+ </inscription>
983
+ <graphics/>
984
+ <toolspecific tool="WoPeD" version="1.0">
985
+ <probability>1.0</probability>
986
+ <displayProbabilityOn>false</displayProbabilityOn>
987
+ <displayProbabilityPosition x="500.0" y="0.0"/>
988
+ </toolspecific>
989
+ </arc>
990
+ <arc id="a25" source="t7" target="p15">
991
+ <inscription>
992
+ <text>1</text>
993
+ </inscription>
994
+ <graphics/>
995
+ <toolspecific tool="WoPeD" version="1.0">
996
+ <probability>1.0</probability>
997
+ <displayProbabilityOn>false</displayProbabilityOn>
998
+ <displayProbabilityPosition x="500.0" y="0.0"/>
999
+ </toolspecific>
1000
+ </arc>
1001
+ <arc id="a26" source="p15" target="t13">
1002
+ <inscription>
1003
+ <text>1</text>
1004
+ </inscription>
1005
+ <graphics/>
1006
+ <toolspecific tool="WoPeD" version="1.0">
1007
+ <probability>1.0</probability>
1008
+ <displayProbabilityOn>false</displayProbabilityOn>
1009
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1010
+ </toolspecific>
1011
+ </arc>
1012
+ <arc id="a27" source="t13" target="p16">
1013
+ <inscription>
1014
+ <text>1</text>
1015
+ </inscription>
1016
+ <graphics/>
1017
+ <toolspecific tool="WoPeD" version="1.0">
1018
+ <probability>1.0</probability>
1019
+ <displayProbabilityOn>false</displayProbabilityOn>
1020
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1021
+ </toolspecific>
1022
+ </arc>
1023
+ <arc id="a28" source="t13" target="p17">
1024
+ <inscription>
1025
+ <text>1</text>
1026
+ </inscription>
1027
+ <graphics/>
1028
+ <toolspecific tool="WoPeD" version="1.0">
1029
+ <probability>1.0</probability>
1030
+ <displayProbabilityOn>false</displayProbabilityOn>
1031
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1032
+ </toolspecific>
1033
+ </arc>
1034
+ <arc id="a21" source="p9" target="t12">
1035
+ <inscription>
1036
+ <text>1</text>
1037
+ </inscription>
1038
+ <graphics/>
1039
+ <toolspecific tool="WoPeD" version="1.0">
1040
+ <probability>1.0</probability>
1041
+ <displayProbabilityOn>false</displayProbabilityOn>
1042
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1043
+ </toolspecific>
1044
+ </arc>
1045
+ <arc id="a22" source="t12" target="p13">
1046
+ <inscription>
1047
+ <text>1</text>
1048
+ </inscription>
1049
+ <graphics/>
1050
+ <toolspecific tool="WoPeD" version="1.0">
1051
+ <probability>1.0</probability>
1052
+ <displayProbabilityOn>false</displayProbabilityOn>
1053
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1054
+ </toolspecific>
1055
+ </arc>
1056
+ <arc id="a23" source="p13" target="t9">
1057
+ <inscription>
1058
+ <text>1</text>
1059
+ </inscription>
1060
+ <graphics/>
1061
+ <toolspecific tool="WoPeD" version="1.0">
1062
+ <probability>1.0</probability>
1063
+ <displayProbabilityOn>false</displayProbabilityOn>
1064
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1065
+ </toolspecific>
1066
+ </arc>
1067
+ <arc id="a24" source="t9" target="p14">
1068
+ <inscription>
1069
+ <text>1</text>
1070
+ </inscription>
1071
+ <graphics/>
1072
+ <toolspecific tool="WoPeD" version="1.0">
1073
+ <probability>1.0</probability>
1074
+ <displayProbabilityOn>false</displayProbabilityOn>
1075
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1076
+ </toolspecific>
1077
+ </arc>
1078
+ <arc id="a66" source="p33" target="t22">
1079
+ <inscription>
1080
+ <text>1</text>
1081
+ </inscription>
1082
+ <graphics/>
1083
+ <toolspecific tool="WoPeD" version="1.0">
1084
+ <probability>1.0</probability>
1085
+ <displayProbabilityOn>false</displayProbabilityOn>
1086
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1087
+ </toolspecific>
1088
+ </arc>
1089
+ <arc id="a29" source="p17" target="t14">
1090
+ <inscription>
1091
+ <text>1</text>
1092
+ </inscription>
1093
+ <graphics/>
1094
+ <toolspecific tool="WoPeD" version="1.0">
1095
+ <probability>1.0</probability>
1096
+ <displayProbabilityOn>false</displayProbabilityOn>
1097
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1098
+ </toolspecific>
1099
+ </arc>
1100
+ <arc id="a65" source="t5" target="p33">
1101
+ <inscription>
1102
+ <text>1</text>
1103
+ </inscription>
1104
+ <graphics>
1105
+ <position x="1300" y="620"/>
1106
+ </graphics>
1107
+ <toolspecific tool="WoPeD" version="1.0">
1108
+ <probability>1.0</probability>
1109
+ <displayProbabilityOn>false</displayProbabilityOn>
1110
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1111
+ </toolspecific>
1112
+ </arc>
1113
+ <arc id="a68" source="t22" target="p35">
1114
+ <inscription>
1115
+ <text>1</text>
1116
+ </inscription>
1117
+ <graphics/>
1118
+ <toolspecific tool="WoPeD" version="1.0">
1119
+ <probability>1.0</probability>
1120
+ <displayProbabilityOn>false</displayProbabilityOn>
1121
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1122
+ </toolspecific>
1123
+ </arc>
1124
+ <arc id="a67" source="t22" target="p34">
1125
+ <inscription>
1126
+ <text>1</text>
1127
+ </inscription>
1128
+ <graphics/>
1129
+ <toolspecific tool="WoPeD" version="1.0">
1130
+ <probability>1.0</probability>
1131
+ <displayProbabilityOn>false</displayProbabilityOn>
1132
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1133
+ </toolspecific>
1134
+ </arc>
1135
+ <arc id="a41" source="t17" target="p24">
1136
+ <inscription>
1137
+ <text>1</text>
1138
+ </inscription>
1139
+ <graphics/>
1140
+ <toolspecific tool="WoPeD" version="1.0">
1141
+ <probability>1.0</probability>
1142
+ <displayProbabilityOn>false</displayProbabilityOn>
1143
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1144
+ </toolspecific>
1145
+ </arc>
1146
+ <arc id="a42" source="p24" target="t15">
1147
+ <inscription>
1148
+ <text>1</text>
1149
+ </inscription>
1150
+ <graphics/>
1151
+ <toolspecific tool="WoPeD" version="1.0">
1152
+ <probability>1.0</probability>
1153
+ <displayProbabilityOn>false</displayProbabilityOn>
1154
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1155
+ </toolspecific>
1156
+ </arc>
1157
+ <arc id="a40" source="p2" target="t17">
1158
+ <inscription>
1159
+ <text>1</text>
1160
+ </inscription>
1161
+ <graphics/>
1162
+ <toolspecific tool="WoPeD" version="1.0">
1163
+ <probability>1.0</probability>
1164
+ <displayProbabilityOn>false</displayProbabilityOn>
1165
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1166
+ </toolspecific>
1167
+ </arc>
1168
+ <arc id="a9" source="t6" target="p7">
1169
+ <inscription>
1170
+ <text>1</text>
1171
+ </inscription>
1172
+ <graphics/>
1173
+ <toolspecific tool="WoPeD" version="1.0">
1174
+ <probability>1.0</probability>
1175
+ <displayProbabilityOn>false</displayProbabilityOn>
1176
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1177
+ </toolspecific>
1178
+ </arc>
1179
+ <arc id="a1" source="t2" target="p3">
1180
+ <inscription>
1181
+ <text>1</text>
1182
+ </inscription>
1183
+ <graphics/>
1184
+ <toolspecific tool="WoPeD" version="1.0">
1185
+ <probability>1.0</probability>
1186
+ <displayProbabilityOn>false</displayProbabilityOn>
1187
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1188
+ </toolspecific>
1189
+ </arc>
1190
+ <arc id="a35" source="t13" target="p21">
1191
+ <inscription>
1192
+ <text>1</text>
1193
+ </inscription>
1194
+ <graphics/>
1195
+ <toolspecific tool="WoPeD" version="1.0">
1196
+ <probability>1.0</probability>
1197
+ <displayProbabilityOn>false</displayProbabilityOn>
1198
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1199
+ </toolspecific>
1200
+ </arc>
1201
+ <arc id="a2" source="p3" target="t3">
1202
+ <inscription>
1203
+ <text>1</text>
1204
+ </inscription>
1205
+ <graphics/>
1206
+ <toolspecific tool="WoPeD" version="1.0">
1207
+ <probability>1.0</probability>
1208
+ <displayProbabilityOn>false</displayProbabilityOn>
1209
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1210
+ </toolspecific>
1211
+ </arc>
1212
+ <arc id="a34" source="p20" target="t14">
1213
+ <inscription>
1214
+ <text>1</text>
1215
+ </inscription>
1216
+ <graphics/>
1217
+ <toolspecific tool="WoPeD" version="1.0">
1218
+ <probability>1.0</probability>
1219
+ <displayProbabilityOn>false</displayProbabilityOn>
1220
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1221
+ </toolspecific>
1222
+ </arc>
1223
+ <arc id="a3" source="p3" target="t4">
1224
+ <inscription>
1225
+ <text>1</text>
1226
+ </inscription>
1227
+ <graphics/>
1228
+ <toolspecific tool="WoPeD" version="1.0">
1229
+ <probability>1.0</probability>
1230
+ <displayProbabilityOn>false</displayProbabilityOn>
1231
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1232
+ </toolspecific>
1233
+ </arc>
1234
+ <arc id="a33" source="p19" target="t15">
1235
+ <inscription>
1236
+ <text>1</text>
1237
+ </inscription>
1238
+ <graphics/>
1239
+ <toolspecific tool="WoPeD" version="1.0">
1240
+ <probability>1.0</probability>
1241
+ <displayProbabilityOn>false</displayProbabilityOn>
1242
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1243
+ </toolspecific>
1244
+ </arc>
1245
+ <arc id="a4" source="t4" target="p4">
1246
+ <inscription>
1247
+ <text>1</text>
1248
+ </inscription>
1249
+ <graphics/>
1250
+ <toolspecific tool="WoPeD" version="1.0">
1251
+ <probability>1.0</probability>
1252
+ <displayProbabilityOn>false</displayProbabilityOn>
1253
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1254
+ </toolspecific>
1255
+ </arc>
1256
+ <arc id="a32" source="t14" target="p19">
1257
+ <inscription>
1258
+ <text>1</text>
1259
+ </inscription>
1260
+ <graphics/>
1261
+ <toolspecific tool="WoPeD" version="1.0">
1262
+ <probability>1.0</probability>
1263
+ <displayProbabilityOn>false</displayProbabilityOn>
1264
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1265
+ </toolspecific>
1266
+ </arc>
1267
+ <arc id="a5" source="p4" target="t5">
1268
+ <inscription>
1269
+ <text>1</text>
1270
+ </inscription>
1271
+ <graphics/>
1272
+ <toolspecific tool="WoPeD" version="1.0">
1273
+ <probability>1.0</probability>
1274
+ <displayProbabilityOn>false</displayProbabilityOn>
1275
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1276
+ </toolspecific>
1277
+ </arc>
1278
+ <arc id="a39" source="p23" target="t16">
1279
+ <inscription>
1280
+ <text>1</text>
1281
+ </inscription>
1282
+ <graphics/>
1283
+ <toolspecific tool="WoPeD" version="1.0">
1284
+ <probability>1.0</probability>
1285
+ <displayProbabilityOn>false</displayProbabilityOn>
1286
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1287
+ </toolspecific>
1288
+ </arc>
1289
+ <arc id="a6" source="p5" target="t5">
1290
+ <inscription>
1291
+ <text>1</text>
1292
+ </inscription>
1293
+ <graphics/>
1294
+ <toolspecific tool="WoPeD" version="1.0">
1295
+ <probability>1.0</probability>
1296
+ <displayProbabilityOn>false</displayProbabilityOn>
1297
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1298
+ </toolspecific>
1299
+ </arc>
1300
+ <arc id="a38" source="t15" target="p23">
1301
+ <inscription>
1302
+ <text>1</text>
1303
+ </inscription>
1304
+ <graphics/>
1305
+ <toolspecific tool="WoPeD" version="1.0">
1306
+ <probability>1.0</probability>
1307
+ <displayProbabilityOn>false</displayProbabilityOn>
1308
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1309
+ </toolspecific>
1310
+ </arc>
1311
+ <arc id="a7" source="t3" target="p6">
1312
+ <inscription>
1313
+ <text>1</text>
1314
+ </inscription>
1315
+ <graphics/>
1316
+ <toolspecific tool="WoPeD" version="1.0">
1317
+ <probability>1.0</probability>
1318
+ <displayProbabilityOn>false</displayProbabilityOn>
1319
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1320
+ </toolspecific>
1321
+ </arc>
1322
+ <arc id="a37" source="p22" target="t16">
1323
+ <inscription>
1324
+ <text>1</text>
1325
+ </inscription>
1326
+ <graphics/>
1327
+ <toolspecific tool="WoPeD" version="1.0">
1328
+ <probability>1.0</probability>
1329
+ <displayProbabilityOn>false</displayProbabilityOn>
1330
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1331
+ </toolspecific>
1332
+ </arc>
1333
+ <arc id="a8" source="p6" target="t6">
1334
+ <inscription>
1335
+ <text>1</text>
1336
+ </inscription>
1337
+ <graphics/>
1338
+ <toolspecific tool="WoPeD" version="1.0">
1339
+ <probability>1.0</probability>
1340
+ <displayProbabilityOn>false</displayProbabilityOn>
1341
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1342
+ </toolspecific>
1343
+ </arc>
1344
+ <arc id="a36" source="p21" target="t16">
1345
+ <inscription>
1346
+ <text>1</text>
1347
+ </inscription>
1348
+ <graphics/>
1349
+ <toolspecific tool="WoPeD" version="1.0">
1350
+ <probability>1.0</probability>
1351
+ <displayProbabilityOn>false</displayProbabilityOn>
1352
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1353
+ </toolspecific>
1354
+ </arc>
1355
+ <arc id="a50" source="t18" target="p28">
1356
+ <inscription>
1357
+ <text>1</text>
1358
+ </inscription>
1359
+ <graphics/>
1360
+ <toolspecific tool="WoPeD" version="1.0">
1361
+ <probability>1.0</probability>
1362
+ <displayProbabilityOn>false</displayProbabilityOn>
1363
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1364
+ </toolspecific>
1365
+ </arc>
1366
+ <arc id="a51" source="t17" target="p29">
1367
+ <inscription>
1368
+ <text>1</text>
1369
+ </inscription>
1370
+ <graphics/>
1371
+ <toolspecific tool="WoPeD" version="1.0">
1372
+ <probability>1.0</probability>
1373
+ <displayProbabilityOn>false</displayProbabilityOn>
1374
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1375
+ </toolspecific>
1376
+ </arc>
1377
+ <arc id="a52" source="p28" target="t16">
1378
+ <inscription>
1379
+ <text>1</text>
1380
+ </inscription>
1381
+ <graphics/>
1382
+ <toolspecific tool="WoPeD" version="1.0">
1383
+ <probability>1.0</probability>
1384
+ <displayProbabilityOn>false</displayProbabilityOn>
1385
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1386
+ </toolspecific>
1387
+ </arc>
1388
+ <arc id="a53" source="p29" target="t16">
1389
+ <inscription>
1390
+ <text>1</text>
1391
+ </inscription>
1392
+ <graphics/>
1393
+ <toolspecific tool="WoPeD" version="1.0">
1394
+ <probability>1.0</probability>
1395
+ <displayProbabilityOn>false</displayProbabilityOn>
1396
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1397
+ </toolspecific>
1398
+ </arc>
1399
+ <arc id="a44" source="t18" target="p25">
1400
+ <inscription>
1401
+ <text>1</text>
1402
+ </inscription>
1403
+ <graphics/>
1404
+ <toolspecific tool="WoPeD" version="1.0">
1405
+ <probability>1.0</probability>
1406
+ <displayProbabilityOn>false</displayProbabilityOn>
1407
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1408
+ </toolspecific>
1409
+ </arc>
1410
+ <arc id="a43" source="p1" target="t18">
1411
+ <inscription>
1412
+ <text>1</text>
1413
+ </inscription>
1414
+ <graphics/>
1415
+ <toolspecific tool="WoPeD" version="1.0">
1416
+ <probability>1.0</probability>
1417
+ <displayProbabilityOn>false</displayProbabilityOn>
1418
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1419
+ </toolspecific>
1420
+ </arc>
1421
+ <arc id="a46" source="p16" target="t19">
1422
+ <inscription>
1423
+ <text>1</text>
1424
+ </inscription>
1425
+ <graphics/>
1426
+ <toolspecific tool="WoPeD" version="1.0">
1427
+ <probability>1.0</probability>
1428
+ <displayProbabilityOn>false</displayProbabilityOn>
1429
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1430
+ </toolspecific>
1431
+ </arc>
1432
+ <arc id="a45" source="p25" target="t15">
1433
+ <inscription>
1434
+ <text>1</text>
1435
+ </inscription>
1436
+ <graphics/>
1437
+ <toolspecific tool="WoPeD" version="1.0">
1438
+ <probability>1.0</probability>
1439
+ <displayProbabilityOn>false</displayProbabilityOn>
1440
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1441
+ </toolspecific>
1442
+ </arc>
1443
+ <arc id="a48" source="p26" target="t15">
1444
+ <inscription>
1445
+ <text>1</text>
1446
+ </inscription>
1447
+ <graphics/>
1448
+ <toolspecific tool="WoPeD" version="1.0">
1449
+ <probability>1.0</probability>
1450
+ <displayProbabilityOn>false</displayProbabilityOn>
1451
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1452
+ </toolspecific>
1453
+ </arc>
1454
+ <arc id="a47" source="t19" target="p26">
1455
+ <inscription>
1456
+ <text>1</text>
1457
+ </inscription>
1458
+ <graphics/>
1459
+ <toolspecific tool="WoPeD" version="1.0">
1460
+ <probability>1.0</probability>
1461
+ <displayProbabilityOn>false</displayProbabilityOn>
1462
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1463
+ </toolspecific>
1464
+ </arc>
1465
+ <arc id="a49" source="t15" target="p27">
1466
+ <inscription>
1467
+ <text>1</text>
1468
+ </inscription>
1469
+ <graphics/>
1470
+ <toolspecific tool="WoPeD" version="1.0">
1471
+ <probability>1.0</probability>
1472
+ <displayProbabilityOn>false</displayProbabilityOn>
1473
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1474
+ </toolspecific>
1475
+ </arc>
1476
+ <toolspecific tool="WoPeD" version="1.0">
1477
+ <bounds>
1478
+ <position x="2" y="22"/>
1479
+ <dimension x="1905" y="784"/>
1480
+ </bounds>
1481
+ <scale>100</scale>
1482
+ <treeWidthRight>1551</treeWidthRight>
1483
+ <overviewPanelVisible>true</overviewPanelVisible>
1484
+ <treeHeightOverview>100</treeHeightOverview>
1485
+ <treePanelVisible>true</treePanelVisible>
1486
+ <verticalLayout>false</verticalLayout>
1487
+ <resources/>
1488
+ <simulations/>
1489
+ <partnerLinks/>
1490
+ <variables/>
1491
+ </toolspecific>
1492
+ </net>
1493
+ </pnml>