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/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pione CHANGED Viewed

@@ -1,101 +1,67 @@
-param $ST1 := true
-$ST2 := not :: $ST1
-Rule Main
+Rule LocalSynchronizingMerge
   output 'o1'
 Flow
+  rule __LocalSynchronizingMerge_A_0__
   rule Init
-  rule A
-  rule B
-  rule C
   rule D
-  rule E
-  rule S1
   rule S2
   rule S3
+  rule C
+  rule E
+  rule B
+  rule S1
 End
-Rule Init
-  output 'i1'.touch
-End
-Rule A
+Rule __LocalSynchronizingMerge_A_0__
   input 'i1'
-  output 'p1-c'
-  output 'p1-true' or 'p1-false'
-  output 'p2-c'
-  output 'p2-true' or 'p2-false'
+  output 'p1.*'
+  output 'p2.*'
 Flow
-  rule A1
-  rule A2
-  rule A3
-  rule A4
-End
-Rule A1
-  output 'p1-c'.touch
-  output 'p1-true'.touch
-  constraint $ST1
+  rule A
 End
-Rule A2
-  output 'p1-c'.touch
-  output 'p1-false'.touch
-  constraint not :: $ST1
+Rule Init
+  output 'i1'
 End
-Rule A3
-  output 'p2-c'.touch
-  output 'p2-true'.touch
-  constraint $ST2
+Rule D
+  input 'p3.*'
+  output 'p4'
+  constraint $* == "true"
 End
-Rule A4
-  output 'p2-c'.touch
-  output 'p2-false'.touch
-  constraint not :: $ST2
+Rule S2
+  input 'p3.*'
+  output 'p4'
+  constraint $* == "false"
 End
-Rule B
-  input 'p1-c'
-  input 'p1-true'
-  output 'p3-c'.touch
-  output 'p3-true'.touch
+Rule S3
+  input 'p2.*'
+  output 'p5'
+  constraint $* == "false"
 End
 Rule C
-  input 'p2-c'
-  input 'p2-true'
-  output 'p5'.touch
-End
-Rule D
-  input 'p3-c'
-  input 'p3-true'
-  output 'p4'.touch
+  input 'p2.*'
+  output 'p5'
+  constraint $* == "true"
 End
 Rule E
   input 'p4'
   input 'p5'
-  output 'o1'.touch
-End
-Rule S1
-  input 'p1-c'
-  input 'p1-false'
-  output 'p3-c'.touch
-  output 'p3-false'.touch
+  output 'o1'
 End
-Rule S2
-  input 'p3-c'
-  input 'p3-false'
-  output 'p4'.touch
+Rule B
+  input 'p1.*'
+  output 'p3.{$*}'
+  constraint $* == "true"
 End
-Rule S3
-  input 'p2-c'
-  input 'p2-false'
-  output 'p5'.touch
+Rule S1
+  input 'p1.*'
+  output 'p3.{$*}'
+  constraint $* == "false"
 End

data/example/WorkflowPatterns/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pnml ADDED Viewed

