pione 0.3.2 → 0.4.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (304) hide show
  1. data/.gitignore +2 -0
  2. data/.s3cfg +42 -0
  3. data/.travis.yml +18 -4
  4. data/.yardopts +1 -0
  5. data/Gemfile +3 -0
  6. data/History.txt +14 -0
  7. data/Procfile +7 -0
  8. data/Rakefile +25 -0
  9. data/bin/pione-interactive +6 -0
  10. data/bin/{pione-compiler → pione-notification-listener} +1 -1
  11. data/bin/{pione-broker → pione-task-worker-broker} +1 -1
  12. data/doc/man/pione-list-param.md +36 -0
  13. data/example/ActionError/ActionError.pione +9 -0
  14. data/example/ActionError/pione-package.json +15 -0
  15. data/example/CountChar/CountChar.pione +1 -1
  16. data/example/ScoreAggregation/ScoreAggregation.pione +1 -1
  17. data/example/Touch/pione-package.json +15 -0
  18. data/lib/pione.rb +12 -0
  19. data/lib/pione/agent.rb +3 -3
  20. data/lib/pione/agent/basic-agent.rb +10 -4
  21. data/lib/pione/agent/input-generator.rb +3 -3
  22. data/lib/pione/agent/{process-manager.rb → job-manager.rb} +10 -7
  23. data/lib/pione/agent/job-terminator.rb +2 -2
  24. data/lib/pione/agent/logger.rb +3 -3
  25. data/lib/pione/agent/messenger.rb +20 -9
  26. data/lib/pione/agent/notification-listener.rb +88 -0
  27. data/lib/pione/agent/task-worker-broker.rb +84 -0
  28. data/lib/pione/agent/task-worker.rb +3 -2
  29. data/lib/pione/agent/tuple-space-client.rb +1 -0
  30. data/lib/pione/agent/tuple-space-provider.rb +17 -35
  31. data/lib/pione/command.rb +33 -15
  32. data/lib/pione/command/action.rb +105 -0
  33. data/lib/pione/command/basic-command.rb +34 -376
  34. data/lib/pione/command/command-exception.rb +12 -11
  35. data/lib/pione/command/common.rb +198 -0
  36. data/lib/pione/command/option.rb +159 -204
  37. data/lib/pione/command/pione-action-exec.rb +85 -0
  38. data/lib/pione/command/pione-action-list.rb +43 -19
  39. data/lib/pione/command/pione-action-print.rb +79 -0
  40. data/lib/pione/command/pione-action.rb +8 -67
  41. data/lib/pione/command/pione-clean.rb +88 -68
  42. data/lib/pione/command/pione-client.rb +475 -332
  43. data/lib/pione/command/pione-command.rb +14 -31
  44. data/lib/pione/command/pione-compile.rb +90 -0
  45. data/lib/pione/command/pione-config-get.rb +53 -0
  46. data/lib/pione/command/pione-config-list.rb +64 -0
  47. data/lib/pione/command/pione-config-set.rb +59 -0
  48. data/lib/pione/command/pione-config-unset.rb +50 -0
  49. data/lib/pione/command/pione-config.rb +61 -0
  50. data/lib/pione/command/pione-diagnosis-notification.rb +235 -0
  51. data/lib/pione/command/pione-diagnosis.rb +21 -0
  52. data/lib/pione/command/pione-interactive.rb +188 -0
  53. data/lib/pione/command/pione-lang-check-syntax.rb +163 -0
  54. data/lib/pione/command/pione-lang-interactive.rb +146 -0
  55. data/lib/pione/command/pione-lang.rb +22 -0
  56. data/lib/pione/command/pione-log-format.rb +163 -0
  57. data/lib/pione/command/pione-log-list-id.rb +48 -0
  58. data/lib/pione/command/pione-log.rb +19 -101
  59. data/lib/pione/command/pione-notification-listener.rb +95 -0
  60. data/lib/pione/command/pione-package-add.rb +137 -0
  61. data/lib/pione/command/pione-package-build.rb +122 -0
  62. data/lib/pione/command/pione-package-show.rb +96 -0
  63. data/lib/pione/command/pione-package-update.rb +59 -0
  64. data/lib/pione/command/pione-package.rb +11 -139
  65. data/lib/pione/command/pione-task-worker-broker.rb +88 -0
  66. data/lib/pione/command/pione-task-worker.rb +148 -98
  67. data/lib/pione/command/pione-tuple-space-provider.rb +62 -54
  68. data/lib/pione/command/pione-tuple-space-viewer.rb +105 -83
  69. data/lib/pione/command/pione-val.rb +39 -39
  70. data/lib/pione/command/spawner.rb +34 -27
  71. data/lib/pione/front.rb +4 -2
  72. data/lib/pione/front/basic-front.rb +86 -23
  73. data/lib/pione/front/client-front.rb +2 -2
  74. data/lib/pione/front/diagnosis-notification-front.rb +40 -0
  75. data/lib/pione/front/front-exception.rb +7 -1
  76. data/lib/pione/front/notification-listener-front.rb +36 -0
  77. data/lib/pione/front/notification-recipient-interface.rb +19 -0
  78. data/lib/pione/front/relay-front.rb +4 -4
  79. data/lib/pione/front/task-worker-broker-front.rb +19 -0
  80. data/lib/pione/front/task-worker-front.rb +2 -2
  81. data/lib/pione/front/tuple-space-provider-front.rb +3 -2
  82. data/lib/pione/global.rb +3 -1
  83. data/lib/pione/global/client-variable.rb +1 -1
  84. data/lib/pione/global/config.rb +63 -7
  85. data/lib/pione/global/diagnosis-variable.rb +26 -0
  86. data/lib/pione/global/item.rb +28 -5
  87. data/lib/pione/global/log-variable.rb +6 -5
  88. data/lib/pione/global/network-variable.rb +75 -4
  89. data/lib/pione/global/path-variable.rb +1 -1
  90. data/lib/pione/global/system-variable.rb +12 -12
  91. data/lib/pione/global/task-worker-broker-variable.rb +43 -0
  92. data/lib/pione/global/tuple-space-notifier-variable.rb +3 -55
  93. data/lib/pione/lang/boolean.rb +4 -0
  94. data/lib/pione/lang/data-expr.rb +1 -1
  95. data/lib/pione/lang/integer.rb +1 -1
  96. data/lib/pione/lang/string.rb +4 -0
  97. data/lib/pione/lang/type.rb +1 -1
  98. data/lib/pione/location.rb +1 -0
  99. data/lib/pione/location/data-location.rb +41 -13
  100. data/lib/pione/location/dropbox-location.rb +175 -56
  101. data/lib/pione/location/ftp-location.rb +4 -1
  102. data/lib/pione/location/http-location.rb +5 -3
  103. data/lib/pione/location/https-location.rb +4 -2
  104. data/lib/pione/location/local-location.rb +6 -3
  105. data/lib/pione/location/location-exception.rb +12 -0
  106. data/lib/pione/location/notification-scheme.rb +46 -0
  107. data/lib/pione/log.rb +8 -7
  108. data/lib/pione/log/debug.rb +9 -9
  109. data/lib/pione/log/domain-log.rb +6 -1
  110. data/lib/pione/log/message-log-receiver.rb +32 -0
  111. data/lib/pione/log/system-log.rb +62 -141
  112. data/lib/pione/model.rb +7 -0
  113. data/lib/pione/model/notification-listener-model.rb +29 -0
  114. data/lib/pione/model/task-worker-broker-model.rb +129 -0
  115. data/lib/pione/notification.rb +13 -0
  116. data/lib/pione/notification/address.rb +104 -0
  117. data/lib/pione/notification/exception.rb +10 -0
  118. data/lib/pione/notification/message.rb +109 -0
  119. data/lib/pione/notification/receiver.rb +90 -0
  120. data/lib/pione/notification/recipient.rb +68 -0
  121. data/lib/pione/notification/task-worker-broker-recipient.rb +85 -0
  122. data/lib/pione/notification/transmitter.rb +84 -0
  123. data/lib/pione/pnml.rb +35 -0
  124. data/lib/pione/pnml/annotation-extractor.rb +47 -0
  125. data/lib/pione/pnml/compiler.rb +176 -0
  126. data/lib/pione/pnml/input-merge-complement.rb +78 -0
  127. data/lib/pione/pnml/input-parallelization-complement.rb +75 -0
  128. data/lib/pione/pnml/input-reduction.rb +80 -0
  129. data/lib/pione/pnml/invalid-arc-elimination.rb +41 -0
  130. data/lib/pione/pnml/io-expansion.rb +88 -0
  131. data/lib/pione/pnml/isolated-element-elimination.rb +32 -0
  132. data/lib/pione/pnml/net-rewriter.rb +44 -0
  133. data/lib/pione/pnml/output-decomposition-complement.rb +77 -0
  134. data/lib/pione/pnml/output-reduction.rb +86 -0
  135. data/lib/pione/pnml/output-synchronization-complement.rb +77 -0
  136. data/lib/pione/pnml/pione-model.rb +417 -0
  137. data/lib/pione/pnml/pnml-exception.rb +23 -0
  138. data/lib/pione/pnml/pnml-model.rb +368 -0
  139. data/lib/pione/pnml/reader.rb +51 -0
  140. data/lib/pione/rule-engine/action-handler.rb +8 -6
  141. data/lib/pione/rule-engine/basic-handler.rb +5 -5
  142. data/lib/pione/rule-engine/engine-exception.rb +7 -6
  143. data/lib/pione/rule-engine/flow-handler.rb +27 -18
  144. data/lib/pione/system.rb +3 -1
  145. data/lib/pione/system/domain-dump.rb +34 -0
  146. data/lib/pione/system/file-cache.rb +92 -13
  147. data/lib/pione/system/init.rb +3 -0
  148. data/lib/pione/system/normalizer.rb +40 -0
  149. data/lib/pione/system/status.rb +5 -5
  150. data/lib/pione/system/system-exception.rb +14 -1
  151. data/lib/pione/task-worker-broker.rb +7 -0
  152. data/lib/pione/task-worker-broker/basic-provider.rb +20 -0
  153. data/lib/pione/task-worker-broker/easy-provider.rb +65 -0
  154. data/lib/pione/test-helper.rb +27 -0
  155. data/lib/pione/test-helper/command-helper.rb +9 -101
  156. data/lib/pione/tuple-space/basic-tuple.rb +1 -1
  157. data/lib/pione/tuple-space/tuple-definition.yml +4 -6
  158. data/lib/pione/tuple-space/tuple-space-interface.rb +3 -45
  159. data/lib/pione/tuple-space/tuple-space-server.rb +45 -0
  160. data/lib/pione/util.rb +1 -2
  161. data/lib/pione/util/boolean-value.rb +62 -0
  162. data/lib/pione/util/completion.rb +111 -0
  163. data/lib/pione/util/evaluatable.rb +13 -27
  164. data/lib/pione/util/package-parameters-list.rb +15 -27
  165. data/lib/pione/util/zip.rb +8 -3
  166. data/lib/pione/version.rb +1 -1
  167. data/lib/rootage.rb +20 -0
  168. data/lib/rootage/action.rb +114 -0
  169. data/lib/rootage/argument.rb +46 -0
  170. data/lib/rootage/command.rb +218 -0
  171. data/lib/rootage/core.rb +532 -0
  172. data/lib/rootage/exception.rb +107 -0
  173. data/lib/rootage/help.rb +148 -0
  174. data/lib/rootage/help.txt.erb +31 -0
  175. data/lib/rootage/log.rb +226 -0
  176. data/lib/rootage/normalizer.rb +184 -0
  177. data/lib/rootage/option.rb +152 -0
  178. data/lib/rootage/scenario-test-result.erb +39 -0
  179. data/lib/rootage/scenario.rb +362 -0
  180. data/lib/rootage/test-helper.rb +115 -0
  181. data/man/pione-list-param.1 +44 -0
  182. data/misc/clock.rb +9 -0
  183. data/misc/machine-info.sh +21 -0
  184. data/misc/pione-completion.bash +238 -0
  185. data/misc/pione-completion.erb +53 -0
  186. data/misc/pione-completion.zsh +238 -0
  187. data/misc/pione.god +22 -0
  188. data/misc/ui.xml +23 -0
  189. data/pione.gemspec +3 -1
  190. data/test/agent/spec_basic-agent.rb +1 -1
  191. data/test/agent/spec_input-generator.rb +2 -2
  192. data/test/agent/spec_messenger.rb +6 -9
  193. data/test/agent/spec_notification-listener.rb +80 -0
  194. data/test/agent/{spec_broker.rb → spec_task-worker-broker.rb} +13 -10
  195. data/test/agent/spec_tuple-space-provider.rb +10 -6
  196. data/test/command/command-behavior.rb +3 -11
  197. data/test/command/data/pione-list-param/AdvancedParameters.pione +12 -0
  198. data/test/command/data/pione-list-param/BasicParameters.pione +12 -0
  199. data/test/command/spec_pione-action-exec.rb +16 -0
  200. data/test/command/spec_pione-action-list.rb +15 -10
  201. data/test/command/spec_pione-action-print.rb +14 -0
  202. data/test/command/spec_pione-action.rb +6 -19
  203. data/test/command/spec_pione-clean.rb +29 -46
  204. data/test/command/spec_pione-client.rb +29 -36
  205. data/test/command/spec_pione-command.rb +6 -6
  206. data/test/command/{spec_pione-compiler.rb → spec_pione-compile.rb} +11 -13
  207. data/test/command/spec_pione-config-get.rb +47 -0
  208. data/test/command/spec_pione-config-list.rb +42 -0
  209. data/test/command/spec_pione-config-set.rb +38 -0
  210. data/test/command/spec_pione-config-unset.rb +44 -0
  211. data/test/command/spec_pione-config.rb +11 -0
  212. data/test/command/spec_pione-diagnosis-notification.rb +23 -0
  213. data/test/command/spec_pione-diagnosis.rb +11 -0
  214. data/test/command/spec_pione-lang-check-syntax.rb +12 -0
  215. data/test/command/spec_pione-lang.rb +11 -0
  216. data/test/command/spec_pione-log-format.rb +29 -0
  217. data/test/command/spec_pione-log-list-id.rb +17 -0
  218. data/test/command/spec_pione-log.rb +6 -20
  219. data/test/command/spec_pione-package-add.rb +55 -0
  220. data/test/command/spec_pione-package-build.rb +57 -0
  221. data/test/command/spec_pione-package-show.rb +72 -0
  222. data/test/command/{spec_pione-update-package-info.rb → spec_pione-package-update.rb} +12 -13
  223. data/test/command/spec_pione-package.rb +4 -104
  224. data/test/command/spec_pione-val.rb +10 -7
  225. data/test/global/spec_config.rb +50 -0
  226. data/test/global/spec_item.rb +1 -1
  227. data/test/literate-action/data/HelloWorld.md +1 -1
  228. data/test/location/location-behavior.rb +1 -1
  229. data/test/location/spec_dropbox-location.rb +39 -0
  230. data/test/location/spec_notification-scheme.rb +37 -0
  231. data/test/log/spec_debug.rb +5 -4
  232. data/test/log/spec_message-log-receiver.rb +13 -0
  233. data/test/log/spec_message-log.rb +6 -9
  234. data/test/log/spec_system-log.rb +5 -3
  235. data/test/notification/spec_address.rb +229 -0
  236. data/test/notification/spec_message.rb +30 -0
  237. data/test/notification/spec_receiver.rb +36 -0
  238. data/test/notification/spec_transmitter.rb +37 -0
  239. data/test/pnml/data/ConditionalBranchIf.pnml +270 -0
  240. data/test/pnml/data/ConditionalBranchIfElse.pnml +309 -0
  241. data/test/pnml/data/IOExpansionComplex.pnml +363 -0
  242. data/test/pnml/data/IOExpansionSimple.pnml +140 -0
  243. data/test/pnml/data/InputMergeComplementComplex.pnml +381 -0
  244. data/test/pnml/data/InputMergeComplementSimple.pnml +248 -0
  245. data/test/pnml/data/InputParallelizationComplementComplex.pnml +433 -0
  246. data/test/pnml/data/InputParallelizationComplementSimple.pnml +288 -0
  247. data/test/pnml/data/InputReductionComplex.pnml +192 -0
  248. data/test/pnml/data/InputReductionLong.pnml +344 -0
  249. data/test/pnml/data/InputReductionSimple.pnml +140 -0
  250. data/test/pnml/data/IsolatedElementElimination.pnml +171 -0
  251. data/test/pnml/data/OutputDecompositionComplementComplex.pnml +381 -0
  252. data/test/pnml/data/OutputDecompositionComplementSimple.pnml +242 -0
  253. data/test/pnml/data/OutputReductionComplex.pnml +186 -0
  254. data/test/pnml/data/OutputReductionLong.pnml +344 -0
  255. data/test/pnml/data/OutputReductionSimple.pnml +140 -0
  256. data/test/pnml/data/OutputSynchronizationComplementComplex.pnml +498 -0
  257. data/test/pnml/data/OutputSynchronizationComplementSimple.pnml +347 -0
  258. data/test/pnml/data/SampleNet.pnml +238 -0
  259. data/test/pnml/spec_input-merge-complement.rb +40 -0
  260. data/test/pnml/spec_input-parallelization-complement.rb +50 -0
  261. data/test/pnml/spec_input-reduction.rb +113 -0
  262. data/test/pnml/spec_invalid-arc-elimination.rb +33 -0
  263. data/test/pnml/spec_io-expansion.rb +126 -0
  264. data/test/pnml/spec_isolated-element-elimination.rb +25 -0
  265. data/test/pnml/spec_output-decomposition-complement.rb +40 -0
  266. data/test/pnml/spec_output-reduction.rb +114 -0
  267. data/test/pnml/spec_output-synchronization-complement.rb +62 -0
  268. data/test/pnml/spec_pione-element.rb +144 -0
  269. data/test/pnml/spec_pnml-element.rb +373 -0
  270. data/test/pnml/spec_reader.rb +16 -0
  271. data/test/rootage/spec_argument.rb +18 -0
  272. data/test/rootage/spec_command.rb +239 -0
  273. data/test/rootage/spec_core.rb +198 -0
  274. data/test/rootage/spec_scenario.rb +149 -0
  275. data/test/system/{spec_domain-info.rb → spec_domain-dump.rb} +6 -6
  276. data/test/system/spec_file-cache.rb +6 -9
  277. data/test/tuple-space/spec_finished-tuple.rb +1 -1
  278. data/test/util/{spec_package-parameters-list_1.pione → data/package-parameters-list/Param1.pione} +0 -0
  279. data/test/util/{spec_package-parameters-list_2.pione → data/package-parameters-list/Param2.pione} +0 -0
  280. data/test/util/{spec_package-parameters-list_3.pione → data/package-parameters-list/Param3.pione} +0 -0
  281. data/test/util/{spec_package-parameters-list_4.pione → data/package-parameters-list/Param4.pione} +0 -0
  282. data/test/util/spec_boolean-value.rb +32 -0
  283. data/test/util/spec_completion.rb +22 -0
  284. data/test/util/spec_package-parameters-list.rb +39 -52
  285. data/test/util/spec_zip.rb +28 -1
  286. metadata +288 -47
  287. data/bin/pione-tuple-space-receiver +0 -5
  288. data/lib/pione/agent/broker.rb +0 -304
  289. data/lib/pione/agent/tuple-space-receiver.rb +0 -137
  290. data/lib/pione/command/pione-broker.rb +0 -104
  291. data/lib/pione/command/pione-compiler.rb +0 -57
  292. data/lib/pione/command/pione-relay-account-db.rb +0 -141
  293. data/lib/pione/command/pione-relay-client-db.rb +0 -118
  294. data/lib/pione/command/pione-relay.rb +0 -59
  295. data/lib/pione/command/pione-syntax-checker.rb +0 -214
  296. data/lib/pione/command/pione-tuple-space-receiver.rb +0 -111
  297. data/lib/pione/command/pione-update-package-info.rb +0 -53
  298. data/lib/pione/front/broker-front.rb +0 -22
  299. data/lib/pione/front/tuple-space-receiver-front.rb +0 -11
  300. data/lib/pione/global/broker-variable.rb +0 -33
  301. data/lib/pione/system/domain-info.rb +0 -25
  302. data/lib/pione/util/pnml-compiler.rb +0 -168
  303. data/test/agent/spec_tuple-space-receiver.rb +0 -47
  304. data/test/util/spec_pnml-compiler.rb +0 -32
