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/MakePair/Package.pione ADDED
@@ -0,0 +1,2 @@
1
+ .@ PackageName :: "MakePair"
2
+ .@ Entrance :: MakePair
data/example/MakePair/pione-package.json CHANGED
@@ -4,14 +4,18 @@
4
4
 
5
5
  ],
6
6
  "Documents": [
7
- "MakePair.pione"
7
+ "MakePair.pione",
8
+ "Package.pione"
8
9
  ],
9
10
  "Scenarios": [
10
11
  "scenario/case1",
11
- "scenario/case3",
12
- "scenario/case2"
12
+ "scenario/case2",
13
+ "scenario/case3"
13
14
  ],
14
15
  "Bins": [
15
16
 
17
+ ],
18
+ "Etcs": [
19
+
16
20
  ]
17
21
  }
data/example/MakePair/scenario/case1/pione-scenario.json CHANGED
@@ -2,46 +2,46 @@
2
2
  "ScenarioName": "case1",
3
3
  "ParamSet": null,
4
4
  "Inputs": [
5
- "input/4.i",
6
- "input/3.i",
5
+ "input/2.i",
7
6
  "input/5.i",
7
+ "input/3.i",
8
8
  "input/1.i",
9
- "input/2.i"
9
+ "input/4.i"
10
10
  ],
11
11
  "Outputs": [
12
- "output/perm-4-5.pair",
13
- "output/comb-2-4.pair",
14
- "output/comb-3-4.pair",
15
- "output/comb-3-5.pair",
16
- "output/perm-2-3.pair",
17
12
  "output/perm-5-1.pair",
13
+ "output/perm-3-1.pair",
14
+ "output/perm-2-5.pair",
15
+ "output/perm-4-5.pair",
16
+ "output/comb-2-5.pair",
17
+ "output/comb-1-2.pair",
18
+ "output/perm-1-3.pair",
19
+ "output/perm-2-1.pair",
20
+ "output/perm-4-1.pair",
18
21
  "output/perm-4-3.pair",
19
- "output/comb-1-4.pair",
20
- "output/perm-3-2.pair",
21
- "output/succ-1-2.pair",
22
- "output/perm-5-4.pair",
23
- "output/comb-2-3.pair",
24
- "output/perm-1-5.pair",
25
- "output/perm-5-3.pair",
26
22
  "output/perm-2-4.pair",
27
- "output/comb-1-3.pair",
28
- "output/perm-3-5.pair",
29
- "output/comb-1-5.pair",
30
- "output/perm-4-1.pair",
31
- "output/perm-3-1.pair",
32
23
  "output/comb-4-5.pair",
33
- "output/perm-2-1.pair",
34
- "output/perm-4-2.pair",
35
- "output/perm-5-2.pair",
36
- "output/perm-1-2.pair",
37
- "output/perm-1-3.pair",
38
- "output/perm-1-4.pair",
39
- "output/comb-2-5.pair",
40
- "output/succ-4-5.pair",
41
24
  "output/succ-3-4.pair",
25
+ "output/perm-1-5.pair",
26
+ "output/comb-1-3.pair",
27
+ "output/perm-3-2.pair",
28
+ "output/perm-5-4.pair",
29
+ "output/perm-4-2.pair",
42
30
  "output/perm-3-4.pair",
31
+ "output/comb-3-4.pair",
32
+ "output/comb-2-4.pair",
33
+ "output/comb-1-4.pair",
34
+ "output/perm-5-3.pair",
35
+ "output/succ-4-5.pair",
36
+ "output/succ-1-2.pair",
37
+ "output/perm-2-3.pair",
38
+ "output/perm-5-2.pair",
43
39
  "output/succ-2-3.pair",
44
- "output/perm-2-5.pair",
45
- "output/comb-1-2.pair"
40
+ "output/perm-3-5.pair",
41
+ "output/perm-1-4.pair",
42
+ "output/comb-1-5.pair",
43
+ "output/comb-2-3.pair",
44
+ "output/comb-3-5.pair",
45
+ "output/perm-1-2.pair"
46
46
  ]
