OSDN Git Service

Modify: PIONE-PNML Basic2 to add comment statement. v2.0.2p0107
authorkinoshita-eos <kinoshita@yasunaga-lab.bio.kyutech.ac.jp>
Thu, 26 Mar 2015 02:08:00 +0000 (11:08 +0900)
committerkinoshita-eos <kinoshita@yasunaga-lab.bio.kyutech.ac.jp>
Thu, 26 Mar 2015 02:08:00 +0000 (11:08 +0900)
modified:   SampleCode/PIONE-PNML/Basic2/Serial2.pnml

SampleCode/PIONE-PNML/Basic2/Serial2.pnml

index 8345a94..f8f780e 100644 (file)
@@ -5,73 +5,73 @@ Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
   <net type="http://www.informatik.hu-berlin.de/top/pntd/ptNetb" id="noID">
     <place id="p1">
       <name>
-        <text>&lt;'*.in'</text>
+        <text>&lt;'*.in' #n</text>
         <graphics>
-          <offset x="10" y="60"/>
+          <offset x="10" y="80"/>
         </graphics>
       </name>
       <graphics>
-        <position x="10" y="20"/>
+        <position x="10" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
     </place>
     <place id="p3">
       <name>
-        <text>'{$*}.out'</text>
+        <text>'{$*}.out' #2n+1</text>
         <graphics>
-          <offset x="410" y="60"/>
+          <offset x="400" y="80"/>
         </graphics>
       </name>
       <graphics>
-        <position x="410" y="20"/>
+        <position x="430" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
     </place>
     <place id="p4">
       <name>
-        <text>'*.route'</text>
+        <text>'*.route' #2n</text>
         <graphics>
-          <offset x="260" y="60"/>
+          <offset x="270" y="80"/>
         </graphics>
       </name>
       <graphics>
-        <position x="270" y="20"/>
+        <position x="280" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
     </place>
     <place id="p5">
       <name>
-        <text>'{$*}.route'</text>
+        <text>'{$*}.route' #2n</text>
         <graphics>
-          <offset x="130" y="60"/>
+          <offset x="120" y="80"/>
         </graphics>
       </name>
       <graphics>
-        <position x="140" y="20"/>
+        <position x="140" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
     </place>
     <place id="p6">
       <name>
-        <text>>'*.out'</text>
+        <text>>'*.out' #2n+1</text>
         <graphics>
-          <offset x="530" y="60"/>
+          <offset x="540" y="80"/>
         </graphics>
       </name>
       <graphics>
-        <position x="530" y="20"/>
+        <position x="560" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
     </place>
     <transition id="t6">
       <name>
-        <text/>
+        <text>#First-Second</text>
         <graphics>
-          <offset x="200" y="60"/>
+          <offset x="190" y="20"/>
         </graphics>
       </name>
       <graphics>
-        <position x="200" y="20"/>
+        <position x="210" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
       <toolspecific tool="WoPeD" version="1.0">
@@ -82,13 +82,13 @@ Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
     </transition>
     <transition id="t7">
       <name>
-        <text/>
+        <text>#End</text>
         <graphics>
-          <offset x="470" y="60"/>
+          <offset x="500" y="20"/>
         </graphics>
       </name>
       <graphics>
-        <position x="470" y="20"/>
+        <position x="500" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
       <toolspecific tool="WoPeD" version="1.0">
@@ -99,13 +99,13 @@ Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
     </transition>
     <transition id="t1">
       <name>
-        <text>First</text>
+        <text>First #Multiply</text>
         <graphics>
-          <offset x="80" y="60"/>
+          <offset x="50" y="20"/>
         </graphics>
       </name>
       <graphics>
-        <position x="80" y="20"/>
+        <position x="70" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
       <toolspecific tool="WoPeD" version="1.0">
@@ -116,13 +116,13 @@ Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
     </transition>
     <transition id="t2">
       <name>
-        <text>Second</text>
+        <text>Second #Add</text>
         <graphics>
-          <offset x="340" y="60"/>
+          <offset x="340" y="20"/>
         </graphics>
       </name>
       <graphics>
-        <position x="340" y="20"/>
+        <position x="350" y="40"/>
         <dimension x="40" y="40"/>
       </graphics>
       <toolspecific tool="WoPeD" version="1.0">
@@ -222,10 +222,10 @@ Created with Workflow PetriNet Designer Version 3.2.0 (woped.org)-->
     <toolspecific tool="WoPeD" version="1.0">
       <bounds>
         <position x="11" y="33"/>
-        <dimension x="755" y="474"/>
+        <dimension x="805" y="333"/>
       </bounds>
       <scale>100</scale>
-      <treeWidthRight>597</treeWidthRight>
+      <treeWidthRight>644</treeWidthRight>
       <overviewPanelVisible>true</overviewPanelVisible>
       <treeHeightOverview>100</treeHeightOverview>
       <treePanelVisible>true</treePanelVisible>