@@ -0,0 +1,242 @@
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="p6">
7
+ <name>
8
+ <text>'o1'</text>
9
+ <graphics>
10
+ <offset x="470" y="100"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="470" y="60"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p4">
19
+ <name>
20
+ <text>'o3'</text>
21
+ <graphics>
22
+ <offset x="470" y="240"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="470" y="200"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p3">
31
+ <name>
32
+ <text>></text>
33
+ <graphics>
34
+ <offset x="280" y="170"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="280" y="130"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ </place>
42
+ <place id="p2">
43
+ <name>
44
+ <text>'i1'</text>
45
+ <graphics>
46
+ <offset x="140" y="170"/>
47
+ </graphics>
48
+ </name>
49
+ <graphics>
50
+ <position x="140" y="130"/>
51
+ <dimension x="40" y="40"/>
52
+ </graphics>
53
+ <initialMarking>
54
+ <text>1</text>
55
+ </initialMarking>
56
+ </place>
57
+ <place id="p1">
58
+ <name>
59
+ <text>'o2'</text>
60
+ <graphics>
61
+ <offset x="470" y="170"/>
62
+ </graphics>
63
+ </name>
64
+ <graphics>
65
+ <position x="470" y="130"/>
66
+ <dimension x="40" y="40"/>
67
+ </graphics>
68
+ </place>
69
+ <transition id="t3">
70
+ <name>
71
+ <text/>
72
+ <graphics>
73
+ <offset x="370" y="100"/>
74
+ </graphics>
75
+ </name>
76
+ <graphics>
77
+ <position x="370" y="60"/>
78
+ <dimension x="40" y="40"/>
79
+ </graphics>
80
+ <toolspecific tool="WoPeD" version="1.0">
81
+ <time>0</time>
82
+ <timeUnit>1</timeUnit>
83
+ <orientation>1</orientation>
84
+ </toolspecific>
85
+ </transition>
86
+ <transition id="t2">
87
+ <name>
88
+ <text/>
89
+ <graphics>
90
+ <offset x="370" y="170"/>
91
+ </graphics>
92
+ </name>
93
+ <graphics>
94
+ <position x="370" y="130"/>
95
+ <dimension x="40" y="40"/>
96
+ </graphics>
97
+ <toolspecific tool="WoPeD" version="1.0">
98
+ <time>0</time>
99
+ <timeUnit>1</timeUnit>
100
+ <orientation>1</orientation>
101
+ </toolspecific>
102
+ </transition>
103
+ <transition id="t1">
104
+ <name>
105
+ <text>A</text>
106
+ <graphics>
107
+ <offset x="210" y="170"/>
108
+ </graphics>
109
+ </name>
110
+ <graphics>
111
+ <position x="210" y="130"/>
112
+ <dimension x="40" y="40"/>
113
+ </graphics>
114
+ <toolspecific tool="WoPeD" version="1.0">
115
+ <time>0</time>
116
+ <timeUnit>1</timeUnit>
117
+ <orientation>1</orientation>
118
+ </toolspecific>
119
+ </transition>
120
+ <transition id="t4">
121
+ <name>
122
+ <text/>
123
+ <graphics>
124
+ <offset x="370" y="240"/>
125
+ </graphics>
126
+ </name>
127
+ <graphics>
128
+ <position x="370" y="200"/>
129
+ <dimension x="40" y="40"/>
130
+ </graphics>
131
+ <toolspecific tool="WoPeD" version="1.0">
132
+ <time>0</time>
133
+ <timeUnit>1</timeUnit>
134
+ <orientation>1</orientation>
135
+ </toolspecific>
136
+ </transition>
137
+ <arc id="a1" source="p3" target="t2">
138
+ <inscription>
139
+ <text>1</text>
140
+ </inscription>
141
+ <graphics/>
142
+ <toolspecific tool="WoPeD" version="1.0">
143
+ <probability>1.0</probability>
144
+ <displayProbabilityOn>false</displayProbabilityOn>
145
+ <displayProbabilityPosition x="500.0" y="0.0"/>
146
+ </toolspecific>
147
+ </arc>
148
+ <arc id="a2" source="p3" target="t3">
149
+ <inscription>
150
+ <text>1</text>
151
+ </inscription>
152
+ <graphics/>
153
+ <toolspecific tool="WoPeD" version="1.0">
154
+ <probability>1.0</probability>
155
+ <displayProbabilityOn>false</displayProbabilityOn>
156
+ <displayProbabilityPosition x="500.0" y="0.0"/>
157
+ </toolspecific>
158
+ </arc>
159
+ <arc id="a3" source="t1" target="p3">
160
+ <inscription>
161
+ <text>1</text>
162
+ </inscription>
163
+ <graphics/>
164
+ <toolspecific tool="WoPeD" version="1.0">
165
+ <probability>1.0</probability>
166
+ <displayProbabilityOn>false</displayProbabilityOn>
167
+ <displayProbabilityPosition x="500.0" y="0.0"/>
168
+ </toolspecific>
169
+ </arc>
170
+ <arc id="a4" source="t3" target="p6">
171
+ <inscription>
172
+ <text>1</text>
173
+ </inscription>
174
+ <graphics/>
175
+ <toolspecific tool="WoPeD" version="1.0">
176
+ <probability>1.0</probability>
177
+ <displayProbabilityOn>false</displayProbabilityOn>
178
+ <displayProbabilityPosition x="500.0" y="0.0"/>
179
+ </toolspecific>
180
+ </arc>
181
+ <arc id="a5" source="p2" target="t1">
182
+ <inscription>
183
+ <text>1</text>
184
+ </inscription>
185
+ <graphics/>
186
+ <toolspecific tool="WoPeD" version="1.0">
187
+ <probability>1.0</probability>
188
+ <displayProbabilityOn>false</displayProbabilityOn>
189
+ <displayProbabilityPosition x="500.0" y="0.0"/>
190
+ </toolspecific>
191
+ </arc>
192
+ <arc id="a6" source="t2" target="p1">
193
+ <inscription>
194
+ <text>1</text>
195
+ </inscription>
196
+ <graphics/>
197
+ <toolspecific tool="WoPeD" version="1.0">
198
+ <probability>1.0</probability>
199
+ <displayProbabilityOn>false</displayProbabilityOn>
200
+ <displayProbabilityPosition x="500.0" y="0.0"/>
201
+ </toolspecific>
202
+ </arc>
203
+ <arc id="a7" source="t4" target="p4">
204
+ <inscription>
205
+ <text>1</text>
206
+ </inscription>
207
+ <graphics/>
208
+ <toolspecific tool="WoPeD" version="1.0">
209
+ <probability>1.0</probability>
210
+ <displayProbabilityOn>false</displayProbabilityOn>
211
+ <displayProbabilityPosition x="500.0" y="0.0"/>
212
+ </toolspecific>
213
+ </arc>
214
+ <arc id="a8" source="p3" target="t4">
215
+ <inscription>
216
+ <text>1</text>
217
+ </inscription>
218
+ <graphics/>
219
+ <toolspecific tool="WoPeD" version="1.0">
220
+ <probability>1.0</probability>
221
+ <displayProbabilityOn>false</displayProbabilityOn>
222
+ <displayProbabilityPosition x="500.0" y="0.0"/>
223
+ </toolspecific>
224
+ </arc>
225
+ <toolspecific tool="WoPeD" version="1.0">
226
+ <bounds>
227
+ <position x="2" y="22"/>
228
+ <dimension x="775" y="323"/>
229
+ </bounds>
230
+ <scale>100</scale>
231
+ <treeWidthRight>578</treeWidthRight>
232
+ <overviewPanelVisible>true</overviewPanelVisible>
233
+ <treeHeightOverview>100</treeHeightOverview>
234
+ <treePanelVisible>true</treePanelVisible>
235
+ <verticalLayout>false</verticalLayout>
236
+ <resources/>
237
+ <simulations/>
238
+ <partnerLinks/>
239
+ <variables/>
240
+ </toolspecific>
241
+ </net>
242
+ </pnml>
@@ -0,0 +1,186 @@
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="p6">
7
+ <name>
8
+ <text>>'o1'</text>
9
+ <graphics>
10
+ <offset x="470" y="100"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="470" y="60"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p5">
19
+ <name>
20
+ <text>>'o3'</text>
21
+ <graphics>
22
+ <offset x="470" y="240"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="470" y="200"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p4">
31
+ <name>
32
+ <text>>'o2'</text>
33
+ <graphics>
34
+ <offset x="470" y="170"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="470" y="130"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ </place>
42
+ <place id="p3">
43
+ <name>
44
+ <text/>
45
+ <graphics>
46
+ <offset x="280" y="170"/>
47
+ </graphics>
48
+ </name>
49
+ <graphics>
50
+ <position x="280" y="130"/>
51
+ <dimension x="40" y="40"/>
52
+ </graphics>
53
+ </place>
54
+ <place id="p1">
55
+ <name>
56
+ <text>&lt;'i1'</text>
57
+ <graphics>
58
+ <offset x="100" y="170"/>
59
+ </graphics>
60
+ </name>
61
+ <graphics>
62
+ <position x="100" y="130"/>
63
+ <dimension x="40" y="40"/>
64
+ </graphics>
65
+ <initialMarking>
66
+ <text>1</text>
67
+ </initialMarking>
68
+ </place>
69
+ <transition id="t3">
70
+ <name>
71
+ <text/>
72
+ <graphics>
73
+ <offset x="370" y="170"/>
74
+ </graphics>
75
+ </name>
76
+ <graphics>
77
+ <position x="370" y="130"/>
78
+ <dimension x="40" y="40"/>
79
+ </graphics>
80
+ <toolspecific tool="WoPeD" version="1.0">
81
+ <time>0</time>
82
+ <timeUnit>1</timeUnit>
83
+ <orientation>1</orientation>
84
+ </toolspecific>
85
+ </transition>
86
+ <transition id="t1">
87
+ <name>
88
+ <text>A</text>
89
+ <graphics>
90
+ <offset x="190" y="170"/>
91
+ </graphics>
92
+ </name>
93
+ <graphics>
94
+ <position x="190" y="130"/>
95
+ <dimension x="40" y="40"/>
96
+ </graphics>
97
+ <toolspecific tool="WoPeD" version="1.0">
98
+ <time>0</time>
99
+ <timeUnit>1</timeUnit>
100
+ <orientation>1</orientation>
101
+ </toolspecific>
102
+ </transition>
103
+ <arc id="a1" source="p1" target="t1">
104
+ <inscription>
105
+ <text>1</text>
106
+ </inscription>
107
+ <graphics/>
108
+ <toolspecific tool="WoPeD" version="1.0">
109
+ <probability>1.0</probability>
110
+ <displayProbabilityOn>false</displayProbabilityOn>
111
+ <displayProbabilityPosition x="500.0" y="0.0"/>
112
+ </toolspecific>
113
+ </arc>
114
+ <arc id="a2" source="p3" target="t3">
115
+ <inscription>
116
+ <text>1</text>
117
+ </inscription>
118
+ <graphics/>
119
+ <toolspecific tool="WoPeD" version="1.0">
120
+ <probability>1.0</probability>
121
+ <displayProbabilityOn>false</displayProbabilityOn>
122
+ <displayProbabilityPosition x="500.0" y="0.0"/>
123
+ </toolspecific>
124
+ </arc>
125
+ <arc id="a3" source="t1" target="p3">
126
+ <inscription>
127
+ <text>1</text>
128
+ </inscription>
129
+ <graphics/>
130
+ <toolspecific tool="WoPeD" version="1.0">
131
+ <probability>1.0</probability>
132
+ <displayProbabilityOn>false</displayProbabilityOn>
133
+ <displayProbabilityPosition x="500.0" y="0.0"/>
134
+ </toolspecific>
135
+ </arc>
136
+ <arc id="a4" source="t3" target="p6">
137
+ <inscription>
138
+ <text>1</text>
139
+ </inscription>
140
+ <graphics/>
141
+ <toolspecific tool="WoPeD" version="1.0">
142
+ <probability>1.0</probability>
143
+ <displayProbabilityOn>false</displayProbabilityOn>
144
+ <displayProbabilityPosition x="500.0" y="0.0"/>
145
+ </toolspecific>
146
+ </arc>
147
+ <arc id="a7" source="t3" target="p4">
148
+ <inscription>
149
+ <text>1</text>
150
+ </inscription>
151
+ <graphics/>
152
+ <toolspecific tool="WoPeD" version="1.0">
153
+ <probability>1.0</probability>
154
+ <displayProbabilityOn>false</displayProbabilityOn>
155
+ <displayProbabilityPosition x="500.0" y="0.0"/>
156
+ </toolspecific>
157
+ </arc>
158
+ <arc id="a8" source="t3" target="p5">
159
+ <inscription>
160
+ <text>1</text>
161
+ </inscription>
162
+ <graphics/>
163
+ <toolspecific tool="WoPeD" version="1.0">
164
+ <probability>1.0</probability>
165
+ <displayProbabilityOn>false</displayProbabilityOn>
166
+ <displayProbabilityPosition x="500.0" y="0.0"/>
167
+ </toolspecific>
168
+ </arc>
169
+ <toolspecific tool="WoPeD" version="1.0">
170
+ <bounds>
171
+ <position x="2" y="22"/>
172
+ <dimension x="1351" y="472"/>
173
+ </bounds>
174
+ <scale>100</scale>
175
+ <treeWidthRight>1067</treeWidthRight>
176
+ <overviewPanelVisible>true</overviewPanelVisible>
177
+ <treeHeightOverview>100</treeHeightOverview>
178
+ <treePanelVisible>true</treePanelVisible>
179
+ <verticalLayout>false</verticalLayout>
180
+ <resources/>
181
+ <simulations/>
182
+ <partnerLinks/>
183
+ <variables/>
184
+ </toolspecific>
185
+ </net>
186
+ </pnml>
@@ -0,0 +1,344 @@
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="730" y="120"/>
11
+ </graphics>
12
+ </name>
13
+ <graphics>
14
+ <position x="730" y="80"/>
15
+ <dimension x="40" y="40"/>
16
+ </graphics>
17
+ </place>
18
+ <place id="p6">
19
+ <name>
20
+ <text>>'o1'</text>
21
+ <graphics>
22
+ <offset x="870" y="120"/>
23
+ </graphics>
24
+ </name>
25
+ <graphics>
26
+ <position x="870" y="80"/>
27
+ <dimension x="40" y="40"/>
28
+ </graphics>
29
+ </place>
30
+ <place id="p5">
31
+ <name>
32
+ <text/>
33
+ <graphics>
34
+ <offset x="590" y="120"/>
35
+ </graphics>
36
+ </name>
37
+ <graphics>
38
+ <position x="590" y="80"/>
39
+ <dimension x="40" y="40"/>
40
+ </graphics>
41
+ </place>
42
+ <place id="p4">
43
+ <name>
44
+ <text/>
45
+ <graphics>
46
+ <offset x="450" y="120"/>
47
+ </graphics>
48
+ </name>
49
+ <graphics>
50
+ <position x="450" y="80"/>
51
+ <dimension x="40" y="40"/>
52
+ </graphics>
53
+ </place>
54
+ <place id="p3">
55
+ <name>
56
+ <text/>
57
+ <graphics>
58
+ <offset x="170" y="120"/>
59
+ </graphics>
60
+ </name>
61
+ <graphics>
62
+ <position x="170" y="80"/>
63
+ <dimension x="40" y="40"/>
64
+ </graphics>
65
+ </place>
66
+ <place id="p2">
67
+ <name>
68
+ <text/>
69
+ <graphics>
70
+ <offset x="310" y="120"/>
71
+ </graphics>
72
+ </name>
73
+ <graphics>
74
+ <position x="310" y="80"/>
75
+ <dimension x="40" y="40"/>
76
+ </graphics>
77
+ </place>
78
+ <place id="p1">
79
+ <name>
80
+ <text>&lt;'i1'</text>
81
+ <graphics>
82
+ <offset x="30" y="120"/>
83
+ </graphics>
84
+ </name>
85
+ <graphics>
86
+ <position x="30" y="80"/>
87
+ <dimension x="40" y="40"/>
88
+ </graphics>
89
+ <initialMarking>
90
+ <text>1</text>
91
+ </initialMarking>
92
+ </place>
93
+ <transition id="t3">
94
+ <name>
95
+ <text/>
96
+ <graphics>
97
+ <offset x="240" y="120"/>
98
+ </graphics>
99
+ </name>
100
+ <graphics>
101
+ <position x="240" y="80"/>
102
+ <dimension x="40" y="40"/>
103
+ </graphics>
104
+ <toolspecific tool="WoPeD" version="1.0">
105
+ <time>0</time>
106
+ <timeUnit>1</timeUnit>
107
+ <orientation>1</orientation>
108
+ </toolspecific>
109
+ </transition>
110
+ <transition id="t2">
111
+ <name>
112
+ <text/>
113
+ <graphics>
114
+ <offset x="380" y="120"/>
115
+ </graphics>
116
+ </name>
117
+ <graphics>
118
+ <position x="380" y="80"/>
119
+ <dimension x="40" y="40"/>
120
+ </graphics>
121
+ <toolspecific tool="WoPeD" version="1.0">
122
+ <time>0</time>
123
+ <timeUnit>1</timeUnit>
124
+ <orientation>1</orientation>
125
+ </toolspecific>
126
+ </transition>
127
+ <transition id="t1">
128
+ <name>
129
+ <text>A</text>
130
+ <graphics>
131
+ <offset x="100" y="120"/>
132
+ </graphics>
133
+ </name>
134
+ <graphics>
135
+ <position x="100" y="80"/>
136
+ <dimension x="40" y="40"/>
137
+ </graphics>
138
+ <toolspecific tool="WoPeD" version="1.0">
139
+ <time>0</time>
140
+ <timeUnit>1</timeUnit>
141
+ <orientation>1</orientation>
142
+ </toolspecific>
143
+ </transition>
144
+ <transition id="t4">
145
+ <name>
146
+ <text/>
147
+ <graphics>
148
+ <offset x="520" y="120"/>
149
+ </graphics>
150
+ </name>
151
+ <graphics>
152
+ <position x="520" y="80"/>
153
+ <dimension x="40" y="40"/>
154
+ </graphics>
155
+ <toolspecific tool="WoPeD" version="1.0">
156
+ <time>0</time>
157
+ <timeUnit>1</timeUnit>
158
+ <orientation>1</orientation>
159
+ </toolspecific>
160
+ </transition>
161
+ <transition id="t5">
162
+ <name>
163
+ <text/>
164
+ <graphics>
165
+ <offset x="660" y="120"/>
166
+ </graphics>
167
+ </name>
168
+ <graphics>
169
+ <position x="660" y="80"/>
170
+ <dimension x="40" y="40"/>
171
+ </graphics>
172
+ <toolspecific tool="WoPeD" version="1.0">
173
+ <time>0</time>
174
+ <timeUnit>1</timeUnit>
175
+ <orientation>1</orientation>
176
+ </toolspecific>
177
+ </transition>
178
+ <transition id="t6">
179
+ <name>
180
+ <text/>
181
+ <graphics>
182
+ <offset x="800" y="120"/>
183
+ </graphics>
184
+ </name>
185
+ <graphics>
186
+ <position x="800" y="80"/>
187
+ <dimension x="40" y="40"/>
188
+ </graphics>
189
+ <toolspecific tool="WoPeD" version="1.0">
190
+ <time>0</time>
191
+ <timeUnit>1</timeUnit>
192
+ <orientation>1</orientation>
193
+ </toolspecific>
194
+ </transition>
195
+ <arc id="a9" source="t4" target="p5">
196
+ <inscription>
197
+ <text>1</text>
198
+ </inscription>
199
+ <graphics/>
200
+ <toolspecific tool="WoPeD" version="1.0">
201
+ <probability>1.0</probability>
202
+ <displayProbabilityOn>false</displayProbabilityOn>
203
+ <displayProbabilityPosition x="500.0" y="0.0"/>
204
+ </toolspecific>
205
+ </arc>
206
+ <arc id="a12" source="t6" target="p6">
207
+ <inscription>
208
+ <text>1</text>
209
+ </inscription>
210
+ <graphics/>
211
+ <toolspecific tool="WoPeD" version="1.0">
212
+ <probability>1.0</probability>
213
+ <displayProbabilityOn>false</displayProbabilityOn>
214
+ <displayProbabilityPosition x="500.0" y="0.0"/>
215
+ </toolspecific>
216
+ </arc>
217
+ <arc id="a10" source="p7" target="t6">
218
+ <inscription>
219
+ <text>1</text>
220
+ </inscription>
221
+ <graphics/>
222
+ <toolspecific tool="WoPeD" version="1.0">
223
+ <probability>1.0</probability>
224
+ <displayProbabilityOn>false</displayProbabilityOn>
225
+ <displayProbabilityPosition x="500.0" y="0.0"/>
226
+ </toolspecific>
227
+ </arc>
228
+ <arc id="a11" source="t5" target="p7">
229
+ <inscription>
230
+ <text>1</text>
231
+ </inscription>
232
+ <graphics/>
233
+ <toolspecific tool="WoPeD" version="1.0">
234
+ <probability>1.0</probability>
235
+ <displayProbabilityOn>false</displayProbabilityOn>
236
+ <displayProbabilityPosition x="500.0" y="0.0"/>
237
+ </toolspecific>
238
+ </arc>
239
+ <arc id="a1" source="p1" target="t1">
240
+ <inscription>
241
+ <text>1</text>
242
+ </inscription>
243
+ <graphics/>
244
+ <toolspecific tool="WoPeD" version="1.0">
245
+ <probability>1.0</probability>
246
+ <displayProbabilityOn>false</displayProbabilityOn>
247
+ <displayProbabilityPosition x="500.0" y="0.0"/>
248
+ </toolspecific>
249
+ </arc>
250
+ <arc id="a2" source="p3" target="t3">
251
+ <inscription>
252
+ <text>1</text>
253
+ </inscription>
254
+ <graphics/>
255
+ <toolspecific tool="WoPeD" version="1.0">
256
+ <probability>1.0</probability>
257
+ <displayProbabilityOn>false</displayProbabilityOn>
258
+ <displayProbabilityPosition x="500.0" y="0.0"/>
259
+ </toolspecific>
260
+ </arc>
261
+ <arc id="a3" source="t1" target="p3">
262
+ <inscription>
263
+ <text>1</text>
264
+ </inscription>
265
+ <graphics/>
266
+ <toolspecific tool="WoPeD" version="1.0">
267
+ <probability>1.0</probability>
268
+ <displayProbabilityOn>false</displayProbabilityOn>
269
+ <displayProbabilityPosition x="500.0" y="0.0"/>
270
+ </toolspecific>
271
+ </arc>
272
+ <arc id="a4" source="p2" target="t2">
273
+ <inscription>
274
+ <text>1</text>
275
+ </inscription>
276
+ <graphics/>
277
+ <toolspecific tool="WoPeD" version="1.0">
278
+ <probability>1.0</probability>
279
+ <displayProbabilityOn>false</displayProbabilityOn>
280
+ <displayProbabilityPosition x="500.0" y="0.0"/>
281
+ </toolspecific>
282
+ </arc>
283
+ <arc id="a5" source="t3" target="p2">
284
+ <inscription>
285
+ <text>1</text>
286
+ </inscription>
287
+ <graphics/>
288
+ <toolspecific tool="WoPeD" version="1.0">
289
+ <probability>1.0</probability>
290
+ <displayProbabilityOn>false</displayProbabilityOn>
291
+ <displayProbabilityPosition x="500.0" y="0.0"/>
292
+ </toolspecific>
293
+ </arc>
294
+ <arc id="a6" source="p4" target="t4">
295
+ <inscription>
296
+ <text>1</text>
297
+ </inscription>
298
+ <graphics/>
299
+ <toolspecific tool="WoPeD" version="1.0">
300
+ <probability>1.0</probability>
301
+ <displayProbabilityOn>false</displayProbabilityOn>
302
+ <displayProbabilityPosition x="500.0" y="0.0"/>
303
+ </toolspecific>
304
+ </arc>
305
+ <arc id="a7" source="t2" target="p4">
306
+ <inscription>
307
+ <text>1</text>
308
+ </inscription>
309
+ <graphics/>
310
+ <toolspecific tool="WoPeD" version="1.0">
311
+ <probability>1.0</probability>
312
+ <displayProbabilityOn>false</displayProbabilityOn>
313
+ <displayProbabilityPosition x="500.0" y="0.0"/>
314
+ </toolspecific>
315
+ </arc>
316
+ <arc id="a8" source="p5" target="t5">
317
+ <inscription>
318
+ <text>1</text>
319
+ </inscription>
320
+ <graphics/>
321
+ <toolspecific tool="WoPeD" version="1.0">
322
+ <probability>1.0</probability>
323
+ <displayProbabilityOn>false</displayProbabilityOn>
324
+ <displayProbabilityPosition x="500.0" y="0.0"/>
325
+ </toolspecific>
326
+ </arc>
327
+ <toolspecific tool="WoPeD" version="1.0">
328
+ <bounds>
329
+ <position x="2" y="22"/>
330
+ <dimension x="1351" y="472"/>
331
+ </bounds>
332
+ <scale>100</scale>
333
+ <treeWidthRight>1067</treeWidthRight>
334
+ <overviewPanelVisible>true</overviewPanelVisible>
335
+ <treeHeightOverview>100</treeHeightOverview>
336
+ <treePanelVisible>true</treePanelVisible>
337
+ <verticalLayout>false</verticalLayout>
338
+ <resources/>
339
+ <simulations/>
340
+ <partnerLinks/>
341
+ <variables/>
342
+ </toolspecific>
343
+ </net>
344
+ </pnml>