RubyGems - pione - Versions diffs - 0.4.2 → 0.5.0.alpha.1 - Mend

pione 0.4.2 → 0.5.0.alpha.1

Files changed (306) hide show

checksums.yaml +8 -8
data/.travis.yml +1 -1
data/History.txt +6 -0
data/example/ActionError/ActionError.action.md +11 -0
data/example/ActionError/ActionError.pione +6 -3
data/example/ActionError/ActionError.pnml +86 -0
data/example/ActionError/Package.pione +2 -0
data/example/ActionError/pione-package.json +5 -1
data/example/CTFCorrection/CTFCorrection.action.md +46 -0
data/example/CTFCorrection/CTFCorrection.pione +19 -41
data/example/CTFCorrection/CTFCorrection.pnml +839 -0
data/example/CTFCorrection/Package.pione +1 -0
data/example/CTFCorrection/Params.pione +21 -0
data/example/CTFCorrection/pione-package.json +20 -0
data/example/ChildPackage/ChildPackage.pione +8 -0
data/example/ChildPackage/pione-package.json +20 -0
data/example/CountChar/CountChar.pione +31 -0
data/example/CountChar/CountChar.pnml +239 -0
data/example/CountChar/Main.pione +6 -26
data/example/CountChar/Main.pnml +32 -100
data/example/CountChar/Package.pione +1 -0
data/example/CountChar/pione-package.json +3 -1
data/example/DeferredChoice/DeferredChoice.action.md +46 -0
data/example/DeferredChoice/DeferredChoice.pione +2 -7
data/example/DeferredChoice/DeferredChoice.pnml +371 -0
data/example/DeferredChoice/Package.pione +4 -0
data/example/DeferredChoice/pione-package.json +7 -3
data/example/DeferredChoiceWithPage/DeferredChoiceWithPage.action.md +34 -0
data/example/DeferredChoiceWithPage/DefferredChoiceWithPage.pnml +371 -0
data/example/DeferredChoiceWithPage/Package.pione +2 -0
data/example/FeatureExample/FeatureExample.action.md +7 -0
data/example/FeatureExample/FeatureExample.pione +7 -4
data/example/FeatureExample/FeatureExample.pnml +86 -0
data/example/FeatureExample/Package.pione +1 -0
data/example/FeatureExample/pione-package.json +4 -0
data/example/Fib/Fib.action.md +33 -0
data/example/Fib/Fib.pnml +208 -0
data/example/Fib/FibN.pnml +807 -0
data/example/Fib/Package.pione +6 -0
data/example/HelloWorld/HelloWorld.action.md +7 -0
data/example/HelloWorld/HelloWorld.pione +6 -2
data/example/HelloWorld/HelloWorld.pnml +86 -0
data/example/HelloWorld/Package.pione +2 -0
data/example/HelloWorld/pione-package.json +5 -1
data/example/Interaction/Interaction.action.md +21 -0
data/example/Interaction/Interaction.pnml +89 -0
data/example/Interaction/Package.pione +2 -0
data/example/LoopByTouch/LoopByTouch.pione +32 -12
data/example/LoopByTouch/LoopByTouch.pnml +575 -0
data/example/LoopByTouch/Package.pione +3 -0
data/example/LoopByTouch/PairLoop.pione +6 -7
data/example/LoopByTouch/PairLoop.pnml +188 -0
data/example/LoopByTouch/SingleLoop.pione +6 -0
data/example/LoopByTouch/SingleLoop.pnml +86 -0
data/example/LoopByTouch/TripletLoop.pione +12 -13
data/example/LoopByTouch/TripletLoop.pnml +239 -0
data/example/LoopByTouch/pione-package.json +7 -3
data/example/LucasNumber/LucasNumber.action.md +25 -0
data/example/LucasNumber/LucasNumber.pnml +244 -0
data/example/LucasNumber/LucasNumberN.pnml +1719 -0
data/example/LucasNumber/Package.pione +2 -0
data/example/MakePair/MakePair.pione +8 -10
data/example/MakePair/MakePair.pnml +1141 -0
data/example/MakePair/Package.pione +2 -0
data/example/MakePair/pione-package.json +7 -3
data/example/MakePair/scenario/case1/pione-scenario.json +30 -30
data/example/MakePair/scenario/case2/pione-scenario.json +10 -10
data/example/MakePair/scenario/case3/pione-scenario.json +28 -28
data/example/OddSelector/OddSelector.pione +8 -8
data/example/OddSelector/OddSelector.pnml +401 -0
data/example/OddSelector/Package.pione +2 -0
data/example/OddSelector/pione-package.json +4 -0
data/example/OddSelector/scenario/pione-scenario.json +8 -8
data/example/ParentPackage/ParentPackage.pione +13 -0
data/example/ParentPackage/pione-package.json +18 -0
data/example/PegasusWMS/Merge/Package.pione +2 -0
data/example/PegasusWMS/Merge/PegasusWMSMerge.action.md +17 -0
data/example/PegasusWMS/Merge/{Merge.pione → PegasusWMSMerge.pione} +9 -10
data/example/PegasusWMS/Merge/PegasusWMSMerge.pnml +217 -0
data/example/PegasusWMS/Merge/pione-package.json +6 -2
data/example/PegasusWMS/Pipeline/Package.pione +2 -0
data/example/PegasusWMS/Pipeline/PegasusWMSPipeline.action.md +17 -0
data/example/PegasusWMS/Pipeline/{Pipeline.pione → PegasusWMSPipeline.pione} +7 -9
data/example/PegasusWMS/Pipeline/PegasusWMSPipeline.pnml +137 -0
data/example/PegasusWMS/Pipeline/pione-package.json +6 -2
data/example/PegasusWMS/Split/Package.pione +2 -0
data/example/PegasusWMS/Split/PegasusWMSSplit.action.md +19 -0
data/example/PegasusWMS/Split/{Split.pione → PegasusWMSSplit.pione} +9 -10
data/example/PegasusWMS/Split/PegasusWMSSplit.pnml +293 -0
data/example/PegasusWMS/Split/pione-package.json +6 -2
data/example/ScoreAggregation/Package.pione +2 -0
data/example/ScoreAggregation/ScoreAggregation.action.md +56 -0
data/example/ScoreAggregation/ScoreAggregation.pione +37 -76
data/example/ScoreAggregation/ScoreAggregation.pnml +1221 -0
data/example/ScoreAggregation/pione-package.json +6 -2
data/example/ScoreAggregation/scenario/case1/pione-scenario.json +21 -21
data/example/SelectRuleByParam/Package.pione +2 -0
data/example/SelectRuleByParam/SelectRuleByParam.action.md +19 -0
data/example/SelectRuleByParam/SelectRuleByParam.pnml +388 -0
data/example/SequentialParameter/Package.pione +2 -0
data/example/SequentialParameter/SequentialParameter.pione +9 -3
data/example/SequentialParameter/SequentialParameter.pnml +140 -0
data/example/SequentialParameter/pione-package.json +19 -0
data/example/SerialProcessing/A.pione +25 -0
data/example/SerialProcessing/A.pnml +395 -0
data/example/SerialProcessing/B.pione +25 -0
data/example/SerialProcessing/B.pnml +395 -0
data/example/SerialProcessing/Package.pione +2 -0
data/example/SerialProcessing/SerialProcessing.pione +9 -60
data/example/SerialProcessing/SerialProcessing.pnml +160 -0
data/example/SerialProcessing/pione-package.json +7 -1
data/example/SieveOfEratosthenes/CreateUndeterminedNumbers.pnml +157 -0
data/example/SieveOfEratosthenes/Package.pione +4 -0
data/example/SieveOfEratosthenes/Sieve.pnml +1493 -0
data/example/SieveOfEratosthenes/SieveOfEratosthenes.pnml +174 -0
data/example/SingleParticlesWithRef/Create3dinfo.pnml +342 -0
data/example/SingleParticlesWithRef/Package.pione +42 -0
data/example/SingleParticlesWithRef/SingleParticlesWithRef.action.md +34 -0
data/example/SingleParticlesWithRef/SingleParticlesWithRef.pnml +404 -0
data/example/SingleParticlesWithRef/{Makefile → misc/Makefile} +0 -0
data/example/SingleParticlesWithRef/{SingleParticlesWithRef.Display2.pione → misc/SingleParticlesWithRef.Display2.pione} +0 -0
data/example/SingleParticlesWithRef/{SingleParticlesWithRef.Makefile → misc/SingleParticlesWithRef.Makefile} +0 -0
data/example/SingleParticlesWithRef/{SingleParticlesWithRefFull.pione → misc/SingleParticlesWithRefFull.pione} +0 -0
data/example/Sum/CalcEachLine.pione +30 -0
data/example/Sum/CalcEachLine.pnml +327 -0
data/example/Sum/Package.pione +2 -0
data/example/Sum/Sum.action.md +35 -0
data/example/Sum/Sum.pione +9 -35
data/example/Sum/Sum.pnml +191 -0
data/example/Sum/pione-package.json +5 -0
data/example/Touch/Package.pione +2 -0
data/example/Touch/Touch.pione +8 -2
data/example/Touch/Touch.pnml +89 -0
data/example/Touch/pione-package.json +4 -0
data/example/WorkflowPatterns/01_Sequence/Package.pione +2 -0
data/example/WorkflowPatterns/01_Sequence/Sequence.pione +9 -9
data/example/WorkflowPatterns/01_Sequence/Sequence.pnml +191 -0
data/example/WorkflowPatterns/01_Sequence/pione-package.json +19 -0
data/example/WorkflowPatterns/02_PrallelSplit/Package.pione +2 -0
data/example/WorkflowPatterns/02_PrallelSplit/ParallelSplit.pione +12 -12
data/example/WorkflowPatterns/02_PrallelSplit/ParallelSplit.pnml +265 -0
data/example/WorkflowPatterns/02_PrallelSplit/pione-package.json +19 -0
data/example/WorkflowPatterns/03_Synchronization/Package.pione +2 -0
data/example/WorkflowPatterns/03_Synchronization/Synchronization.pione +12 -13
data/example/WorkflowPatterns/03_Synchronization/Synchronization.pnml +273 -0
data/example/WorkflowPatterns/03_Synchronization/pione-package.json +19 -0
data/example/WorkflowPatterns/04_ExclusiveChoice/ExclusiveChoice.pione +15 -22
data/example/WorkflowPatterns/04_ExclusiveChoice/ExclusiveChoice.pnml +533 -0
data/example/WorkflowPatterns/04_ExclusiveChoice/Package.pione +4 -0
data/example/WorkflowPatterns/04_ExclusiveChoice/pione-package.json +19 -0
data/example/WorkflowPatterns/05_SimpleMerge/Package.pione +4 -0
data/example/WorkflowPatterns/05_SimpleMerge/SimpleMerge.pione +10 -18
data/example/WorkflowPatterns/05_SimpleMerge/SimpleMerge.pnml +431 -0
data/example/WorkflowPatterns/05_SimpleMerge/pione-package.json +19 -0
data/example/WorkflowPatterns/06_MultiChoice/MultiChoice.pione +20 -28
data/example/WorkflowPatterns/06_MultiChoice/MultiChoice.pnml +797 -0
data/example/WorkflowPatterns/06_MultiChoice/Package.pione +5 -0
data/example/WorkflowPatterns/06_MultiChoice/pione-package.json +19 -0
data/example/WorkflowPatterns/07_StructuredSynchronizingMerge/Package.pione +5 -0
data/example/WorkflowPatterns/07_StructuredSynchronizingMerge/StructuredSynchronizingMerge.pnml +668 -0
data/example/WorkflowPatterns/08_MultiMerge/MultiMerge.pione +9 -20
data/example/WorkflowPatterns/08_MultiMerge/MultiMerge.pnml +551 -0
data/example/WorkflowPatterns/08_MultiMerge/Package.pione +4 -0
data/example/WorkflowPatterns/08_MultiMerge/pione-package.json +19 -0
data/example/WorkflowPatterns/11_ImplicitTermination/ImplicitTermination.pione +9 -17
data/example/WorkflowPatterns/11_ImplicitTermination/ImplicitTermination.pnml +188 -0
data/example/WorkflowPatterns/11_ImplicitTermination/Package.pione +2 -0
data/example/WorkflowPatterns/11_ImplicitTermination/pione-package.json +19 -0
data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/MultipleInstancesWithoutSynchronization.pione +11 -11
data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/MultipleInstancesWithoutSynchronization.pnml +319 -0
data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/Package.pione +4 -0
data/example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/pione-package.json +19 -0
data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/MultipleInstancesWithDesignTimeKnowledge.pione +11 -11
data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/MultipleInstancesWithDesignTimeKnowledge.pnml +319 -0
data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/Package.pione +2 -0
data/example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/pione-package.json +19 -0
data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/MultipleInstancesWithRunTimeKnowledge.pione +14 -17
data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/MultipleInstancesWithRunTimeKnowledge.pnml +355 -0
data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/Package.pione +4 -0
data/example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/pione-package.json +19 -0
data/example/WorkflowPatterns/33_GeneralizedANDJoin/GeneralizedANDJoin.pione +9 -10
data/example/WorkflowPatterns/33_GeneralizedANDJoin/GeneralizedANDJoin.pnml +409 -0
data/example/WorkflowPatterns/33_GeneralizedANDJoin/Package.pione +2 -0
data/example/WorkflowPatterns/33_GeneralizedANDJoin/pione-package.json +19 -0
data/example/WorkflowPatterns/37_LocalSynchronizingMerge/A.pione +34 -0
data/example/WorkflowPatterns/37_LocalSynchronizingMerge/A.pnml +570 -0
data/example/WorkflowPatterns/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pione +36 -70
data/example/WorkflowPatterns/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pnml +854 -0
data/example/WorkflowPatterns/37_LocalSynchronizingMerge/Package.pione +5 -0
data/example/WorkflowPatterns/37_LocalSynchronizingMerge/pione-package.json +20 -0
data/example/WorkflowPatterns/38_GeneralSynchronizingMerge/GeneralSynchronizingMerge.pnml +1003 -0
data/example/WorkflowPatterns/38_GeneralSynchronizingMerge/Package.pione +6 -0
data/example/WorkflowPatterns/41_ThreadMerge/A.pnml +429 -0
data/example/WorkflowPatterns/41_ThreadMerge/A1.pnml +141 -0
data/example/WorkflowPatterns/41_ThreadMerge/Package.pione +2 -0
data/example/WorkflowPatterns/41_ThreadMerge/ThreadMerge.pnml +205 -0
data/example/WorkflowPatterns/42_ThreadSplit/Package.pione +2 -0
data/example/WorkflowPatterns/42_ThreadSplit/ThreadSplit.pnml +217 -0
data/lib/pione/agent/job-manager.rb +4 -3
data/lib/pione/agent/task-worker.rb +2 -7
data/lib/pione/command.rb +1 -0
data/lib/pione/command/basic-command.rb +3 -1
data/lib/pione/command/command-exception.rb +14 -0
data/lib/pione/command/pione-action-exec.rb +4 -1
data/lib/pione/command/pione-clean.rb +13 -6
data/lib/pione/command/pione-client.rb +5 -5
data/lib/pione/command/pione-compile.rb +1 -1
data/lib/pione/command/pione-log-format.rb +1 -1
data/lib/pione/command/pione-package-add.rb +1 -1
data/lib/pione/command/pione-package-build.rb +87 -32
data/lib/pione/command/pione-package-remove.rb +117 -0
data/lib/pione/command/pione-package.rb +1 -0
data/lib/pione/command/spawner.rb +12 -3
data/lib/pione/lang/boolean.rb +1 -1
data/lib/pione/lang/common-parser.rb +5 -3
data/lib/pione/lang/context-parser.rb +8 -2
data/lib/pione/lang/context-transformer.rb +13 -3
data/lib/pione/lang/context.rb +20 -2
data/lib/pione/lang/data-expr.rb +1 -1
data/lib/pione/lang/declaration-parser.rb +18 -4
data/lib/pione/lang/declaration-transformer.rb +1 -1
data/lib/pione/lang/declaration.rb +5 -3
data/lib/pione/lang/definition.rb +1 -0
data/lib/pione/lang/environment.rb +37 -2
data/lib/pione/lang/expr.rb +10 -12
data/lib/pione/lang/feature-expr.rb +1 -1
data/lib/pione/lang/float.rb +1 -1
data/lib/pione/lang/integer.rb +1 -1
data/lib/pione/lang/keyed-sequence.rb +5 -5
data/lib/pione/lang/lang-exception.rb +9 -5
data/lib/pione/lang/literal-parser.rb +2 -2
data/lib/pione/lang/literal-transformer.rb +3 -0
data/lib/pione/lang/message.rb +3 -3
data/lib/pione/lang/ordinal-sequence.rb +1 -1
data/lib/pione/lang/package-expr.rb +1 -1
data/lib/pione/lang/parameters.rb +1 -1
data/lib/pione/lang/pione-method.rb +16 -16
data/lib/pione/lang/rule-expr.rb +6 -1
data/lib/pione/lang/sequence.rb +8 -3
data/lib/pione/lang/string.rb +1 -1
data/lib/pione/lang/ticket-expr.rb +1 -1
data/lib/pione/lang/type.rb +17 -8
data/lib/pione/lang/variable.rb +4 -1
data/lib/pione/literate-action.rb +1 -2
data/lib/pione/literate-action/document.rb +1 -1
data/lib/pione/literate-action/handler.rb +22 -7
data/lib/pione/literate-action/{parser.rb → markdown-parser.rb} +2 -1
data/lib/pione/log/domain-log.rb +1 -1
data/lib/pione/model/task-worker-broker-model.rb +1 -1
data/lib/pione/package/package-database.rb +16 -2
data/lib/pione/package/package-exception.rb +1 -1
data/lib/pione/package/package-handler.rb +11 -7
data/lib/pione/package/package-info.rb +13 -7
data/lib/pione/package/package-scanner.rb +1 -1
data/lib/pione/package/scenario-info.rb +2 -2
data/lib/pione/pnml.rb +6 -0
data/lib/pione/pnml/compiler.rb +329 -95
data/lib/pione/pnml/declaration-extractor.rb +90 -0
data/lib/pione/pnml/input-merge-complement.rb +17 -11
data/lib/pione/pnml/input-parallelization-complement.rb +10 -6
data/lib/pione/pnml/input-reduction.rb +5 -5
data/lib/pione/pnml/invalid-arc-elimination.rb +2 -2
data/lib/pione/pnml/io-expansion.rb +9 -5
data/lib/pione/pnml/isolated-element-elimination.rb +2 -2
data/lib/pione/pnml/label-extractor.rb +258 -0
data/lib/pione/pnml/net-rewriter.rb +6 -4
data/lib/pione/pnml/output-decomposition-complement.rb +12 -7
data/lib/pione/pnml/output-reduction.rb +11 -5
data/lib/pione/pnml/output-synchronization-complement.rb +11 -7
data/lib/pione/pnml/parser.rb +106 -0
data/lib/pione/pnml/pione-model.rb +685 -230
data/lib/pione/pnml/pnml-model.rb +73 -41
data/lib/pione/pnml/ticket-instantiation.rb +42 -0
data/lib/pione/rule-engine/action-handler.rb +212 -135
data/lib/pione/rule-engine/basic-handler.rb +29 -3
data/lib/pione/rule-engine/engine-exception.rb +10 -6
data/lib/pione/system/status.rb +12 -6
data/lib/pione/version.rb +1 -1
data/lib/rootage/help.md.erb +45 -0
data/lib/rootage/help.rb +1 -0
data/lib/rootage/scenario.rb +20 -2
data/misc/pione-completion.bash +15 -5
data/misc/pione-completion.zsh +16 -6
data/test/command/spec_pione-client.rb +60 -60
data/test/lang/data/context-parser.yml +12 -1
data/test/lang/spec_pione-method.rb +7 -6
data/test/literate-action/spec_handler.rb +19 -13
data/test/literate-action/{spec_parser.rb → spec_markdown-parser.rb} +3 -3
data/test/log/spec_message-log-receiver.rb +1 -1
data/test/package/spec_package-info.rb +1 -1
data/test/pnml/spec_input-merge-complement.rb +4 -2
data/test/pnml/spec_input-parallelization-complement.rb +4 -2
data/test/pnml/spec_input-reduction.rb +8 -4
data/test/pnml/spec_invalid-arc-elimination.rb +2 -1
data/test/pnml/spec_io-expansion.rb +4 -2
data/test/pnml/spec_isolated-element-elimination.rb +2 -1
data/test/pnml/spec_label-extractor.rb +100 -0
data/test/pnml/spec_output-decomposition-complement.rb +4 -2
data/test/pnml/spec_output-reduction.rb +8 -4
data/test/pnml/spec_output-synchronization-complement.rb +4 -2
data/test/pnml/spec_pione-element.rb +116 -37
data/test/pnml/spec_pnml-element.rb +32 -8
data/test/rule-engine/spec_action-handler.rb +12 -20
metadata +159 -16
data/example/CTFCorrection/package.yml +0 -1
data/example/DeferredChoice/bin/ui.xml +0 -28

