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/LucasNumber/Package.pione ADDED
@@ -0,0 +1,2 @@
1
+ .@ PackageName :: "LucasNumber"
2
+ .@ Entrance :: LucasNumber
data/example/MakePair/MakePair.pione CHANGED
@@ -1,31 +1,29 @@
1
- .@ PackageName :: "MakePair"
2
-
3
- Rule Main
1
+ Rule MakePair
4
2
  input '*.i'.all
5
3
  output '*.pair'.all
6
4
  Flow
7
- rule SuccessorPair
8
5
  rule PermutationPair
9
6
  rule CombinationPair
7
+ rule SuccessorPair
10
8
  End
11
9
 
12
- Rule SuccessorPair
10
+ Rule PermutationPair
13
11
  input '*.i'
14
12
  input '*.i'
15
- output 'succ-{$I[1][1]}-{$I[2][1]}.pair'.touch
13
+ output 'succ-{$I[1][1]}-{$I[2][1]}.pair'
16
14
  constraint ($I[1][1].i + 1) == $I[2][1].i
17
15
  End
18
16
 
19
- Rule PermutationPair
17
+ Rule CombinationPair
20
18
  input '*.i'
21
19
  input '*.i'
22
- output 'perm-{$I[1][1]}-{$I[2][1]}.pair'.touch
20
+ output 'perm-{$I[1][1]}-{$I[2][1]}.pair'
23
21
  constraint $I[1][1].i != $I[2][1].i
24
22
  End
25
23
 
26
- Rule CombinationPair
24
+ Rule SuccessorPair
27
25
  input '*.i'
28
26
  input '*.i'
29
- output 'comb-{$I[1][1]}-{$I[2][1]}.pair'.touch
27
+ output 'comb-{$I[1][1]}-{$I[2][1]}.pair'
30
28
  constraint $I[1][1].i < $I[2][1].i
31
29
  End
