This repository is for tutorials of Eos.
Revisión | 7c713b49982651973aed1c41271b584869de616c (tree) |
---|---|
Tiempo | 2015-03-27 11:54:42 |
Autor | kinoshita-eos <kinoshita@yasu...> |
Commiter | kinoshita-eos |
Add: PIONE-PNML tutorail for if case statement.
new file: SampleCode/PIONE-PNML/Basic5/Serial5-1.md
new file: SampleCode/PIONE-PNML/Basic5/Serial5-1.pnml
new file: SampleCode/PIONE-PNML/Basic5/Serial5-2.pnml
new file: SampleCode/PIONE-PNML/Basic5/Serial5-3.pnml
@@ -0,0 +1,12 @@ | ||
1 | +# Serial5-1.pione | |
2 | + | |
3 | +## SubRule | |
4 | +Multiply 2 or Add 1 to all input data. | |
5 | + | |
6 | +``` | |
7 | +if [ {$mode} -eq 1 ]; then | |
8 | + awk '{print $1*2}' {$I[1]} > {$O[1]} | |
9 | +else | |
10 | + awk '{print $1+1}' {$I[1]} > {$O[1]} | |
11 | +fi | |
12 | +``` |
@@ -0,0 +1,341 @@ | ||
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="p1"> | |
7 | + <name> | |
8 | + <text><'*.in'</text> | |
9 | + <graphics> | |
10 | + <offset x="10" y="120"/> | |
11 | + </graphics> | |
12 | + </name> | |
13 | + <graphics> | |
14 | + <position x="10" y="80"/> | |
15 | + <dimension x="40" y="40"/> | |
16 | + </graphics> | |
17 | + </place> | |
18 | + <place id="p2"> | |
19 | + <name> | |
20 | + <text>$mode</text> | |
21 | + <graphics> | |
22 | + <offset x="270" y="120"/> | |
23 | + </graphics> | |
24 | + </name> | |
25 | + <graphics> | |
26 | + <position x="270" y="80"/> | |
27 | + <dimension x="40" y="40"/> | |
28 | + </graphics> | |
29 | + </place> | |
30 | + <place id="p3"> | |
31 | + <name> | |
32 | + <text>>'{$*}.out2'</text> | |
33 | + <graphics> | |
34 | + <offset x="490" y="160"/> | |
35 | + </graphics> | |
36 | + </name> | |
37 | + <graphics> | |
38 | + <position x="500" y="120"/> | |
39 | + <dimension x="40" y="40"/> | |
40 | + </graphics> | |
41 | + </place> | |
42 | + <place id="p4"> | |
43 | + <name> | |
44 | + <text>1</text> | |
45 | + <graphics> | |
46 | + <offset x="390" y="70"/> | |
47 | + </graphics> | |
48 | + </name> | |
49 | + <graphics> | |
50 | + <position x="390" y="30"/> | |
51 | + <dimension x="40" y="40"/> | |
52 | + </graphics> | |
53 | + </place> | |
54 | + <place id="p5"> | |
55 | + <name> | |
56 | + <text>>'{$*}.out1'</text> | |
57 | + <graphics> | |
58 | + <offset x="490" y="70"/> | |
59 | + </graphics> | |
60 | + </name> | |
61 | + <graphics> | |
62 | + <position x="500" y="30"/> | |
63 | + <dimension x="40" y="40"/> | |
64 | + </graphics> | |
65 | + </place> | |
66 | + <place id="p6"> | |
67 | + <name> | |
68 | + <text/> | |
69 | + <graphics> | |
70 | + <offset x="390" y="160"/> | |
71 | + </graphics> | |
72 | + </name> | |
73 | + <graphics> | |
74 | + <position x="390" y="120"/> | |
75 | + <dimension x="40" y="40"/> | |
76 | + </graphics> | |
77 | + </place> | |
78 | + <place id="p7"> | |
79 | + <name> | |
80 | + <text/> | |
81 | + <graphics> | |
82 | + <offset x="150" y="120"/> | |
83 | + </graphics> | |
84 | + </name> | |
85 | + <graphics> | |
86 | + <position x="150" y="80"/> | |
87 | + <dimension x="40" y="40"/> | |
88 | + </graphics> | |
89 | + </place> | |
90 | + <transition id="t4"> | |
91 | + <name> | |
92 | + <text>then</text> | |
93 | + <graphics> | |
94 | + <offset x="340" y="70"/> | |
95 | + </graphics> | |
96 | + </name> | |
97 | + <graphics> | |
98 | + <position x="340" y="30"/> | |
99 | + <dimension x="40" y="40"/> | |
100 | + </graphics> | |
101 | + <toolspecific tool="WoPeD" version="1.0"> | |
102 | + <time>0</time> | |
103 | + <timeUnit>1</timeUnit> | |
104 | + <orientation>1</orientation> | |
105 | + </toolspecific> | |
106 | + </transition> | |
107 | + <transition id="t5"> | |
108 | + <name> | |
109 | + <text>else</text> | |
110 | + <graphics> | |
111 | + <offset x="340" y="160"/> | |
112 | + </graphics> | |
113 | + </name> | |
114 | + <graphics> | |
115 | + <position x="340" y="120"/> | |
116 | + <dimension x="40" y="40"/> | |
117 | + </graphics> | |
118 | + <toolspecific tool="WoPeD" version="1.0"> | |
119 | + <time>0</time> | |
120 | + <timeUnit>1</timeUnit> | |
121 | + <orientation>1</orientation> | |
122 | + </toolspecific> | |
123 | + </transition> | |
124 | + <transition id="t6"> | |
125 | + <name> | |
126 | + <text/> | |
127 | + <graphics> | |
128 | + <offset x="440" y="160"/> | |
129 | + </graphics> | |
130 | + </name> | |
131 | + <graphics> | |
132 | + <position x="440" y="120"/> | |
133 | + <dimension x="40" y="40"/> | |
134 | + </graphics> | |
135 | + <toolspecific tool="WoPeD" version="1.0"> | |
136 | + <time>0</time> | |
137 | + <timeUnit>1</timeUnit> | |
138 | + <orientation>1</orientation> | |
139 | + </toolspecific> | |
140 | + </transition> | |
141 | + <transition id="t1"> | |
142 | + <name> | |
143 | + <text>case</text> | |
144 | + <graphics> | |
145 | + <offset x="210" y="120"/> | |
146 | + </graphics> | |
147 | + </name> | |
148 | + <graphics> | |
149 | + <position x="210" y="80"/> | |
150 | + <dimension x="40" y="40"/> | |
151 | + </graphics> | |
152 | + <toolspecific tool="WoPeD" version="1.0"> | |
153 | + <time>0</time> | |
154 | + <timeUnit>1</timeUnit> | |
155 | + <orientation>1</orientation> | |
156 | + </toolspecific> | |
157 | + </transition> | |
158 | + <transition id="t2"> | |
159 | + <name> | |
160 | + <text/> | |
161 | + <graphics> | |
162 | + <offset x="440" y="70"/> | |
163 | + </graphics> | |
164 | + </name> | |
165 | + <graphics> | |
166 | + <position x="440" y="30"/> | |
167 | + <dimension x="40" y="40"/> | |
168 | + </graphics> | |
169 | + <toolspecific tool="WoPeD" version="1.0"> | |
170 | + <time>0</time> | |
171 | + <timeUnit>1</timeUnit> | |
172 | + <orientation>1</orientation> | |
173 | + </toolspecific> | |
174 | + </transition> | |
175 | + <transition id="t3"> | |
176 | + <name> | |
177 | + <text>SubRule</text> | |
178 | + <graphics> | |
179 | + <offset x="80" y="120"/> | |
180 | + </graphics> | |
181 | + </name> | |
182 | + <graphics> | |
183 | + <position x="90" y="80"/> | |
184 | + <dimension x="40" y="40"/> | |
185 | + </graphics> | |
186 | + <toolspecific tool="WoPeD" version="1.0"> | |
187 | + <time>0</time> | |
188 | + <timeUnit>1</timeUnit> | |
189 | + <orientation>1</orientation> | |
190 | + </toolspecific> | |
191 | + </transition> | |
192 | + <arc id="a11" source="t2" target="p5"> | |
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="a10" source="p4" target="t2"> | |
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="a13" source="p6" target="t6"> | |
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 | + <arc id="a12" source="t5" target="p6"> | |
226 | + <inscription> | |
227 | + <text>1</text> | |
228 | + </inscription> | |
229 | + <graphics/> | |
230 | + <toolspecific tool="WoPeD" version="1.0"> | |
231 | + <probability>1.0</probability> | |
232 | + <displayProbabilityOn>false</displayProbabilityOn> | |
233 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
234 | + </toolspecific> | |
235 | + </arc> | |
236 | + <arc id="a14" source="t6" target="p3"> | |
237 | + <inscription> | |
238 | + <text>1</text> | |
239 | + </inscription> | |
240 | + <graphics/> | |
241 | + <toolspecific tool="WoPeD" version="1.0"> | |
242 | + <probability>1.0</probability> | |
243 | + <displayProbabilityOn>false</displayProbabilityOn> | |
244 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
245 | + </toolspecific> | |
246 | + </arc> | |
247 | + <arc id="a1" source="p1" target="t3"> | |
248 | + <inscription> | |
249 | + <text>1</text> | |
250 | + </inscription> | |
251 | + <graphics/> | |
252 | + <toolspecific tool="WoPeD" version="1.0"> | |
253 | + <probability>1.0</probability> | |
254 | + <displayProbabilityOn>false</displayProbabilityOn> | |
255 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
256 | + </toolspecific> | |
257 | + </arc> | |
258 | + <arc id="a4" source="t3" target="p7"> | |
259 | + <inscription> | |
260 | + <text>1</text> | |
261 | + </inscription> | |
262 | + <graphics/> | |
263 | + <toolspecific tool="WoPeD" version="1.0"> | |
264 | + <probability>1.0</probability> | |
265 | + <displayProbabilityOn>false</displayProbabilityOn> | |
266 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
267 | + </toolspecific> | |
268 | + </arc> | |
269 | + <arc id="a5" source="p7" target="t1"> | |
270 | + <inscription> | |
271 | + <text>1</text> | |
272 | + </inscription> | |
273 | + <graphics/> | |
274 | + <toolspecific tool="WoPeD" version="1.0"> | |
275 | + <probability>1.0</probability> | |
276 | + <displayProbabilityOn>false</displayProbabilityOn> | |
277 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
278 | + </toolspecific> | |
279 | + </arc> | |
280 | + <arc id="a6" source="t1" target="p2"> | |
281 | + <inscription> | |
282 | + <text>1</text> | |
283 | + </inscription> | |
284 | + <graphics/> | |
285 | + <toolspecific tool="WoPeD" version="1.0"> | |
286 | + <probability>1.0</probability> | |
287 | + <displayProbabilityOn>false</displayProbabilityOn> | |
288 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
289 | + </toolspecific> | |
290 | + </arc> | |
291 | + <arc id="a7" source="p2" target="t4"> | |
292 | + <inscription> | |
293 | + <text>1</text> | |
294 | + </inscription> | |
295 | + <graphics/> | |
296 | + <toolspecific tool="WoPeD" version="1.0"> | |
297 | + <probability>1.0</probability> | |
298 | + <displayProbabilityOn>false</displayProbabilityOn> | |
299 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
300 | + </toolspecific> | |
301 | + </arc> | |
302 | + <arc id="a8" source="p2" target="t5"> | |
303 | + <inscription> | |
304 | + <text>1</text> | |
305 | + </inscription> | |
306 | + <graphics/> | |
307 | + <toolspecific tool="WoPeD" version="1.0"> | |
308 | + <probability>1.0</probability> | |
309 | + <displayProbabilityOn>false</displayProbabilityOn> | |
310 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
311 | + </toolspecific> | |
312 | + </arc> | |
313 | + <arc id="a9" source="t4" target="p4"> | |
314 | + <inscription> | |
315 | + <text>1</text> | |
316 | + </inscription> | |
317 | + <graphics/> | |
318 | + <toolspecific tool="WoPeD" version="1.0"> | |
319 | + <probability>1.0</probability> | |
320 | + <displayProbabilityOn>false</displayProbabilityOn> | |
321 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
322 | + </toolspecific> | |
323 | + </arc> | |
324 | + <toolspecific tool="WoPeD" version="1.0"> | |
325 | + <bounds> | |
326 | + <position x="11" y="33"/> | |
327 | + <dimension x="755" y="474"/> | |
328 | + </bounds> | |
329 | + <scale>100</scale> | |
330 | + <treeWidthRight>597</treeWidthRight> | |
331 | + <overviewPanelVisible>true</overviewPanelVisible> | |
332 | + <treeHeightOverview>100</treeHeightOverview> | |
333 | + <treePanelVisible>true</treePanelVisible> | |
334 | + <verticalLayout>false</verticalLayout> | |
335 | + <resources/> | |
336 | + <simulations/> | |
337 | + <partnerLinks/> | |
338 | + <variables/> | |
339 | + </toolspecific> | |
340 | + </net> | |
341 | +</pnml> | |
\ No newline at end of file |
@@ -0,0 +1,352 @@ | ||
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="p1"> | |
7 | + <name> | |
8 | + <text><'*.in'</text> | |
9 | + <graphics> | |
10 | + <offset x="10" y="120"/> | |
11 | + </graphics> | |
12 | + </name> | |
13 | + <graphics> | |
14 | + <position x="10" y="80"/> | |
15 | + <dimension x="40" y="40"/> | |
16 | + </graphics> | |
17 | + </place> | |
18 | + <place id="p3"> | |
19 | + <name> | |
20 | + <text>'{$*}.out'</text> | |
21 | + <graphics> | |
22 | + <offset x="400" y="160"/> | |
23 | + </graphics> | |
24 | + </name> | |
25 | + <graphics> | |
26 | + <position x="400" y="120"/> | |
27 | + <dimension x="40" y="40"/> | |
28 | + </graphics> | |
29 | + </place> | |
30 | + <place id="p5"> | |
31 | + <name> | |
32 | + <text>'{$*}.out'</text> | |
33 | + <graphics> | |
34 | + <offset x="390" y="70"/> | |
35 | + </graphics> | |
36 | + </name> | |
37 | + <graphics> | |
38 | + <position x="400" y="30"/> | |
39 | + <dimension x="40" y="40"/> | |
40 | + </graphics> | |
41 | + </place> | |
42 | + <place id="p6"> | |
43 | + <name> | |
44 | + <text>>'*.out'</text> | |
45 | + <graphics> | |
46 | + <offset x="540" y="120"/> | |
47 | + </graphics> | |
48 | + </name> | |
49 | + <graphics> | |
50 | + <position x="540" y="80"/> | |
51 | + <dimension x="40" y="40"/> | |
52 | + </graphics> | |
53 | + </place> | |
54 | + <place id="p7"> | |
55 | + <name> | |
56 | + <text>$mode</text> | |
57 | + <graphics> | |
58 | + <offset x="130" y="120"/> | |
59 | + </graphics> | |
60 | + </name> | |
61 | + <graphics> | |
62 | + <position x="130" y="80"/> | |
63 | + <dimension x="40" y="40"/> | |
64 | + </graphics> | |
65 | + </place> | |
66 | + <place id="p9"> | |
67 | + <name> | |
68 | + <text>1</text> | |
69 | + <graphics> | |
70 | + <offset x="270" y="70"/> | |
71 | + </graphics> | |
72 | + </name> | |
73 | + <graphics> | |
74 | + <position x="270" y="30"/> | |
75 | + <dimension x="40" y="40"/> | |
76 | + </graphics> | |
77 | + </place> | |
78 | + <place id="p10"> | |
79 | + <name> | |
80 | + <text/> | |
81 | + <graphics> | |
82 | + <offset x="270" y="160"/> | |
83 | + </graphics> | |
84 | + </name> | |
85 | + <graphics> | |
86 | + <position x="270" y="120"/> | |
87 | + <dimension x="40" y="40"/> | |
88 | + </graphics> | |
89 | + </place> | |
90 | + <transition id="t4"> | |
91 | + <name> | |
92 | + <text>when</text> | |
93 | + <graphics> | |
94 | + <offset x="210" y="70"/> | |
95 | + </graphics> | |
96 | + </name> | |
97 | + <graphics> | |
98 | + <position x="210" y="30"/> | |
99 | + <dimension x="40" y="40"/> | |
100 | + </graphics> | |
101 | + <toolspecific tool="WoPeD" version="1.0"> | |
102 | + <time>0</time> | |
103 | + <timeUnit>1</timeUnit> | |
104 | + <orientation>1</orientation> | |
105 | + </toolspecific> | |
106 | + </transition> | |
107 | + <transition id="t5"> | |
108 | + <name> | |
109 | + <text>else</text> | |
110 | + <graphics> | |
111 | + <offset x="210" y="160"/> | |
112 | + </graphics> | |
113 | + </name> | |
114 | + <graphics> | |
115 | + <position x="210" y="120"/> | |
116 | + <dimension x="40" y="40"/> | |
117 | + </graphics> | |
118 | + <toolspecific tool="WoPeD" version="1.0"> | |
119 | + <time>0</time> | |
120 | + <timeUnit>1</timeUnit> | |
121 | + <orientation>1</orientation> | |
122 | + </toolspecific> | |
123 | + </transition> | |
124 | + <transition id="t7"> | |
125 | + <name> | |
126 | + <text/> | |
127 | + <graphics> | |
128 | + <offset x="470" y="120"/> | |
129 | + </graphics> | |
130 | + </name> | |
131 | + <graphics> | |
132 | + <position x="470" y="80"/> | |
133 | + <dimension x="40" y="40"/> | |
134 | + </graphics> | |
135 | + <toolspecific tool="WoPeD" version="1.0"> | |
136 | + <time>0</time> | |
137 | + <timeUnit>1</timeUnit> | |
138 | + <orientation>1</orientation> | |
139 | + </toolspecific> | |
140 | + </transition> | |
141 | + <transition id="t1"> | |
142 | + <name> | |
143 | + <text>First</text> | |
144 | + <graphics> | |
145 | + <offset x="330" y="70"/> | |
146 | + </graphics> | |
147 | + </name> | |
148 | + <graphics> | |
149 | + <position x="330" y="30"/> | |
150 | + <dimension x="40" y="40"/> | |
151 | + </graphics> | |
152 | + <toolspecific tool="WoPeD" version="1.0"> | |
153 | + <time>0</time> | |
154 | + <timeUnit>1</timeUnit> | |
155 | + <orientation>1</orientation> | |
156 | + </toolspecific> | |
157 | + </transition> | |
158 | + <transition id="t2"> | |
159 | + <name> | |
160 | + <text>Second</text> | |
161 | + <graphics> | |
162 | + <offset x="330" y="160"/> | |
163 | + </graphics> | |
164 | + </name> | |
165 | + <graphics> | |
166 | + <position x="330" y="120"/> | |
167 | + <dimension x="40" y="40"/> | |
168 | + </graphics> | |
169 | + <toolspecific tool="WoPeD" version="1.0"> | |
170 | + <time>0</time> | |
171 | + <timeUnit>1</timeUnit> | |
172 | + <orientation>1</orientation> | |
173 | + </toolspecific> | |
174 | + </transition> | |
175 | + <transition id="t3"> | |
176 | + <name> | |
177 | + <text>case</text> | |
178 | + <graphics> | |
179 | + <offset x="70" y="120"/> | |
180 | + </graphics> | |
181 | + </name> | |
182 | + <graphics> | |
183 | + <position x="70" y="80"/> | |
184 | + <dimension x="40" y="40"/> | |
185 | + </graphics> | |
186 | + <toolspecific tool="WoPeD" version="1.0"> | |
187 | + <time>0</time> | |
188 | + <timeUnit>1</timeUnit> | |
189 | + <orientation>1</orientation> | |
190 | + </toolspecific> | |
191 | + </transition> | |
192 | + <arc id="a11" source="p5" target="t7"> | |
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="a10" source="p10" target="t2"> | |
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="a13" source="t7" target="p6"> | |
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 | + <arc id="a12" source="p3" target="t7"> | |
226 | + <inscription> | |
227 | + <text>1</text> | |
228 | + </inscription> | |
229 | + <graphics/> | |
230 | + <toolspecific tool="WoPeD" version="1.0"> | |
231 | + <probability>1.0</probability> | |
232 | + <displayProbabilityOn>false</displayProbabilityOn> | |
233 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
234 | + </toolspecific> | |
235 | + </arc> | |
236 | + <arc id="a15" source="t4" target="p9"> | |
237 | + <inscription> | |
238 | + <text>1</text> | |
239 | + </inscription> | |
240 | + <graphics/> | |
241 | + <toolspecific tool="WoPeD" version="1.0"> | |
242 | + <probability>1.0</probability> | |
243 | + <displayProbabilityOn>false</displayProbabilityOn> | |
244 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
245 | + </toolspecific> | |
246 | + </arc> | |
247 | + <arc id="a17" source="t5" target="p10"> | |
248 | + <inscription> | |
249 | + <text>1</text> | |
250 | + </inscription> | |
251 | + <graphics/> | |
252 | + <toolspecific tool="WoPeD" version="1.0"> | |
253 | + <probability>1.0</probability> | |
254 | + <displayProbabilityOn>false</displayProbabilityOn> | |
255 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
256 | + </toolspecific> | |
257 | + </arc> | |
258 | + <arc id="a16" source="p9" target="t1"> | |
259 | + <inscription> | |
260 | + <text>1</text> | |
261 | + </inscription> | |
262 | + <graphics/> | |
263 | + <toolspecific tool="WoPeD" version="1.0"> | |
264 | + <probability>1.0</probability> | |
265 | + <displayProbabilityOn>false</displayProbabilityOn> | |
266 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
267 | + </toolspecific> | |
268 | + </arc> | |
269 | + <arc id="a1" source="p1" target="t3"> | |
270 | + <inscription> | |
271 | + <text>1</text> | |
272 | + </inscription> | |
273 | + <graphics/> | |
274 | + <toolspecific tool="WoPeD" version="1.0"> | |
275 | + <probability>1.0</probability> | |
276 | + <displayProbabilityOn>false</displayProbabilityOn> | |
277 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
278 | + </toolspecific> | |
279 | + </arc> | |
280 | + <arc id="a3" source="t2" target="p3"> | |
281 | + <inscription> | |
282 | + <text>1</text> | |
283 | + </inscription> | |
284 | + <graphics/> | |
285 | + <toolspecific tool="WoPeD" version="1.0"> | |
286 | + <probability>1.0</probability> | |
287 | + <displayProbabilityOn>false</displayProbabilityOn> | |
288 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
289 | + </toolspecific> | |
290 | + </arc> | |
291 | + <arc id="a4" source="t3" target="p7"> | |
292 | + <inscription> | |
293 | + <text>1</text> | |
294 | + </inscription> | |
295 | + <graphics/> | |
296 | + <toolspecific tool="WoPeD" version="1.0"> | |
297 | + <probability>1.0</probability> | |
298 | + <displayProbabilityOn>false</displayProbabilityOn> | |
299 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
300 | + </toolspecific> | |
301 | + </arc> | |
302 | + <arc id="a5" source="p7" target="t4"> | |
303 | + <inscription> | |
304 | + <text>1</text> | |
305 | + </inscription> | |
306 | + <graphics/> | |
307 | + <toolspecific tool="WoPeD" version="1.0"> | |
308 | + <probability>1.0</probability> | |
309 | + <displayProbabilityOn>false</displayProbabilityOn> | |
310 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
311 | + </toolspecific> | |
312 | + </arc> | |
313 | + <arc id="a8" source="p7" target="t5"> | |
314 | + <inscription> | |
315 | + <text>1</text> | |
316 | + </inscription> | |
317 | + <graphics/> | |
318 | + <toolspecific tool="WoPeD" version="1.0"> | |
319 | + <probability>1.0</probability> | |
320 | + <displayProbabilityOn>false</displayProbabilityOn> | |
321 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
322 | + </toolspecific> | |
323 | + </arc> | |
324 | + <arc id="a9" source="t1" target="p5"> | |
325 | + <inscription> | |
326 | + <text>1</text> | |
327 | + </inscription> | |
328 | + <graphics/> | |
329 | + <toolspecific tool="WoPeD" version="1.0"> | |
330 | + <probability>1.0</probability> | |
331 | + <displayProbabilityOn>false</displayProbabilityOn> | |
332 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
333 | + </toolspecific> | |
334 | + </arc> | |
335 | + <toolspecific tool="WoPeD" version="1.0"> | |
336 | + <bounds> | |
337 | + <position x="11" y="33"/> | |
338 | + <dimension x="755" y="474"/> | |
339 | + </bounds> | |
340 | + <scale>100</scale> | |
341 | + <treeWidthRight>597</treeWidthRight> | |
342 | + <overviewPanelVisible>true</overviewPanelVisible> | |
343 | + <treeHeightOverview>100</treeHeightOverview> | |
344 | + <treePanelVisible>true</treePanelVisible> | |
345 | + <verticalLayout>false</verticalLayout> | |
346 | + <resources/> | |
347 | + <simulations/> | |
348 | + <partnerLinks/> | |
349 | + <variables/> | |
350 | + </toolspecific> | |
351 | + </net> | |
352 | +</pnml> | |
\ No newline at end of file |
@@ -0,0 +1,239 @@ | ||
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="p1"> | |
7 | + <name> | |
8 | + <text><'*.in'</text> | |
9 | + <graphics> | |
10 | + <offset x="10" y="120"/> | |
11 | + </graphics> | |
12 | + </name> | |
13 | + <graphics> | |
14 | + <position x="10" y="80"/> | |
15 | + <dimension x="40" y="40"/> | |
16 | + </graphics> | |
17 | + </place> | |
18 | + <place id="p2"> | |
19 | + <name> | |
20 | + <text>$mode == 1</text> | |
21 | + <graphics> | |
22 | + <offset x="260" y="120"/> | |
23 | + </graphics> | |
24 | + </name> | |
25 | + <graphics> | |
26 | + <position x="270" y="80"/> | |
27 | + <dimension x="40" y="40"/> | |
28 | + </graphics> | |
29 | + </place> | |
30 | + <place id="p3"> | |
31 | + <name> | |
32 | + <text>>'{$*}.out2'</text> | |
33 | + <graphics> | |
34 | + <offset x="390" y="160"/> | |
35 | + </graphics> | |
36 | + </name> | |
37 | + <graphics> | |
38 | + <position x="400" y="120"/> | |
39 | + <dimension x="40" y="40"/> | |
40 | + </graphics> | |
41 | + </place> | |
42 | + <place id="p5"> | |
43 | + <name> | |
44 | + <text>>'{$*}.out1'</text> | |
45 | + <graphics> | |
46 | + <offset x="390" y="70"/> | |
47 | + </graphics> | |
48 | + </name> | |
49 | + <graphics> | |
50 | + <position x="400" y="30"/> | |
51 | + <dimension x="40" y="40"/> | |
52 | + </graphics> | |
53 | + </place> | |
54 | + <place id="p7"> | |
55 | + <name> | |
56 | + <text/> | |
57 | + <graphics> | |
58 | + <offset x="150" y="120"/> | |
59 | + </graphics> | |
60 | + </name> | |
61 | + <graphics> | |
62 | + <position x="150" y="80"/> | |
63 | + <dimension x="40" y="40"/> | |
64 | + </graphics> | |
65 | + </place> | |
66 | + <transition id="t4"> | |
67 | + <name> | |
68 | + <text>then</text> | |
69 | + <graphics> | |
70 | + <offset x="340" y="70"/> | |
71 | + </graphics> | |
72 | + </name> | |
73 | + <graphics> | |
74 | + <position x="340" y="30"/> | |
75 | + <dimension x="40" y="40"/> | |
76 | + </graphics> | |
77 | + <toolspecific tool="WoPeD" version="1.0"> | |
78 | + <time>0</time> | |
79 | + <timeUnit>1</timeUnit> | |
80 | + <orientation>1</orientation> | |
81 | + </toolspecific> | |
82 | + </transition> | |
83 | + <transition id="t5"> | |
84 | + <name> | |
85 | + <text>else</text> | |
86 | + <graphics> | |
87 | + <offset x="340" y="160"/> | |
88 | + </graphics> | |
89 | + </name> | |
90 | + <graphics> | |
91 | + <position x="340" y="120"/> | |
92 | + <dimension x="40" y="40"/> | |
93 | + </graphics> | |
94 | + <toolspecific tool="WoPeD" version="1.0"> | |
95 | + <time>0</time> | |
96 | + <timeUnit>1</timeUnit> | |
97 | + <orientation>1</orientation> | |
98 | + </toolspecific> | |
99 | + </transition> | |
100 | + <transition id="t1"> | |
101 | + <name> | |
102 | + <text>if</text> | |
103 | + <graphics> | |
104 | + <offset x="210" y="120"/> | |
105 | + </graphics> | |
106 | + </name> | |
107 | + <graphics> | |
108 | + <position x="210" y="80"/> | |
109 | + <dimension x="40" y="40"/> | |
110 | + </graphics> | |
111 | + <toolspecific tool="WoPeD" version="1.0"> | |
112 | + <time>0</time> | |
113 | + <timeUnit>1</timeUnit> | |
114 | + <orientation>1</orientation> | |
115 | + </toolspecific> | |
116 | + </transition> | |
117 | + <transition id="t3"> | |
118 | + <name> | |
119 | + <text>SubRule</text> | |
120 | + <graphics> | |
121 | + <offset x="80" y="120"/> | |
122 | + </graphics> | |
123 | + </name> | |
124 | + <graphics> | |
125 | + <position x="90" y="80"/> | |
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 | + <arc id="a1" source="p1" target="t3"> | |
135 | + <inscription> | |
136 | + <text>1</text> | |
137 | + </inscription> | |
138 | + <graphics/> | |
139 | + <toolspecific tool="WoPeD" version="1.0"> | |
140 | + <probability>1.0</probability> | |
141 | + <displayProbabilityOn>false</displayProbabilityOn> | |
142 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
143 | + </toolspecific> | |
144 | + </arc> | |
145 | + <arc id="a2" source="t4" target="p5"> | |
146 | + <inscription> | |
147 | + <text>1</text> | |
148 | + </inscription> | |
149 | + <graphics/> | |
150 | + <toolspecific tool="WoPeD" version="1.0"> | |
151 | + <probability>1.0</probability> | |
152 | + <displayProbabilityOn>false</displayProbabilityOn> | |
153 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
154 | + </toolspecific> | |
155 | + </arc> | |
156 | + <arc id="a3" source="t5" target="p3"> | |
157 | + <inscription> | |
158 | + <text>1</text> | |
159 | + </inscription> | |
160 | + <graphics/> | |
161 | + <toolspecific tool="WoPeD" version="1.0"> | |
162 | + <probability>1.0</probability> | |
163 | + <displayProbabilityOn>false</displayProbabilityOn> | |
164 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
165 | + </toolspecific> | |
166 | + </arc> | |
167 | + <arc id="a4" source="t3" target="p7"> | |
168 | + <inscription> | |
169 | + <text>1</text> | |
170 | + </inscription> | |
171 | + <graphics/> | |
172 | + <toolspecific tool="WoPeD" version="1.0"> | |
173 | + <probability>1.0</probability> | |
174 | + <displayProbabilityOn>false</displayProbabilityOn> | |
175 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
176 | + </toolspecific> | |
177 | + </arc> | |
178 | + <arc id="a5" source="p7" target="t1"> | |
179 | + <inscription> | |
180 | + <text>1</text> | |
181 | + </inscription> | |
182 | + <graphics/> | |
183 | + <toolspecific tool="WoPeD" version="1.0"> | |
184 | + <probability>1.0</probability> | |
185 | + <displayProbabilityOn>false</displayProbabilityOn> | |
186 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
187 | + </toolspecific> | |
188 | + </arc> | |
189 | + <arc id="a6" source="t1" target="p2"> | |
190 | + <inscription> | |
191 | + <text>1</text> | |
192 | + </inscription> | |
193 | + <graphics/> | |
194 | + <toolspecific tool="WoPeD" version="1.0"> | |
195 | + <probability>1.0</probability> | |
196 | + <displayProbabilityOn>false</displayProbabilityOn> | |
197 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
198 | + </toolspecific> | |
199 | + </arc> | |
200 | + <arc id="a7" source="p2" target="t4"> | |
201 | + <inscription> | |
202 | + <text>1</text> | |
203 | + </inscription> | |
204 | + <graphics/> | |
205 | + <toolspecific tool="WoPeD" version="1.0"> | |
206 | + <probability>1.0</probability> | |
207 | + <displayProbabilityOn>false</displayProbabilityOn> | |
208 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
209 | + </toolspecific> | |
210 | + </arc> | |
211 | + <arc id="a8" source="p2" target="t5"> | |
212 | + <inscription> | |
213 | + <text>1</text> | |
214 | + </inscription> | |
215 | + <graphics/> | |
216 | + <toolspecific tool="WoPeD" version="1.0"> | |
217 | + <probability>1.0</probability> | |
218 | + <displayProbabilityOn>false</displayProbabilityOn> | |
219 | + <displayProbabilityPosition x="500.0" y="0.0"/> | |
220 | + </toolspecific> | |
221 | + </arc> | |
222 | + <toolspecific tool="WoPeD" version="1.0"> | |
223 | + <bounds> | |
224 | + <position x="11" y="33"/> | |
225 | + <dimension x="755" y="474"/> | |
226 | + </bounds> | |
227 | + <scale>100</scale> | |
228 | + <treeWidthRight>597</treeWidthRight> | |
229 | + <overviewPanelVisible>true</overviewPanelVisible> | |
230 | + <treeHeightOverview>100</treeHeightOverview> | |
231 | + <treePanelVisible>true</treePanelVisible> | |
232 | + <verticalLayout>false</verticalLayout> | |
233 | + <resources/> | |
234 | + <simulations/> | |
235 | + <partnerLinks/> | |
236 | + <variables/> | |
237 | + </toolspecific> | |
238 | + </net> | |
239 | +</pnml> | |
\ No newline at end of file |