data/example/LoopByTouch/pione-package.json CHANGED Viewed

@@ -4,15 +4,19 @@
   ],
   "Documents": [
-    "SingleLoop.pione",
-    "TripletLoop.pione",
+    "LoopByTouch.pione",
+    "Package.pione",
     "PairLoop.pione",
-    "LoopByTouch.pione"
+    "SingleLoop.pione",
+    "TripletLoop.pione"
   ],
   "Scenarios": [
   ],
   "Bins": [
+  ],
+  "Etcs": [
   ]
 }

data/example/LucasNumber/LucasNumber.action.md ADDED Viewed

@@ -0,0 +1,25 @@
+# Actions for LucasNumber package
+## LucasNumber0
+```
+echo 2 > LucasNumber0.txt
+```
+## LucasNumber1
+```
+echo 1 > LucasNumber1.txt
+```
+## Calc
+```
+echo "`cat {$I[2]}` {$OP} `cat {$I[1]}`" | bc > {$O[1]}
+```
+## Result
+```
+cat {$I[1]} > {$O[1]}
+```

data/example/LucasNumber/LucasNumber.pnml ADDED Viewed

@@ -0,0 +1,244 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--PLEASE DO NOT EDIT THIS FILE
+Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
+<pnml>
+  <net type="http://www.informatik.hu-berlin.de/top/pntd/ptNetb" id="noID">
+    <place id="p5">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="320" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="320" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p4">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="320" y="130"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="320" y="90"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p3">
+      <name>
+        <text>>'result.txt'</text>
+        <graphics>
+          <offset x="640" y="200"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="640" y="160"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p2">
+      <name>
+        <text>'LucasNumber{$NUM}.txt'</text>
+        <graphics>
+          <offset x="480" y="70"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="480" y="90"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p1">
+      <name>
+        <text>{NUM: $NUM}</text>
+        <graphics>
+          <offset x="160" y="200"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="160" y="160"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <initialMarking>
+        <text>1</text>
+      </initialMarking>
+    </place>
+    <transition id="t3">
+      <name>
+        <text>Result</text>
+        <graphics>
+          <offset x="550" y="200"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="550" y="160"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t2">
+      <name>
+        <text>extern LucasNumberN</text>
+        <graphics>
+          <offset x="380" y="130"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="400" y="90"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t1">
+      <name>
+        <text>param $NUM := 10</text>
+        <graphics>
+          <offset x="160" y="100"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="160" y="60"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t4">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="250" y="200"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="250" y="160"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <arc id="a9" source="p5" target="t3">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics>
+        <position x="510" y="250"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a2" source="t2" target="p2">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a3" source="p2" target="t3">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a4" source="p1" target="t4">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a5" source="t3" target="p3">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a6" source="t4" target="p4">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a7" source="t4" target="p5">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a8" source="p4" target="t2">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <toolspecific tool="WoPeD" version="1.0">
+      <bounds>
+        <position x="2" y="22"/>
+        <dimension x="1905" y="784"/>
+      </bounds>
+      <scale>100</scale>
+      <treeWidthRight>1551</treeWidthRight>
+      <overviewPanelVisible>true</overviewPanelVisible>
+      <treeHeightOverview>100</treeHeightOverview>
+      <treePanelVisible>true</treePanelVisible>
+      <verticalLayout>false</verticalLayout>
+      <resources/>
+      <simulations/>
+      <partnerLinks/>
+      <variables/>
+    </toolspecific>
+  </net>
+</pnml>