data/example/MakePair/MakePair.pnml ADDED
@@ -0,0 +1,1141 @@
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>'comb-{$I[1][1]}-{$I[2][1]}.pair'</text>
9
+ <graphics>
10
+ <offset x="670" y="40"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="670" y="60"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p6">
19
+ <name>
20
+ <text>'perm-{$I[1][1]}-{$I[2][1]}.pair'</text>
21
+ <graphics>
22
+ <offset x="670" y="300"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="670" y="320"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p5">
31
+ <name>
32
+ <text>>'*.pair'.all</text>
33
+ <graphics>
34
+ <offset x="970" y="260"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="970" y="220"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ </place>
42
+ <place id="p4">
43
+ <name>
44
+ <text>'succ-{$I[1][1]}-{$I[2][1]}.pair'</text>
45
+ <graphics>
46
+ <offset x="670" y="170"/>
47
+ </graphics>
48
+ </name>
49
+ <graphics>
50
+ <position x="670" y="190"/>
51
+ <dimension x="40" y="40"/>
52
+ </graphics>
53
+ </place>
54
+ <place id="p3">
55
+ <name>
56
+ <text>'*.i'</text>
57
+ <graphics>
58
+ <offset x="190" y="230"/>
59
+ </graphics>
60
+ </name>
61
+ <graphics>
62
+ <position x="190" y="190"/>
63
+ <dimension x="40" y="40"/>
64
+ </graphics>
65
+ </place>
66
+ <place id="p2">
67
+ <name>
68
+ <text>'*.i'</text>
69
+ <graphics>
70
+ <offset x="190" y="300"/>
71
+ </graphics>
72
+ </name>
73
+ <graphics>
74
+ <position x="190" y="260"/>
75
+ <dimension x="40" y="40"/>
76
+ </graphics>
77
+ </place>
78
+ <place id="p1">
79
+ <name>
80
+ <text>&lt;'*.i'.all</text>
81
+ <graphics>
82
+ <offset x="60" y="200"/>
83
+ </graphics>
84
+ </name>
85
+ <graphics>
86
+ <position x="60" y="220"/>
87
+ <dimension x="40" y="40"/>
88
+ </graphics>
89
+ <initialMarking>
90
+ <text>1</text>
91
+ </initialMarking>
92
+ </place>
93
+ <place id="p20">
94
+ <name>
95
+ <text/>
96
+ <graphics>
97
+ <offset x="670" y="420"/>
98
+ </graphics>
99
+ </name>
100
+ <graphics>
101
+ <position x="670" y="380"/>
102
+ <dimension x="40" y="40"/>
103
+ </graphics>
104
+ </place>
105
+ <place id="p21">
106
+ <name>
107
+ <text/>
108
+ <graphics>
109
+ <offset x="840" y="130"/>
110
+ </graphics>
111
+ </name>
112
+ <graphics>
113
+ <position x="840" y="90"/>
114
+ <dimension x="40" y="40"/>
115
+ </graphics>
116
+ </place>
117
+ <place id="p9">
118
+ <name>
119
+ <text/>
120
+ <graphics>
121
+ <offset x="320" y="420"/>
122
+ </graphics>
123
+ </name>
124
+ <graphics>
125
+ <position x="320" y="380"/>
126
+ <dimension x="40" y="40"/>
127
+ </graphics>
128
+ </place>
129
+ <place id="p8">
130
+ <name>
131
+ <text/>
132
+ <graphics>
133
+ <offset x="320" y="100"/>
134
+ </graphics>
135
+ </name>
136
+ <graphics>
137
+ <position x="320" y="60"/>
138
+ <dimension x="40" y="40"/>
139
+ </graphics>
140
+ </place>
141
+ <place id="p23">
142
+ <name>
143
+ <text/>
144
+ <graphics>
145
+ <offset x="840" y="390"/>
146
+ </graphics>
147
+ </name>
148
+ <graphics>
149
+ <position x="840" y="350"/>
150
+ <dimension x="40" y="40"/>
151
+ </graphics>
152
+ </place>
153
+ <place id="p22">
154
+ <name>
155
+ <text/>
156
+ <graphics>
157
+ <offset x="840" y="260"/>
158
+ </graphics>
159
+ </name>
160
+ <graphics>
161
+ <position x="840" y="220"/>
162
+ <dimension x="40" y="40"/>
163
+ </graphics>
164
+ </place>
165
+ <place id="p10">
166
+ <name>
167
+ <text/>
168
+ <graphics>
169
+ <offset x="320" y="230"/>
170
+ </graphics>
171
+ </name>
172
+ <graphics>
173
+ <position x="320" y="190"/>
174
+ <dimension x="40" y="40"/>
175
+ </graphics>
176
+ </place>
177
+ <place id="p18">
178
+ <name>
179
+ <text>$I[1][1].i != $I[2][1].i</text>
180
+ <graphics>
181
+ <offset x="460" y="390"/>
182
+ </graphics>
183
+ </name>
184
+ <graphics>
185
+ <position x="480" y="350"/>
186
+ <dimension x="40" y="40"/>
187
+ </graphics>
188
+ </place>
189
+ <place id="p17">
190
+ <name>
191
+ <text/>
192
+ <graphics>
193
+ <offset x="670" y="290"/>
194
+ </graphics>
195
+ </name>
196
+ <graphics>
197
+ <position x="670" y="250"/>
198
+ <dimension x="40" y="40"/>
199
+ </graphics>
200
+ </place>
201
+ <place id="p16">
202
+ <name>
203
+ <text>($I[1][1].i + 1) == $I[2][1].i</text>
204
+ <graphics>
205
+ <offset x="460" y="260"/>
206
+ </graphics>
207
+ </name>
208
+ <graphics>
209
+ <position x="480" y="220"/>
210
+ <dimension x="40" y="40"/>
211
+ </graphics>
212
+ </place>
213
+ <place id="p15">
214
+ <name>
215
+ <text/>
216
+ <graphics>
217
+ <offset x="670" y="160"/>
218
+ </graphics>
219
+ </name>
220
+ <graphics>
221
+ <position x="670" y="120"/>
222
+ <dimension x="40" y="40"/>
223
+ </graphics>
224
+ </place>
225
+ <place id="p14">
226
+ <name>
227
+ <text>$I[1][1].i &lt; $I[2][1].i</text>
228
+ <graphics>
229
+ <offset x="460" y="130"/>
230
+ </graphics>
231
+ </name>
232
+ <graphics>
233
+ <position x="480" y="90"/>
234
+ <dimension x="40" y="40"/>
235
+ </graphics>
236
+ </place>
237
+ <place id="p13">
238
+ <name>
239
+ <text/>
240
+ <graphics>
241
+ <offset x="320" y="360"/>
242
+ </graphics>
243
+ </name>
244
+ <graphics>
245
+ <position x="320" y="320"/>
246
+ <dimension x="40" y="40"/>
247
+ </graphics>
248
+ </place>
249
+ <place id="p12">
250
+ <name>
251
+ <text/>
252
+ <graphics>
253
+ <offset x="320" y="300"/>
254
+ </graphics>
255
+ </name>
256
+ <graphics>
257
+ <position x="320" y="260"/>
258
+ <dimension x="40" y="40"/>
259
+ </graphics>
260
+ </place>
261
+ <place id="p11">
262
+ <name>
263
+ <text/>
264
+ <graphics>
265
+ <offset x="320" y="160"/>
266
+ </graphics>
267
+ </name>
268
+ <graphics>
269
+ <position x="320" y="120"/>
270
+ <dimension x="40" y="40"/>
271
+ </graphics>
272
+ </place>
273
+ <transition id="t3">
274
+ <name>
275
+ <text/>
276
+ <graphics>
277
+ <offset x="900" y="260"/>
278
+ </graphics>
279
+ </name>
280
+ <graphics>
281
+ <position x="905" y="220"/>
282
+ <dimension x="40" y="40"/>
283
+ </graphics>
284
+ <toolspecific tool="WoPeD" version="1.0">
285
+ <time>0</time>
286
+ <timeUnit>1</timeUnit>
287
+ <orientation>1</orientation>
288
+ </toolspecific>
289
+ </transition>
290
+ <transition id="t2">
291
+ <name>
292
+ <text>constraint</text>
293
+ <graphics>
294
+ <offset x="400" y="260"/>
295
+ </graphics>
296
+ </name>
297
+ <graphics>
298
+ <position x="405" y="220"/>
299
+ <dimension x="40" y="40"/>
300
+ </graphics>
301
+ <toolspecific tool="WoPeD" version="1.0">
302
+ <time>0</time>
303
+ <timeUnit>1</timeUnit>
304
+ <orientation>1</orientation>
305
+ </toolspecific>
306
+ </transition>
307
+ <transition id="t1">
308
+ <name>
309
+ <text/>
310
+ <graphics>
311
+ <offset x="120" y="260"/>
312
+ </graphics>
313
+ </name>
314
+ <graphics>
315
+ <position x="125" y="220"/>
316
+ <dimension x="40" y="40"/>
317
+ </graphics>
318
+ <toolspecific tool="WoPeD" version="1.0">
319
+ <time>0</time>
320
+ <timeUnit>1</timeUnit>
321
+ <orientation>1</orientation>
322
+ </toolspecific>
323
+ </transition>
324
+ <transition id="t10">
325
+ <name>
326
+ <text>PermutationPair</text>
327
+ <graphics>
328
+ <offset x="570" y="170"/>
329
+ </graphics>
330
+ </name>
331
+ <graphics>
332
+ <position x="570" y="190"/>
333
+ <dimension x="40" y="40"/>
334
+ </graphics>
335
+ <toolspecific tool="WoPeD" version="1.0">
336
+ <time>0</time>
337
+ <timeUnit>1</timeUnit>
338
+ <orientation>1</orientation>
339
+ </toolspecific>
340
+ </transition>
341
+ <transition id="t11">
342
+ <name>
343
+ <text/>
344
+ <graphics>
345
+ <offset x="570" y="290"/>
346
+ </graphics>
347
+ </name>
348
+ <graphics>
349
+ <position x="570" y="250"/>
350
+ <dimension x="40" y="40"/>
351
+ </graphics>
352
+ <toolspecific tool="WoPeD" version="1.0">
353
+ <time>0</time>
354
+ <timeUnit>1</timeUnit>
355
+ <orientation>1</orientation>
356
+ </toolspecific>
357
+ </transition>
358
+ <transition id="t12">
359
+ <name>
360
+ <text/>
361
+ <graphics>
362
+ <offset x="570" y="420"/>
363
+ </graphics>
364
+ </name>
365
+ <graphics>
366
+ <position x="570" y="380"/>
367
+ <dimension x="40" y="40"/>
368
+ </graphics>
369
+ <toolspecific tool="WoPeD" version="1.0">
370
+ <time>0</time>
371
+ <timeUnit>1</timeUnit>
372
+ <orientation>1</orientation>
373
+ </toolspecific>
374
+ </transition>
375
+ <transition id="t13">
376
+ <name>
377
+ <text>CombinationPair</text>
378
+ <graphics>
379
+ <offset x="570" y="300"/>
380
+ </graphics>
381
+ </name>
382
+ <graphics>
383
+ <position x="570" y="320"/>
384
+ <dimension x="40" y="40"/>
385
+ </graphics>
386
+ <toolspecific tool="WoPeD" version="1.0">
387
+ <time>0</time>
388
+ <timeUnit>1</timeUnit>
389
+ <orientation>1</orientation>
390
+ </toolspecific>
391
+ </transition>
392
+ <transition id="t14">
393
+ <name>
394
+ <text/>
395
+ <graphics>
396
+ <offset x="770" y="100"/>
397
+ </graphics>
398
+ </name>
399
+ <graphics>
400
+ <position x="770" y="60"/>
401
+ <dimension x="40" y="40"/>
402
+ </graphics>
403
+ <toolspecific tool="WoPeD" version="1.0">
404
+ <time>0</time>
405
+ <timeUnit>1</timeUnit>
406
+ <orientation>1</orientation>
407
+ </toolspecific>
408
+ </transition>
409
+ <transition id="t15">
410
+ <name>
411
+ <text/>
412
+ <graphics>
413
+ <offset x="770" y="230"/>
414
+ </graphics>
415
+ </name>
416
+ <graphics>
417
+ <position x="770" y="190"/>
418
+ <dimension x="40" y="40"/>
419
+ </graphics>
420
+ <toolspecific tool="WoPeD" version="1.0">
421
+ <time>0</time>
422
+ <timeUnit>1</timeUnit>
423
+ <orientation>1</orientation>
424
+ </toolspecific>
425
+ </transition>
426
+ <transition id="t16">
427
+ <name>
428
+ <text/>
429
+ <graphics>
430
+ <offset x="770" y="360"/>
431
+ </graphics>
432
+ </name>
433
+ <graphics>
434
+ <position x="770" y="320"/>
435
+ <dimension x="40" y="40"/>
436
+ </graphics>
437
+ <toolspecific tool="WoPeD" version="1.0">
438
+ <time>0</time>
439
+ <timeUnit>1</timeUnit>
440
+ <orientation>1</orientation>
441
+ </toolspecific>
442
+ </transition>
443
+ <transition id="t17">
444
+ <name>
445
+ <text/>
446
+ <graphics>
447
+ <offset x="770" y="160"/>
448
+ </graphics>
449
+ </name>
450
+ <graphics>
451
+ <position x="770" y="120"/>
452
+ <dimension x="40" y="40"/>
453
+ </graphics>
454
+ <toolspecific tool="WoPeD" version="1.0">
455
+ <time>0</time>
456
+ <timeUnit>1</timeUnit>
457
+ <orientation>1</orientation>
458
+ </toolspecific>
459
+ </transition>
460
+ <transition id="t18">
461
+ <name>
462
+ <text/>
463
+ <graphics>
464
+ <offset x="770" y="290"/>
465
+ </graphics>
466
+ </name>
467
+ <graphics>
468
+ <position x="770" y="250"/>
469
+ <dimension x="40" y="40"/>
470
+ </graphics>
471
+ <toolspecific tool="WoPeD" version="1.0">
472
+ <time>0</time>
473
+ <timeUnit>1</timeUnit>
474
+ <orientation>1</orientation>
475
+ </toolspecific>
476
+ </transition>
477
+ <transition id="t19">
478
+ <name>
479
+ <text/>
480
+ <graphics>
481
+ <offset x="770" y="420"/>
482
+ </graphics>
483
+ </name>
484
+ <graphics>
485
+ <position x="770" y="380"/>
486
+ <dimension x="40" y="40"/>
487
+ </graphics>
488
+ <toolspecific tool="WoPeD" version="1.0">
489
+ <time>0</time>
490
+ <timeUnit>1</timeUnit>
491
+ <orientation>1</orientation>
492
+ </toolspecific>
493
+ </transition>
494
+ <transition id="t4">
495
+ <name>
496
+ <text>constraint</text>
497
+ <graphics>
498
+ <offset x="400" y="390"/>
499
+ </graphics>
500
+ </name>
501
+ <graphics>
502
+ <position x="405" y="350"/>
503
+ <dimension x="40" y="40"/>
504
+ </graphics>
505
+ <toolspecific tool="WoPeD" version="1.0">
506
+ <time>0</time>
507
+ <timeUnit>1</timeUnit>
508
+ <orientation>1</orientation>
509
+ </toolspecific>
510
+ </transition>
511
+ <transition id="t5">
512
+ <name>
513
+ <text>constraint</text>
514
+ <graphics>
515
+ <offset x="400" y="130"/>
516
+ </graphics>
517
+ </name>
518
+ <graphics>
519
+ <position x="405" y="90"/>
520
+ <dimension x="40" y="40"/>
521
+ </graphics>
522
+ <toolspecific tool="WoPeD" version="1.0">
523
+ <time>0</time>
524
+ <timeUnit>1</timeUnit>
525
+ <orientation>1</orientation>
526
+ </toolspecific>
527
+ </transition>
528
+ <transition id="t6">
529
+ <name>
530
+ <text/>
531
+ <graphics>
532
+ <offset x="250" y="230"/>
533
+ </graphics>
534
+ </name>
535
+ <graphics>
536
+ <position x="250" y="190"/>
537
+ <dimension x="40" y="40"/>
538
+ </graphics>
539
+ <toolspecific tool="WoPeD" version="1.0">
540
+ <time>0</time>
541
+ <timeUnit>1</timeUnit>
542
+ <orientation>1</orientation>
543
+ </toolspecific>
544
+ </transition>
545
+ <transition id="t7">
546
+ <name>
547
+ <text/>
548
+ <graphics>
549
+ <offset x="250" y="300"/>
550
+ </graphics>
551
+ </name>
552
+ <graphics>
553
+ <position x="250" y="260"/>
554
+ <dimension x="40" y="40"/>
555
+ </graphics>
556
+ <toolspecific tool="WoPeD" version="1.0">
557
+ <time>0</time>
558
+ <timeUnit>1</timeUnit>
559
+ <orientation>1</orientation>
560
+ </toolspecific>
561
+ </transition>
562
+ <transition id="t8">
563
+ <name>
564
+ <text>SuccessorPair</text>
565
+ <graphics>
566
+ <offset x="570" y="40"/>
567
+ </graphics>
568
+ </name>
569
+ <graphics>
570
+ <position x="570" y="60"/>
571
+ <dimension x="40" y="40"/>
572
+ </graphics>
573
+ <toolspecific tool="WoPeD" version="1.0">
574
+ <time>0</time>
575
+ <timeUnit>1</timeUnit>
576
+ <orientation>1</orientation>
577
+ </toolspecific>
578
+ </transition>
579
+ <transition id="t9">
580
+ <name>
581
+ <text/>
582
+ <graphics>
583
+ <offset x="570" y="160"/>
584
+ </graphics>
585
+ </name>
586
+ <graphics>
587
+ <position x="570" y="120"/>
588
+ <dimension x="40" y="40"/>
589
+ </graphics>
590
+ <toolspecific tool="WoPeD" version="1.0">
591
+ <time>0</time>
592
+ <timeUnit>1</timeUnit>
593
+ <orientation>1</orientation>
594
+ </toolspecific>
595
+ </transition>
596
+ <arc id="a63" source="p22" target="t3">
597
+ <inscription>
598
+ <text>1</text>
599
+ </inscription>
600
+ <graphics/>
601
+ <toolspecific tool="WoPeD" version="1.0">
602
+ <probability>1.0</probability>
603
+ <displayProbabilityOn>false</displayProbabilityOn>
604
+ <displayProbabilityPosition x="500.0" y="0.0"/>
605
+ </toolspecific>
606
+ </arc>
607
+ <arc id="a64" source="p6" target="t16">
608
+ <inscription>
609
+ <text>1</text>
610
+ </inscription>
611
+ <graphics/>
612
+ <toolspecific tool="WoPeD" version="1.0">
613
+ <probability>1.0</probability>
614
+ <displayProbabilityOn>false</displayProbabilityOn>
615
+ <displayProbabilityPosition x="500.0" y="0.0"/>
616
+ </toolspecific>
617
+ </arc>
618
+ <arc id="a62" source="t15" target="p22">
619
+ <inscription>
620
+ <text>1</text>
621
+ </inscription>
622
+ <graphics/>
623
+ <toolspecific tool="WoPeD" version="1.0">
624
+ <probability>1.0</probability>
625
+ <displayProbabilityOn>false</displayProbabilityOn>
626
+ <displayProbabilityPosition x="500.0" y="0.0"/>
627
+ </toolspecific>
628
+ </arc>
629
+ <arc id="a41" source="t2" target="p16">
630
+ <inscription>
631
+ <text>1</text>
632
+ </inscription>
633
+ <graphics/>
634
+ <toolspecific tool="WoPeD" version="1.0">
635
+ <probability>1.0</probability>
636
+ <displayProbabilityOn>false</displayProbabilityOn>
637
+ <displayProbabilityPosition x="500.0" y="0.0"/>
638
+ </toolspecific>
639
+ </arc>
640
+ <arc id="a60" source="p4" target="t15">
641
+ <inscription>
642
+ <text>1</text>
643
+ </inscription>
644
+ <graphics/>
645
+ <toolspecific tool="WoPeD" version="1.0">
646
+ <probability>1.0</probability>
647
+ <displayProbabilityOn>false</displayProbabilityOn>
648
+ <displayProbabilityPosition x="500.0" y="0.0"/>
649
+ </toolspecific>
650
+ </arc>
651
+ <arc id="a17" source="p3" target="t6">
652
+ <inscription>
653
+ <text>1</text>
654
+ </inscription>
655
+ <graphics/>
656
+ <toolspecific tool="WoPeD" version="1.0">
657
+ <probability>1.0</probability>
658
+ <displayProbabilityOn>false</displayProbabilityOn>
659
+ <displayProbabilityPosition x="500.0" y="0.0"/>
660
+ </toolspecific>
661
+ </arc>
662
+ <arc id="a1" source="p1" target="t1">
663
+ <inscription>
664
+ <text>1</text>
665
+ </inscription>
666
+ <graphics/>
667
+ <toolspecific tool="WoPeD" version="1.0">
668
+ <probability>1.0</probability>
669
+ <displayProbabilityOn>false</displayProbabilityOn>
670
+ <displayProbabilityPosition x="500.0" y="0.0"/>
671
+ </toolspecific>
672
+ </arc>
673
+ <arc id="a35" source="t5" target="p14">
674
+ <inscription>
675
+ <text>1</text>
676
+ </inscription>
677
+ <graphics/>
678
+ <toolspecific tool="WoPeD" version="1.0">
679
+ <probability>1.0</probability>
680
+ <displayProbabilityOn>false</displayProbabilityOn>
681
+ <displayProbabilityPosition x="500.0" y="0.0"/>
682
+ </toolspecific>
683
+ </arc>
684
+ <arc id="a2" source="t1" target="p2">
685
+ <inscription>
686
+ <text>1</text>
687
+ </inscription>
688
+ <graphics/>
689
+ <toolspecific tool="WoPeD" version="1.0">
690
+ <probability>1.0</probability>
691
+ <displayProbabilityOn>false</displayProbabilityOn>
692
+ <displayProbabilityPosition x="500.0" y="0.0"/>
693
+ </toolspecific>
694
+ </arc>
695
+ <arc id="a34" source="p13" target="t4">
696
+ <inscription>
697
+ <text>1</text>
698
+ </inscription>
699
+ <graphics/>
700
+ <toolspecific tool="WoPeD" version="1.0">
701
+ <probability>1.0</probability>
702
+ <displayProbabilityOn>false</displayProbabilityOn>
703
+ <displayProbabilityPosition x="500.0" y="0.0"/>
704
+ </toolspecific>
705
+ </arc>
706
+ <arc id="a33" source="t6" target="p13">
707
+ <inscription>
708
+ <text>1</text>
709
+ </inscription>
710
+ <graphics/>
711
+ <toolspecific tool="WoPeD" version="1.0">
712
+ <probability>1.0</probability>
713
+ <displayProbabilityOn>false</displayProbabilityOn>
714
+ <displayProbabilityPosition x="500.0" y="0.0"/>
715
+ </toolspecific>
716
+ </arc>
717
+ <arc id="a59" source="p21" target="t3">
718
+ <inscription>
719
+ <text>1</text>
720
+ </inscription>
721
+ <graphics/>
722
+ <toolspecific tool="WoPeD" version="1.0">
723
+ <probability>1.0</probability>
724
+ <displayProbabilityOn>false</displayProbabilityOn>
725
+ <displayProbabilityPosition x="500.0" y="0.0"/>
726
+ </toolspecific>
727
+ </arc>
728
+ <arc id="a3" source="t1" target="p3">
729
+ <inscription>
730
+ <text>1</text>
731
+ </inscription>
732
+ <graphics/>
733
+ <toolspecific tool="WoPeD" version="1.0">
734
+ <probability>1.0</probability>
735
+ <displayProbabilityOn>false</displayProbabilityOn>
736
+ <displayProbabilityPosition x="500.0" y="0.0"/>
737
+ </toolspecific>
738
+ </arc>
739
+ <arc id="a58" source="t14" target="p21">
740
+ <inscription>
741
+ <text>1</text>
742
+ </inscription>
743
+ <graphics/>
744
+ <toolspecific tool="WoPeD" version="1.0">
745
+ <probability>1.0</probability>
746
+ <displayProbabilityOn>false</displayProbabilityOn>
747
+ <displayProbabilityPosition x="500.0" y="0.0"/>
748
+ </toolspecific>
749
+ </arc>
750
+ <arc id="a32" source="p12" target="t2">
751
+ <inscription>
752
+ <text>1</text>
753
+ </inscription>
754
+ <graphics/>
755
+ <toolspecific tool="WoPeD" version="1.0">
756
+ <probability>1.0</probability>
757
+ <displayProbabilityOn>false</displayProbabilityOn>
758
+ <displayProbabilityPosition x="500.0" y="0.0"/>
759
+ </toolspecific>
760
+ </arc>
761
+ <arc id="a57" source="p7" target="t14">
762
+ <inscription>
763
+ <text>1</text>
764
+ </inscription>
765
+ <graphics/>
766
+ <toolspecific tool="WoPeD" version="1.0">
767
+ <probability>1.0</probability>
768
+ <displayProbabilityOn>false</displayProbabilityOn>
769
+ <displayProbabilityPosition x="500.0" y="0.0"/>
770
+ </toolspecific>
771
+ </arc>
772
+ <arc id="a39" source="t9" target="p15">
773
+ <inscription>
774
+ <text>1</text>
775
+ </inscription>
776
+ <graphics/>
777
+ <toolspecific tool="WoPeD" version="1.0">
778
+ <probability>1.0</probability>
779
+ <displayProbabilityOn>false</displayProbabilityOn>
780
+ <displayProbabilityPosition x="500.0" y="0.0"/>
781
+ </toolspecific>
782
+ </arc>
783
+ <arc id="a38" source="t8" target="p7">
784
+ <inscription>
785
+ <text>1</text>
786
+ </inscription>
787
+ <graphics/>
788
+ <toolspecific tool="WoPeD" version="1.0">
789
+ <probability>1.0</probability>
790
+ <displayProbabilityOn>false</displayProbabilityOn>
791
+ <displayProbabilityPosition x="500.0" y="0.0"/>
792
+ </toolspecific>
793
+ </arc>
794
+ <arc id="a37" source="p14" target="t9">
795
+ <inscription>
796
+ <text>1</text>
797
+ </inscription>
798
+ <graphics/>
799
+ <toolspecific tool="WoPeD" version="1.0">
800
+ <probability>1.0</probability>
801
+ <displayProbabilityOn>false</displayProbabilityOn>
802
+ <displayProbabilityPosition x="500.0" y="0.0"/>
803
+ </toolspecific>
804
+ </arc>
805
+ <arc id="a18" source="t6" target="p8">
806
+ <inscription>
807
+ <text>1</text>
808
+ </inscription>
809
+ <graphics/>
810
+ <toolspecific tool="WoPeD" version="1.0">
811
+ <probability>1.0</probability>
812
+ <displayProbabilityOn>false</displayProbabilityOn>
813
+ <displayProbabilityPosition x="500.0" y="0.0"/>
814
+ </toolspecific>
815
+ </arc>
816
+ <arc id="a54" source="t12" target="p20">
817
+ <inscription>
818
+ <text>1</text>
819
+ </inscription>
820
+ <graphics/>
821
+ <toolspecific tool="WoPeD" version="1.0">
822
+ <probability>1.0</probability>
823
+ <displayProbabilityOn>false</displayProbabilityOn>
824
+ <displayProbabilityPosition x="500.0" y="0.0"/>
825
+ </toolspecific>
826
+ </arc>
827
+ <arc id="a36" source="p14" target="t8">
828
+ <inscription>
829
+ <text>1</text>
830
+ </inscription>
831
+ <graphics/>
832
+ <toolspecific tool="WoPeD" version="1.0">
833
+ <probability>1.0</probability>
834
+ <displayProbabilityOn>false</displayProbabilityOn>
835
+ <displayProbabilityPosition x="500.0" y="0.0"/>
836
+ </toolspecific>
837
+ </arc>
838
+ <arc id="a8" source="t3" target="p5">
839
+ <inscription>
840
+ <text>1</text>
841
+ </inscription>
842
+ <graphics/>
843
+ <toolspecific tool="WoPeD" version="1.0">
844
+ <probability>1.0</probability>
845
+ <displayProbabilityOn>false</displayProbabilityOn>
846
+ <displayProbabilityPosition x="500.0" y="0.0"/>
847
+ </toolspecific>
848
+ </arc>
849
+ <arc id="a19" source="p8" target="t5">
850
+ <inscription>
851
+ <text>1</text>
852
+ </inscription>
853
+ <graphics/>
854
+ <toolspecific tool="WoPeD" version="1.0">
855
+ <probability>1.0</probability>
856
+ <displayProbabilityOn>false</displayProbabilityOn>
857
+ <displayProbabilityPosition x="500.0" y="0.0"/>
858
+ </toolspecific>
859
+ </arc>
860
+ <arc id="a72" source="p20" target="t19">
861
+ <inscription>
862
+ <text>1</text>
863
+ </inscription>
864
+ <graphics/>
865
+ <toolspecific tool="WoPeD" version="1.0">
866
+ <probability>1.0</probability>
867
+ <displayProbabilityOn>false</displayProbabilityOn>
868
+ <displayProbabilityPosition x="500.0" y="0.0"/>
869
+ </toolspecific>
870
+ </arc>
871
+ <arc id="a73" source="t19" target="p23">
872
+ <inscription>
873
+ <text>1</text>
874
+ </inscription>
875
+ <graphics/>
876
+ <toolspecific tool="WoPeD" version="1.0">
877
+ <probability>1.0</probability>
878
+ <displayProbabilityOn>false</displayProbabilityOn>
879
+ <displayProbabilityPosition x="500.0" y="0.0"/>
880
+ </toolspecific>
881
+ </arc>
882
+ <arc id="a51" source="p18" target="t13">
883
+ <inscription>
884
+ <text>1</text>
885
+ </inscription>
886
+ <graphics/>
887
+ <toolspecific tool="WoPeD" version="1.0">
888
+ <probability>1.0</probability>
889
+ <displayProbabilityOn>false</displayProbabilityOn>
890
+ <displayProbabilityPosition x="500.0" y="0.0"/>
891
+ </toolspecific>
892
+ </arc>
893
+ <arc id="a70" source="p17" target="t18">
894
+ <inscription>
895
+ <text>1</text>
896
+ </inscription>
897
+ <graphics/>
898
+ <toolspecific tool="WoPeD" version="1.0">
899
+ <probability>1.0</probability>
900
+ <displayProbabilityOn>false</displayProbabilityOn>
901
+ <displayProbabilityPosition x="500.0" y="0.0"/>
902
+ </toolspecific>
903
+ </arc>
904
+ <arc id="a53" source="t13" target="p6">
905
+ <inscription>
906
+ <text>1</text>
907
+ </inscription>
908
+ <graphics/>
909
+ <toolspecific tool="WoPeD" version="1.0">
910
+ <probability>1.0</probability>
911
+ <displayProbabilityOn>false</displayProbabilityOn>
912
+ <displayProbabilityPosition x="500.0" y="0.0"/>
913
+ </toolspecific>
914
+ </arc>
915
+ <arc id="a71" source="t18" target="p22">
916
+ <inscription>
917
+ <text>1</text>
918
+ </inscription>
919
+ <graphics/>
920
+ <toolspecific tool="WoPeD" version="1.0">
921
+ <probability>1.0</probability>
922
+ <displayProbabilityOn>false</displayProbabilityOn>
923
+ <displayProbabilityPosition x="500.0" y="0.0"/>
924
+ </toolspecific>
925
+ </arc>
926
+ <arc id="a31" source="p10" target="t2">
927
+ <inscription>
928
+ <text>1</text>
929
+ </inscription>
930
+ <graphics/>
931
+ <toolspecific tool="WoPeD" version="1.0">
932
+ <probability>1.0</probability>
933
+ <displayProbabilityOn>false</displayProbabilityOn>
934
+ <displayProbabilityPosition x="500.0" y="0.0"/>
935
+ </toolspecific>
936
+ </arc>
937
+ <arc id="a30" source="t7" target="p12">
938
+ <inscription>
939
+ <text>1</text>
940
+ </inscription>
941
+ <graphics/>
942
+ <toolspecific tool="WoPeD" version="1.0">
943
+ <probability>1.0</probability>
944
+ <displayProbabilityOn>false</displayProbabilityOn>
945
+ <displayProbabilityPosition x="500.0" y="0.0"/>
946
+ </toolspecific>
947
+ </arc>
948
+ <arc id="a27" source="t6" target="p10">
949
+ <inscription>
950
+ <text>1</text>
951
+ </inscription>
952
+ <graphics/>
953
+ <toolspecific tool="WoPeD" version="1.0">
954
+ <probability>1.0</probability>
955
+ <displayProbabilityOn>false</displayProbabilityOn>
956
+ <displayProbabilityPosition x="500.0" y="0.0"/>
957
+ </toolspecific>
958
+ </arc>
959
+ <arc id="a28" source="t7" target="p11">
960
+ <inscription>
961
+ <text>1</text>
962
+ </inscription>
963
+ <graphics/>
964
+ <toolspecific tool="WoPeD" version="1.0">
965
+ <probability>1.0</probability>
966
+ <displayProbabilityOn>false</displayProbabilityOn>
967
+ <displayProbabilityPosition x="500.0" y="0.0"/>
968
+ </toolspecific>
969
+ </arc>
970
+ <arc id="a22" source="p2" target="t7">
971
+ <inscription>
972
+ <text>1</text>
973
+ </inscription>
974
+ <graphics/>
975
+ <toolspecific tool="WoPeD" version="1.0">
976
+ <probability>1.0</probability>
977
+ <displayProbabilityOn>false</displayProbabilityOn>
978
+ <displayProbabilityPosition x="500.0" y="0.0"/>
979
+ </toolspecific>
980
+ </arc>
981
+ <arc id="a23" source="t7" target="p9">
982
+ <inscription>
983
+ <text>1</text>
984
+ </inscription>
985
+ <graphics/>
986
+ <toolspecific tool="WoPeD" version="1.0">
987
+ <probability>1.0</probability>
988
+ <displayProbabilityOn>false</displayProbabilityOn>
989
+ <displayProbabilityPosition x="500.0" y="0.0"/>
990
+ </toolspecific>
991
+ </arc>
992
+ <arc id="a24" source="p9" target="t4">
993
+ <inscription>
994
+ <text>1</text>
995
+ </inscription>
996
+ <graphics/>
997
+ <toolspecific tool="WoPeD" version="1.0">
998
+ <probability>1.0</probability>
999
+ <displayProbabilityOn>false</displayProbabilityOn>
1000
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1001
+ </toolspecific>
1002
+ </arc>
1003
+ <arc id="a44" source="p16" target="t11">
1004
+ <inscription>
1005
+ <text>1</text>
1006
+ </inscription>
1007
+ <graphics/>
1008
+ <toolspecific tool="WoPeD" version="1.0">
1009
+ <probability>1.0</probability>
1010
+ <displayProbabilityOn>false</displayProbabilityOn>
1011
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1012
+ </toolspecific>
1013
+ </arc>
1014
+ <arc id="a43" source="p16" target="t10">
1015
+ <inscription>
1016
+ <text>1</text>
1017
+ </inscription>
1018
+ <graphics/>
1019
+ <toolspecific tool="WoPeD" version="1.0">
1020
+ <probability>1.0</probability>
1021
+ <displayProbabilityOn>false</displayProbabilityOn>
1022
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1023
+ </toolspecific>
1024
+ </arc>
1025
+ <arc id="a69" source="t17" target="p21">
1026
+ <inscription>
1027
+ <text>1</text>
1028
+ </inscription>
1029
+ <graphics/>
1030
+ <toolspecific tool="WoPeD" version="1.0">
1031
+ <probability>1.0</probability>
1032
+ <displayProbabilityOn>false</displayProbabilityOn>
1033
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1034
+ </toolspecific>
1035
+ </arc>
1036
+ <arc id="a46" source="t11" target="p17">
1037
+ <inscription>
1038
+ <text>1</text>
1039
+ </inscription>
1040
+ <graphics/>
1041
+ <toolspecific tool="WoPeD" version="1.0">
1042
+ <probability>1.0</probability>
1043
+ <displayProbabilityOn>false</displayProbabilityOn>
1044
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1045
+ </toolspecific>
1046
+ </arc>
1047
+ <arc id="a45" source="t10" target="p4">
1048
+ <inscription>
1049
+ <text>1</text>
1050
+ </inscription>
1051
+ <graphics/>
1052
+ <toolspecific tool="WoPeD" version="1.0">
1053
+ <probability>1.0</probability>
1054
+ <displayProbabilityOn>false</displayProbabilityOn>
1055
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1056
+ </toolspecific>
1057
+ </arc>
1058
+ <arc id="a29" source="p11" target="t5">
1059
+ <inscription>
1060
+ <text>1</text>
1061
+ </inscription>
1062
+ <graphics/>
1063
+ <toolspecific tool="WoPeD" version="1.0">
1064
+ <probability>1.0</probability>
1065
+ <displayProbabilityOn>false</displayProbabilityOn>
1066
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1067
+ </toolspecific>
1068
+ </arc>
1069
+ <arc id="a48" source="t4" target="p18">
1070
+ <inscription>
1071
+ <text>1</text>
1072
+ </inscription>
1073
+ <graphics/>
1074
+ <toolspecific tool="WoPeD" version="1.0">
1075
+ <probability>1.0</probability>
1076
+ <displayProbabilityOn>false</displayProbabilityOn>
1077
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1078
+ </toolspecific>
1079
+ </arc>
1080
+ <arc id="a66" source="t16" target="p23">
1081
+ <inscription>
1082
+ <text>1</text>
1083
+ </inscription>
1084
+ <graphics/>
1085
+ <toolspecific tool="WoPeD" version="1.0">
1086
+ <probability>1.0</probability>
1087
+ <displayProbabilityOn>false</displayProbabilityOn>
1088
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1089
+ </toolspecific>
1090
+ </arc>
1091
+ <arc id="a68" source="p15" target="t17">
1092
+ <inscription>
1093
+ <text>1</text>
1094
+ </inscription>
1095
+ <graphics/>
1096
+ <toolspecific tool="WoPeD" version="1.0">
1097
+ <probability>1.0</probability>
1098
+ <displayProbabilityOn>false</displayProbabilityOn>
1099
+ <displayProbabilityPosition x="500.0" y="0.0"/>
1100
+ </toolspecific>
1101
+ </arc>
1102
+ <arc id="a49" source="p18" target="t12">
1103
+ <inscription>
1104
+ <text>1</text>
1105
+ </inscription>
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="a67" source="p23" target="t3">
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
+ <toolspecific tool="WoPeD" version="1.0">
1125
+ <bounds>
1126
+ <position x="2" y="22"/>
1127
+ <dimension x="1425" y="596"/>
1128
+ </bounds>
1129
+ <scale>100</scale>
1130
+ <treeWidthRight>1129</treeWidthRight>
1131
+ <overviewPanelVisible>true</overviewPanelVisible>
1132
+ <treeHeightOverview>100</treeHeightOverview>
1133
+ <treePanelVisible>true</treePanelVisible>
1134
+ <verticalLayout>false</verticalLayout>
1135
+ <resources/>
1136
+ <simulations/>
1137
+ <partnerLinks/>
1138
+ <variables/>
1139
+ </toolspecific>
1140
+ </net>
1141
+ </pnml>