47
47
  }
data/example/MakePair/scenario/case2/pione-scenario.json CHANGED
@@ -2,21 +2,21 @@
2
2
  "ScenarioName": "case2",
3
3
  "ParamSet": null,
4
4
  "Inputs": [
5
- "input/11.i",
6
5
  "input/9.i",
7
- "input/10.i"
6
+ "input/10.i",
7
+ "input/11.i"
8
8
  ],
9
9
  "Outputs": [
10
- "output/comb-9-11.pair",
11
- "output/succ-10-11.pair",
12
- "output/perm-11-10.pair",
13
10
  "output/perm-9-11.pair",
14
- "output/perm-10-9.pair",
15
- "output/comb-10-11.pair",
11
+ "output/succ-10-11.pair",
16
12
  "output/perm-11-9.pair",
17
- "output/perm-9-10.pair",
18
- "output/succ-9-10.pair",
13
+ "output/perm-10-11.pair",
19
14
  "output/comb-9-10.pair",
20
- "output/perm-10-11.pair"
15
+ "output/comb-9-11.pair",
16
+ "output/comb-10-11.pair",
17
+ "output/succ-9-10.pair",
18
+ "output/perm-11-10.pair",
19
+ "output/perm-10-9.pair",
20
+ "output/perm-9-10.pair"
21
21
  ]
22
22
  }
data/example/MakePair/scenario/case3/pione-scenario.json CHANGED
@@ -2,42 +2,42 @@
2
2
  "ScenarioName": "case3",
3
3
  "ParamSet": null,
4
4
  "Inputs": [
5
- "input/3.i",
6
- "input/5.i",
7
- "input/1.i",
8
5
  "input/9.i",
9
- "input/7.i"
6
+ "input/5.i",
7
+ "input/3.i",
8
+ "input/7.i",
9
+ "input/1.i"
10
10
  ],
11
11
  "Outputs": [
12
- "output/comb-3-5.pair",
13
- "output/perm-5-9.pair",
14
12
  "output/perm-5-1.pair",
15
- "output/comb-3-9.pair",
16
- "output/perm-3-7.pair",
17
- "output/comb-7-9.pair",
18
- "output/perm-7-3.pair",
19
- "output/comb-3-7.pair",
20
- "output/perm-1-5.pair",
21
- "output/comb-1-7.pair",
22
- "output/perm-5-3.pair",
23
- "output/perm-7-5.pair",
24
- "output/comb-1-3.pair",
25
- "output/perm-3-5.pair",
26
- "output/comb-1-5.pair",
13
+ "output/perm-7-1.pair",
14
+ "output/perm-3-1.pair",
27
15
  "output/perm-9-5.pair",
28
- "output/perm-1-9.pair",
29
- "output/perm-9-3.pair",
30
- "output/perm-5-7.pair",
16
+ "output/perm-3-7.pair",
17
+ "output/comb-3-9.pair",
31
18
  "output/perm-3-9.pair",
32
- "output/perm-3-1.pair",
33
- "output/comb-1-9.pair",
34
- "output/comb-5-7.pair",
35
- "output/perm-1-7.pair",
19
+ "output/perm-7-9.pair",
36
20
  "output/perm-1-3.pair",
37
- "output/comb-5-9.pair",
21
+ "output/perm-5-7.pair",
38
22
  "output/perm-9-1.pair",
23
+ "output/comb-1-9.pair",
24
+ "output/perm-7-5.pair",
25
+ "output/perm-1-7.pair",
26
+ "output/comb-1-7.pair",
27
+ "output/perm-1-5.pair",
28
+ "output/comb-1-3.pair",
29
+ "output/perm-5-9.pair",
30
+ "output/perm-7-3.pair",
39
31
  "output/perm-9-7.pair",
40
- "output/perm-7-1.pair",
41
- "output/perm-7-9.pair"
32
+ "output/perm-5-3.pair",
33
+ "output/comb-5-7.pair",
34
+ "output/perm-1-9.pair",
35
+ "output/comb-3-7.pair",
36
+ "output/perm-3-5.pair",
37
+ "output/comb-7-9.pair",
38
+ "output/perm-9-3.pair",
39
+ "output/comb-1-5.pair",
40
+ "output/comb-3-5.pair",
41
+ "output/comb-5-9.pair"
42
42
  ]