data/example/LucasNumber/LucasNumberN.pnml ADDED Viewed

@@ -0,0 +1,1719 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--PLEASE DO NOT EDIT THIS FILE
+Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
+<pnml>
+  <net type="http://www.informatik.hu-berlin.de/top/pntd/ptNetb" id="noID">
+    <place id="p7">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="560" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="560" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p6">
+      <name>
+        <text>$NUM > 0</text>
+        <graphics>
+          <offset x="430" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="430" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p5">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="290" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="290" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p4">
+      <name>
+        <text>1</text>
+        <graphics>
+          <offset x="300" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="300" y="110"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p3">
+      <name>
+        <text>0</text>
+        <graphics>
+          <offset x="300" y="80"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="300" y="40"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p2">
+      <name>
+        <text>$NUM</text>
+        <graphics>
+          <offset x="150" y="290"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="150" y="250"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p1">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="30" y="290"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="30" y="250"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <initialMarking>
+        <text>1</text>
+      </initialMarking>
+    </place>
+    <place id="p9">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="560" y="390"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="560" y="350"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p8">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="560" y="540"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="560" y="500"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p31">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="1030" y="550"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1030" y="510"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p32">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="1150" y="550"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1150" y="510"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p30">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="1140" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1140" y="270"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p36">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="690" y="610"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="690" y="570"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p35">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="690" y="480"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="690" y="440"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p34">
+      <name>
+        <text>>'LucasNumber{$NUM}.txt'</text>
+        <graphics>
+          <offset x="1410" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1410" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p33">
+      <name>
+        <text>OP: $OP</text>
+        <graphics>
+          <offset x="950" y="670"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="950" y="630"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p20">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="820" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="820" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p21">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="950" y="380"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="950" y="340"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p27">
+      <name>
+        <text>'LucasNumber{$NUM}.txt'</text>
+        <graphics>
+          <offset x="1290" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1290" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p26">
+      <name>
+        <text>'LucasNumber{$NUM1}.txt' #1</text>
+        <graphics>
+          <offset x="1110" y="320"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1110" y="340"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p29">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="1030" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1030" y="270"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p28">
+      <name>
+        <text>{NUM: $NUM}</text>
+        <graphics>
+          <offset x="950" y="190"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="950" y="150"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <initialMarking>
+        <text>1</text>
+      </initialMarking>
+    </place>
+    <place id="p23">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="950" y="480"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="950" y="440"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p22">
+      <name>
+        <text>{NUM: $NUM1}</text>
+        <graphics>
+          <offset x="950" y="260"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="950" y="220"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p25">
+      <name>
+        <text>'LucasNumber{$NUM2}.txt' #2</text>
+        <graphics>
+          <offset x="1110" y="480"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1110" y="440"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p24">
+      <name>
+        <text>{NUM: $NUM2}</text>
+        <graphics>
+          <offset x="950" y="600"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="950" y="560"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p10">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="560" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="560" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p18">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="690" y="390"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="690" y="350"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p17">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="690" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="690" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p16">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="690" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="690" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p14">
+      <name>
+        <text>'LucasNumber1.txt'</text>
+        <graphics>
+          <offset x="460" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="460" y="110"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p13">
+      <name>
+        <text>'LucasNumber0.txt'</text>
+        <graphics>
+          <offset x="460" y="80"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="460" y="40"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p12">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="560" y="610"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="560" y="570"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p11">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="560" y="480"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="560" y="440"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p19">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="690" y="540"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="690" y="500"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <transition id="t4">
+      <name>
+        <text>else</text>
+        <graphics>
+          <offset x="220" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="220" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t5">
+      <name>
+        <text>if</text>
+        <graphics>
+          <offset x="360" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="360" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t6">
+      <name>
+        <text>then</text>
+        <graphics>
+          <offset x="490" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="490" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t7">
+      <name>
+        <text>else</text>
+        <graphics>
+          <offset x="490" y="540"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="490" y="500"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t8">
+      <name>
+        <text>$NUM1 := $NUM - 1</text>
+        <graphics>
+          <offset x="620" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="620" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t9">
+      <name>
+        <text>$NUM2 := $NUM - 2</text>
+        <graphics>
+          <offset x="620" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="620" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t3">
+      <name>
+        <text>when</text>
+        <graphics>
+          <offset x="220" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="220" y="110"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t20">
+      <name>
+        <text>LucasNumberN</text>
+        <graphics>
+          <offset x="1030" y="380"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1030" y="340"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t2">
+      <name>
+        <text>when</text>
+        <graphics>
+          <offset x="220" y="80"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="220" y="40"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t21">
+      <name>
+        <text>LucasNumberN</text>
+        <graphics>
+          <offset x="1030" y="480"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1030" y="440"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t1">
+      <name>
+        <text>case</text>
+        <graphics>
+          <offset x="90" y="290"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="90" y="250"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t24">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="1090" y="600"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1090" y="560"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t25">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="550" y="80"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="550" y="40"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t22">
+      <name>
+        <text>Calc</text>
+        <graphics>
+          <offset x="1240" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1230" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t23">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="1080" y="260"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1080" y="220"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t28">
+      <name>
+        <text>param $NUM := 10</text>
+        <graphics>
+          <offset x="30" y="80"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="30" y="40"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t26">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="550" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="550" y="110"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t27">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="1350" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1350" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t10">
+      <name>
+        <text>$OP := "+"</text>
+        <graphics>
+          <offset x="620" y="390"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="620" y="350"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t11">
+      <name>
+        <text>$NUM1 := $NUM + 1</text>
+        <graphics>
+          <offset x="620" y="480"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="620" y="440"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t12">
+      <name>
+        <text>$NUM2 := $NUM + 2</text>
+        <graphics>
+          <offset x="620" y="540"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="620" y="500"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t13">
+      <name>
+        <text>$OP := "-"</text>
+        <graphics>
+          <offset x="620" y="610"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="620" y="570"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t14">
+      <name>
+        <text>LucasNumber0</text>
+        <graphics>
+          <offset x="380" y="80"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="380" y="40"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t15">
+      <name>
+        <text>LucasNumber1</text>
+        <graphics>
+          <offset x="380" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="380" y="110"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t17">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="760" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="760" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t18">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="760" y="540"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="760" y="500"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <transition id="t19">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="890" y="430"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="890" y="390"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <time>0</time>
+        <timeUnit>1</timeUnit>
+        <orientation>1</orientation>
+      </toolspecific>
+    </transition>
+    <arc id="a63" source="p31" target="t21">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a64" source="t24" target="p32">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a61" source="p24" target="t24">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a62" source="t24" target="p31">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a60" source="p30" target="t22">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a20" source="t7" target="p11">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a16" source="t6" target="p10">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a17" source="p10" target="t8">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a14" source="t7" target="p8">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a15" source="t6" target="p9">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a12" source="p6" target="t7">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a13" source="t6" target="p7">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a10" source="t5" target="p6">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a11" source="p6" target="t6">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a59" source="t23" target="p30">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a58" source="p29" target="t20">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a57" source="t23" target="p29">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a56" source="p22" target="t23">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a55" source="p28" target="t22">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics>
+        <position x="1170" y="170"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a18" source="p7" target="t9">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a54" source="t22" target="p27">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a19" source="p9" target="t10">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a72" source="t26" target="p34">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics>
+        <position x="1340" y="130"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a73" source="t19" target="p22">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a74" source="t19" target="p24">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a75" source="t19" target="p33">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a70" source="t25" target="p34">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics>
+        <position x="1340" y="60"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a71" source="t27" target="p34">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a31" source="t8" target="p16">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a25" source="p3" target="t14">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a26" source="p4" target="t15">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a27" source="t14" target="p13">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a28" source="t15" target="p14">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a21" source="t7" target="p12">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a22" source="p11" target="t11">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a23" source="p8" target="t12">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a24" source="p12" target="t13">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a69" source="p27" target="t27">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a66" source="p33" target="t22">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics>
+        <position x="1190" y="650"/>
+      </graphics>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a65" source="p32" target="t22">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a68" source="p14" target="t26">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a67" source="p13" target="t25">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a76" source="t11" target="p35">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a77" source="p35" target="t18">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a78" source="t13" target="p36">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a79" source="p36" target="t18">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a41" source="t17" target="p20">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a42" source="t18" target="p20">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a40" source="p19" target="t18">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a9" source="p5" target="t5">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a1" source="p1" target="t1">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a35" source="p17" target="t17">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a2" source="t1" target="p2">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a34" source="p16" target="t17">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a3" source="p2" target="t2">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a33" source="t10" target="p18">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a4" source="t2" target="p3">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a32" source="t9" target="p17">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a5" source="p2" target="t3">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a6" source="t3" target="p4">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a38" source="t12" target="p19">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a7" source="p2" target="t4">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a8" source="t4" target="p5">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a36" source="p18" target="t17">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a50" source="t21" target="p25">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a51" source="t20" target="p26">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a52" source="p26" target="t22">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a53" source="p25" target="t22">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a44" source="t19" target="p21">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a43" source="p20" target="t19">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a45" source="p21" target="t20">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a48" source="p23" target="t21">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <arc id="a47" source="t19" target="p23">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics/>
+      <toolspecific tool="WoPeD" version="1.0">
+        <probability>1.0</probability>
+        <displayProbabilityOn>false</displayProbabilityOn>
+        <displayProbabilityPosition x="500.0" y="0.0"/>
+      </toolspecific>
+    </arc>
+    <toolspecific tool="WoPeD" version="1.0">
+      <bounds>
+        <position x="2" y="22"/>
+        <dimension x="1905" y="784"/>
+      </bounds>
+      <scale>100</scale>
+      <treeWidthRight>1551</treeWidthRight>
+      <overviewPanelVisible>true</overviewPanelVisible>
+      <treeHeightOverview>100</treeHeightOverview>
+      <treePanelVisible>true</treePanelVisible>
+      <verticalLayout>false</verticalLayout>
+      <resources/>
+      <simulations/>
+      <partnerLinks/>
+      <variables/>
+    </toolspecific>
+  </net>
+</pnml>