@@ -0,0 +1,854 @@
+<?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>'p2.*'</text>
+        <graphics>
+          <offset x="430" y="460"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="430" y="420"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p4">
+      <name>
+        <text>$* == "true"</text>
+        <graphics>
+          <offset x="570" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="570" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p3">
+      <name>
+        <text>'p1.*'</text>
+        <graphics>
+          <offset x="430" y="210"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="430" y="170"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p2">
+      <name>
+        <text>'i1'</text>
+        <graphics>
+          <offset x="280" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="280" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p1">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="120" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="120" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+      <initialMarking>
+        <text>1</text>
+      </initialMarking>
+    </place>
+    <place id="p20">
+      <name>
+        <text>'p5'</text>
+        <graphics>
+          <offset x="720" y="460"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="720" y="420"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p21">
+      <name>
+        <text>>'o1'</text>
+        <graphics>
+          <offset x="1320" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1320" y="290"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p9">
+      <name>
+        <text>'p3.{$*}'</text>
+        <graphics>
+          <offset x="710" y="210"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="710" y="170"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p22">
+      <name>
+        <text>'p3.*'</text>
+        <graphics>
+          <offset x="850" y="210"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="850" y="170"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p10">
+      <name>
+        <text>$* == "false"</text>
+        <graphics>
+          <offset x="570" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="570" y="110"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p17">
+      <name>
+        <text>$* == "false"</text>
+        <graphics>
+          <offset x="570" y="400"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="570" y="360"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p15">
+      <name>
+        <text>'p4'</text>
+        <graphics>
+          <offset x="1180" y="210"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1180" y="170"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p14">
+      <name>
+        <text>$* == "true"</text>
+        <graphics>
+          <offset x="1020" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1020" y="230"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p13">
+      <name>
+        <text>$* == "false"</text>
+        <graphics>
+          <offset x="1020" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1020" y="110"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <place id="p19">
+      <name>
+        <text>$* == "true"</text>
+        <graphics>
+          <offset x="580" y="520"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="580" y="480"/>
+        <dimension x="40" y="40"/>
+      </graphics>
+    </place>
+    <transition id="t20">
+      <name>
+        <text/>
+        <graphics>
+          <offset x="780" y="210"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="780" y="170"/>
+        <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>constraint</text>
+        <graphics>
+          <offset x="500" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="500" 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="t2">
+      <name>
+        <text>extern A</text>
+        <graphics>
+          <offset x="350" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="360" 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="t1">
+      <name>
+        <text>Init</text>
+        <graphics>
+          <offset x="200" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="200" 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="t10">
+      <name>
+        <text>constraint</text>
+        <graphics>
+          <offset x="940" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="940" 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="t11">
+      <name>
+        <text>constraint</text>
+        <graphics>
+          <offset x="940" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="940" 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="t12">
+      <name>
+        <text>D</text>
+        <graphics>
+          <offset x="1110" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1110" 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="t13">
+      <name>
+        <text>S2</text>
+        <graphics>
+          <offset x="1110" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1110" 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="t15">
+      <name>
+        <text>constraint</text>
+        <graphics>
+          <offset x="500" y="400"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="500" y="360"/>
+        <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="t16">
+      <name>
+        <text>S3</text>
+        <graphics>
+          <offset x="650" y="400"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="650" y="360"/>
+        <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>constraint</text>
+        <graphics>
+          <offset x="500" y="520"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="500" y="480"/>
+        <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>C</text>
+        <graphics>
+          <offset x="650" y="520"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="650" y="480"/>
+        <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>E</text>
+        <graphics>
+          <offset x="1270" y="330"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="1250" 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="t6">
+      <name>
+        <text>B</text>
+        <graphics>
+          <offset x="640" y="270"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="640" 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="t7">
+      <name>
+        <text>constraint</text>
+        <graphics>
+          <offset x="500" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="500" 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="t8">
+      <name>
+        <text>S1</text>
+        <graphics>
+          <offset x="640" y="150"/>
+        </graphics>
+      </name>
+      <graphics>
+        <position x="640" 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>
+    <arc id="a41" source="t16" 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="a20" 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="a16" 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="a15" 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="a35" source="t15" 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="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="a39" source="t17" 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="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="a55" source="p22" 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="a7" source="t2" 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="t7" 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="a54" source="p22" 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="a36" source="p17" target="t16">
+      <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="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="a50" source="p5" 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="a51" source="p5" 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="a52" source="p9" 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="a53" source="t20" 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="a31" source="t12" 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="a30" source="t13" 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="a25" source="t10" 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="a27" source="t11" 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="a28" source="p14" 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="a44" source="p20" target="t19">
+      <inscription>
+        <text>1</text>
+      </inscription>
+      <graphics>
+        <position x="1180" y="440"/>
+      </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="p15" 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="a46" source="p3" 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="a45" 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="a29" source="p13" 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="a47" 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>
+    <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>