43
43
  }
data/example/OddSelector/OddSelector.pione CHANGED
@@ -1,19 +1,19 @@
1
- .@ PackageName :: "OddSelector"
2
1
 
3
- Rule Main
2
+ Rule OddSelector
4
3
  input '*.i'.all
5
4
  output '*.res'.all
6
5
  Flow
7
- rule OddFilter >>> MakeResult
6
+ rule (<__TICKET_FROM_Filter_TO_MakeResult__>) ==> MakeResult
7
+ rule Filter ==> (<__TICKET_FROM_Filter_TO_MakeResult__>)
8
8
  End
9
9
 
10
- Rule OddFilter
10
+ Rule MakeResult
11
11
  input '*.i'
12
- output '*.i'.remove
13
- constraint ($I[1][1].i % 2) == 0
12
+ output '{$*}.res'
14
13
  End
15
14
 
16
- Rule MakeResult
15
+ Rule Filter
17
16
  input '*.i'
18
- output '{$*}.res'.touch
17
+ output '{$*}.i'.remove
18
+ constraint ($*.i % 2) == 0
19
19
  End
data/example/OddSelector/OddSelector.pnml ADDED
@@ -0,0 +1,401 @@
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="p7">
7
+ <name>
8
+ <text/>
9
+ <graphics>
10
+ <offset x="380" y="240"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="380" y="200"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p6">
19
+ <name>
20
+ <text/>
21
+ <graphics>
22
+ <offset x="380" y="140"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="380" y="100"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p4">
31
+ <name>
32
+ <text>>>></text>
33
+ <graphics>
34
+ <offset x="730" y="140"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="730" y="100"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ </place>
42
+ <place id="p3">
43
+ <name>
44
+ <text>'{$*}.i'.remove</text>
45
+ <graphics>
46
+ <offset x="730" y="70"/>
47
+ </graphics>
48
+ </name>
49
+ <graphics>
50
+ <position x="730" y="30"/>
51
+ <dimension x="40" y="40"/>
52
+ </graphics>
53
+ </place>
54
+ <place id="p2">
55
+ <name>
56
+ <text>'*.i'</text>
57
+ <graphics>
58
+ <offset x="240" y="190"/>
59
+ </graphics>
60
+ </name>
61
+ <graphics>
62
+ <position x="240" y="150"/>
63
+ <dimension x="40" y="40"/>
64
+ </graphics>
65
+ </place>
66
+ <place id="p1">
67
+ <name>
68
+ <text>&lt;'*.i'.all</text>
69
+ <graphics>
70
+ <offset x="80" y="190"/>
71
+ </graphics>
72
+ </name>
73
+ <graphics>
74
+ <position x="80" y="150"/>
75
+ <dimension x="40" y="40"/>
76
+ </graphics>
77
+ <initialMarking>
78
+ <text>1</text>
79
+ </initialMarking>
80
+ </place>
81
+ <place id="p10">
82
+ <name>
83
+ <text>($*.i % 2) == 0</text>
84
+ <graphics>
85
+ <offset x="530" y="140"/>
86
+ </graphics>
87
+ </name>
88
+ <graphics>
89
+ <position x="550" y="100"/>
90
+ <dimension x="40" y="40"/>
91
+ </graphics>
92
+ </place>
93
+ <place id="p9">
94
+ <name>
95
+ <text>>'*.res'.all</text>
96
+ <graphics>
97
+ <offset x="1040" y="240"/>
98
+ </graphics>
99
+ </name>
100
+ <graphics>
101
+ <position x="1040" y="200"/>
102
+ <dimension x="40" y="40"/>
103
+ </graphics>
104
+ </place>
105
+ <place id="p8">
106
+ <name>
107
+ <text>'{$*}.res'</text>
108
+ <graphics>
109
+ <offset x="880" y="240"/>
110
+ </graphics>
111
+ </name>
112
+ <graphics>
113
+ <position x="880" y="200"/>
114
+ <dimension x="40" y="40"/>
115
+ </graphics>
116
+ </place>
117
+ <transition id="t3">
118
+ <name>
119
+ <text>MakeResult</text>
120
+ <graphics>
121
+ <offset x="800" y="240"/>
122
+ </graphics>
123
+ </name>
124
+ <graphics>
125
+ <position x="800" y="200"/>
126
+ <dimension x="40" y="40"/>
127
+ </graphics>
128
+ <toolspecific tool="WoPeD" version="1.0">
129
+ <time>0</time>
130
+ <timeUnit>1</timeUnit>
131
+ <orientation>1</orientation>
132
+ </toolspecific>
133
+ </transition>
134
+ <transition id="t2">
135
+ <name>
136
+ <text>Filter</text>
137
+ <graphics>
138
+ <offset x="640" y="140"/>
139
+ </graphics>
140
+ </name>
141
+ <graphics>
142
+ <position x="640" y="100"/>
143
+ <dimension x="40" y="40"/>
144
+ </graphics>
145
+ <toolspecific tool="WoPeD" version="1.0">
146
+ <time>0</time>
147
+ <timeUnit>1</timeUnit>
148
+ <orientation>1</orientation>
149
+ </toolspecific>
150
+ </transition>
151
+ <transition id="t1">
152
+ <name>
153
+ <text/>
154
+ <graphics>
155
+ <offset x="160" y="190"/>
156
+ </graphics>
157
+ </name>
158
+ <graphics>
159
+ <position x="160" y="150"/>
160
+ <dimension x="40" y="40"/>
161
+ </graphics>
162
+ <toolspecific tool="WoPeD" version="1.0">
163
+ <time>0</time>
164
+ <timeUnit>1</timeUnit>
165
+ <orientation>1</orientation>
166
+ </toolspecific>
167
+ </transition>
168
+ <transition id="t6">
169
+ <name>
170
+ <text/>
171
+ <graphics>
172
+ <offset x="310" y="190"/>
173
+ </graphics>
174
+ </name>
175
+ <graphics>
176
+ <position x="310" y="150"/>
177
+ <dimension x="40" y="40"/>
178
+ </graphics>
179
+ <toolspecific tool="WoPeD" version="1.0">
180
+ <time>0</time>
181
+ <timeUnit>1</timeUnit>
182
+ <orientation>1</orientation>
183
+ </toolspecific>
184
+ </transition>
185
+ <transition id="t7">
186
+ <name>
187
+ <text/>
188
+ <graphics>
189
+ <offset x="960" y="240"/>
190
+ </graphics>
191
+ </name>
192
+ <graphics>
193
+ <position x="960" y="200"/>
194
+ <dimension x="40" y="40"/>
195
+ </graphics>
196
+ <toolspecific tool="WoPeD" version="1.0">
197
+ <time>0</time>
198
+ <timeUnit>1</timeUnit>
199
+ <orientation>1</orientation>
200
+ </toolspecific>
201
+ </transition>
202
+ <transition id="t8">
203
+ <name>
204
+ <text>constraint</text>
205
+ <graphics>
206
+ <offset x="460" y="140"/>
207
+ </graphics>
208
+ </name>
209
+ <graphics>
210
+ <position x="460" y="100"/>
211
+ <dimension x="40" y="40"/>
212
+ </graphics>
213
+ <toolspecific tool="WoPeD" version="1.0">
214
+ <time>0</time>
215
+ <timeUnit>1</timeUnit>
216
+ <orientation>1</orientation>
217
+ </toolspecific>
218
+ </transition>
219
+ <arc id="a16" source="t3" target="p8">
220
+ <inscription>
221
+ <text>1</text>
222
+ </inscription>
223
+ <graphics/>
224
+ <toolspecific tool="WoPeD" version="1.0">
225
+ <probability>1.0</probability>
226
+ <displayProbabilityOn>false</displayProbabilityOn>
227
+ <displayProbabilityPosition x="500.0" y="0.0"/>
228
+ </toolspecific>
229
+ </arc>
230
+ <arc id="a17" source="p8" target="t7">
231
+ <inscription>
232
+ <text>1</text>
233
+ </inscription>
234
+ <graphics/>
235
+ <toolspecific tool="WoPeD" version="1.0">
236
+ <probability>1.0</probability>
237
+ <displayProbabilityOn>false</displayProbabilityOn>
238
+ <displayProbabilityPosition x="500.0" y="0.0"/>
239
+ </toolspecific>
240
+ </arc>
241
+ <arc id="a14" source="p7" target="t3">
242
+ <inscription>
243
+ <text>1</text>
244
+ </inscription>
245
+ <graphics/>
246
+ <toolspecific tool="WoPeD" version="1.0">
247
+ <probability>1.0</probability>
248
+ <displayProbabilityOn>false</displayProbabilityOn>
249
+ <displayProbabilityPosition x="500.0" y="0.0"/>
250
+ </toolspecific>
251
+ </arc>
252
+ <arc id="a15" source="p4" target="t3">
253
+ <inscription>
254
+ <text>1</text>
255
+ </inscription>
256
+ <graphics/>
257
+ <toolspecific tool="WoPeD" version="1.0">
258
+ <probability>1.0</probability>
259
+ <displayProbabilityOn>false</displayProbabilityOn>
260
+ <displayProbabilityPosition x="500.0" y="0.0"/>
261
+ </toolspecific>
262
+ </arc>
263
+ <arc id="a21" source="t8" target="p10">
264
+ <inscription>
265
+ <text>1</text>
266
+ </inscription>
267
+ <graphics/>
268
+ <toolspecific tool="WoPeD" version="1.0">
269
+ <probability>1.0</probability>
270
+ <displayProbabilityOn>false</displayProbabilityOn>
271
+ <displayProbabilityPosition x="500.0" y="0.0"/>
272
+ </toolspecific>
273
+ </arc>
274
+ <arc id="a12" source="t6" target="p7">
275
+ <inscription>
276
+ <text>1</text>
277
+ </inscription>
278
+ <graphics/>
279
+ <toolspecific tool="WoPeD" version="1.0">
280
+ <probability>1.0</probability>
281
+ <displayProbabilityOn>false</displayProbabilityOn>
282
+ <displayProbabilityPosition x="500.0" y="0.0"/>
283
+ </toolspecific>
284
+ </arc>
285
+ <arc id="a22" source="p10" target="t2">
286
+ <inscription>
287
+ <text>1</text>
288
+ </inscription>
289
+ <graphics/>
290
+ <toolspecific tool="WoPeD" version="1.0">
291
+ <probability>1.0</probability>
292
+ <displayProbabilityOn>false</displayProbabilityOn>
293
+ <displayProbabilityPosition x="500.0" y="0.0"/>
294
+ </toolspecific>
295
+ </arc>
296
+ <arc id="a10" source="p2" target="t6">
297
+ <inscription>
298
+ <text>1</text>
299
+ </inscription>
300
+ <graphics/>
301
+ <toolspecific tool="WoPeD" version="1.0">
302
+ <probability>1.0</probability>
303
+ <displayProbabilityOn>false</displayProbabilityOn>
304
+ <displayProbabilityPosition x="500.0" y="0.0"/>
305
+ </toolspecific>
306
+ </arc>
307
+ <arc id="a20" source="p6" target="t8">
308
+ <inscription>
309
+ <text>1</text>
310
+ </inscription>
311
+ <graphics/>
312
+ <toolspecific tool="WoPeD" version="1.0">
313
+ <probability>1.0</probability>
314
+ <displayProbabilityOn>false</displayProbabilityOn>
315
+ <displayProbabilityPosition x="500.0" y="0.0"/>
316
+ </toolspecific>
317
+ </arc>
318
+ <arc id="a1" source="p1" target="t1">
319
+ <inscription>
320
+ <text>1</text>
321
+ </inscription>
322
+ <graphics/>
323
+ <toolspecific tool="WoPeD" version="1.0">
324
+ <probability>1.0</probability>
325
+ <displayProbabilityOn>false</displayProbabilityOn>
326
+ <displayProbabilityPosition x="500.0" y="0.0"/>
327
+ </toolspecific>
328
+ </arc>
329
+ <arc id="a2" source="t1" target="p2">
330
+ <inscription>
331
+ <text>1</text>
332
+ </inscription>
333
+ <graphics/>
334
+ <toolspecific tool="WoPeD" version="1.0">
335
+ <probability>1.0</probability>
336
+ <displayProbabilityOn>false</displayProbabilityOn>
337
+ <displayProbabilityPosition x="500.0" y="0.0"/>
338
+ </toolspecific>
339
+ </arc>
340
+ <arc id="a4" source="t2" target="p3">
341
+ <inscription>
342
+ <text>1</text>
343
+ </inscription>
344
+ <graphics/>
345
+ <toolspecific tool="WoPeD" version="1.0">
346
+ <probability>1.0</probability>
347
+ <displayProbabilityOn>false</displayProbabilityOn>
348
+ <displayProbabilityPosition x="500.0" y="0.0"/>
349
+ </toolspecific>
350
+ </arc>
351
+ <arc id="a6" source="t2" target="p4">
352
+ <inscription>
353
+ <text>1</text>
354
+ </inscription>
355
+ <graphics/>
356
+ <toolspecific tool="WoPeD" version="1.0">
357
+ <probability>1.0</probability>
358
+ <displayProbabilityOn>false</displayProbabilityOn>
359
+ <displayProbabilityPosition x="500.0" y="0.0"/>
360
+ </toolspecific>
361
+ </arc>
362
+ <arc id="a18" source="t7" target="p9">
363
+ <inscription>
364
+ <text>1</text>
365
+ </inscription>
366
+ <graphics/>
367
+ <toolspecific tool="WoPeD" version="1.0">
368
+ <probability>1.0</probability>
369
+ <displayProbabilityOn>false</displayProbabilityOn>
370
+ <displayProbabilityPosition x="500.0" y="0.0"/>
371
+ </toolspecific>
372
+ </arc>
373
+ <arc id="a19" source="t6" target="p6">
374
+ <inscription>
375
+ <text>1</text>
376
+ </inscription>
377
+ <graphics/>
378
+ <toolspecific tool="WoPeD" version="1.0">
379
+ <probability>1.0</probability>
380
+ <displayProbabilityOn>false</displayProbabilityOn>
381
+ <displayProbabilityPosition x="500.0" y="0.0"/>
382
+ </toolspecific>
383
+ </arc>
384
+ <toolspecific tool="WoPeD" version="1.0">
385
+ <bounds>
386
+ <position x="2" y="25"/>
387
+ <dimension x="1905" y="784"/>
388
+ </bounds>
389
+ <scale>100</scale>
390
+ <treeWidthRight>1550</treeWidthRight>
391
+ <overviewPanelVisible>true</overviewPanelVisible>
392
+ <treeHeightOverview>100</treeHeightOverview>
393
+ <treePanelVisible>true</treePanelVisible>
394
+ <verticalLayout>false</verticalLayout>
395
+ <resources/>
396
+ <simulations/>
397
+ <partnerLinks/>
398
+ <variables/>
399
+ </toolspecific>
400
+ </net>
401
+ </pnml>