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/WorkflowPatterns/05_SimpleMerge/pione-package.json ADDED Viewed

@@ -0,0 +1,19 @@
+{
+  "PackageName": "WCP05_SimpleMerge",
+  "Parents": [
+  ],
+  "Documents": [
+    "Package.pione",
+    "SimpleMerge.pione"
+  ],
+  "Scenarios": [
+  ],
+  "Bins": [
+  ],
+  "Etcs": [
+  ]
+}

data/example/WorkflowPatterns/06_MultiChoice/MultiChoice.pione CHANGED Viewed

@@ -1,48 +1,40 @@
-param $COND1 := true
-param $COND2 := true
-Rule Main
-  output 'o1' or null
+Rule MultiChoice
   output 'o2' or null
+  output 'o1' or null
 Flow
   rule Init
-  rule A
   rule B
   rule C
-End
-Rule Init
-  output 'i1'.touch
-End
-Rule A
-  input 'i1'
-  output 'p1' or null
-  output 'p2' or null
-Flow
-  if $COND1
-    rule A1
+    if $COND1
+  rule A1
   end
-  if $COND2
-    rule A2
+    if $COND2
+  rule A2
   end
-End
-Rule A1
-  output 'p1'.touch
 End
-Rule A2
-  output 'p2'.touch
+Rule Init
+  output 'i1'
 End
 Rule B
   input 'p1'
-  output 'o1'.touch
+  output 'o1'
 End
 Rule C
   input 'p2'
-  output 'o2'.touch
+  output 'o2'
 End
+Rule A1
+  input 'i1'
+  output 'p1'
+End
+Rule A2
+  input 'i1'
+  output 'p2'
+End

data/example/WorkflowPatterns/06_MultiChoice/MultiChoice.pnml ADDED Viewed

@@ -0,0 +1,797 @@
+<?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>'p1'</text>
+        <graphics>
+          <offset x="970" y="120"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="970" y="80"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p6">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="810" y="120"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="810" y="80"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p5">
+      <name>
+        <text>$COND1</text>
+        <graphics>
+          <offset x="650" y="170"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="650" y="130"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p4">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="490" y="370"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="490" y="330"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p3">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="490" y="170"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="490" y="130"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p2">
+      <name>
+        <text>'i1'</text>
+        <graphics>
+          <offset x="350" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="350" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p1">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="190" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="190" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <initialMarking>
+        <text>1</text>
+      </initialMarking>
+    </place>
+    <place id="p9">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="810" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="810" y="270"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p8">
+      <name>
+        <text>$COND2</text>
+        <graphics>
+          <offset x="650" y="370"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="650" y="330"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p10">
+      <name>
+        <text>'p2'</text>
+        <graphics>
+          <offset x="970" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="970" y="270"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p16">
+      <name>
+        <text>null</text>
+        <graphics>
+          <offset x="1130" y="420"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1130" y="380"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p15">
+      <name>
+        <text>null</text>
+        <graphics>
+          <offset x="1130" y="220"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1130" y="180"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p14">
+      <name>
+        <text>>'o2' or null</text>
+        <graphics>
+          <offset x="1280" y="370"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1280" y="330"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p13">
+      <name>
+        <text>>'o1' or null</text>
+        <graphics>
+          <offset x="1280" y="170"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1280" y="130"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p12">
+      <name>
+        <text>'o2'</text>
+        <graphics>
+          <offset x="1130" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1130" y="270"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p11">
+      <name>
+        <text>'o1'</text>
+        <graphics>
+          <offset x="1130" y="120"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1130" y="80"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <transition id="t3">
+      <name>
+        <text>if</text>
+        <graphics>
+          <offset x="570" y="170"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="570" y="130"/>
+        <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/>
+        <graphics>
+          <offset x="430" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="430" 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="t1">
+      <name>
+        <text>Init</text>
+        <graphics>
+          <offset x="270" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="270" 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="t10">
+      <name>
+        <text>B</text>
+        <graphics>
+          <offset x="1050" y="120"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1050" y="80"/>
+        <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>C</text>
+        <graphics>
+          <offset x="1050" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1050" y="270"/>
+        <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/>
+        <graphics>
+          <offset x="1200" y="170"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1200" y="130"/>
+        <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/>
+        <graphics>
+          <offset x="1200" y="370"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1200" y="330"/>
+        <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>else</text>
+        <graphics>
+          <offset x="730" y="220"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="730" y="180"/>
+        <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>else</text>
+        <graphics>
+          <offset x="730" y="420"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="730" y="380"/>
+        <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>then</text>
+        <graphics>
+          <offset x="730" y="120"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="730" y="80"/>
+        <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>A1</text>
+        <graphics>
+          <offset x="890" y="120"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="890" y="80"/>
+        <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>if</text>
+        <graphics>
+          <offset x="570" y="370"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="570" y="330"/>
+        <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>then</text>
+        <graphics>
+          <offset x="730" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="730" y="270"/>
+        <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>A2</text>
+        <graphics>
+          <offset x="890" y="310"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="890" y="270"/>
+        <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="a20" source="p10" 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="a9" source="t4" 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="a16" source="p9" 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="a17" source="t9" 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="a14" source="p8" 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="a15" source="t8" 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="p4" 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="a13" source="t6" 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="a10" source="p6" 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="a11" source="t5" 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="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="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="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="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="a5" source="t2" 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="a6" source="p3" 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="a7" source="t3" 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="a18" source="p7" 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="a8" source="p5" 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="a19" source="t10" 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="a31" source="p16" 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="a30" source="t15" 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="t13" 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="a26" source="p5" 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="a27" source="t14" target="p15">
+      <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="p15" 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="a21" source="t11" 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="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="a23" source="t12" 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="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="a29" source="p8" 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>
+    <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>