Skip to content

Instantly share code, notes, and snippets.

@stackdump
Created April 18, 2019 15:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save stackdump/86c31d69303aada7ec716078feecddb7 to your computer and use it in GitHub Desktop.
Save stackdump/86c31d69303aada7ec716078feecddb7 to your computer and use it in GitHub Desktop.
<?xml version="1.0" encoding="UTF-8"?><document>
<id/>
<x/>
<y/>
<label/>
<subnet>
<id/>
<x>0</x>
<y>0</y>
<label/>
<place>
<id>1</id>
<x>-472</x>
<y>-213</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>2</id>
<x>-258</x>
<y>-213</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>3</id>
<x>-23</x>
<y>-208</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>4</id>
<x>-483</x>
<y>-23</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>5</id>
<x>-256</x>
<y>-24</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>6</id>
<x>-19</x>
<y>-19</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>7</id>
<x>-489</x>
<y>161</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>8</id>
<x>-257</x>
<y>161</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>9</id>
<x>-12</x>
<y>169</y>
<label/>
<tokens>1</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>29</id>
<x>-834</x>
<y>-258</y>
<label>new</label>
<tokens>1</tokens>
<isStatic>true</isStatic>
</place>
<place>
<id>30</id>
<x>-703</x>
<y>-138</y>
<label>X_TURN</label>
<tokens>0</tokens>
<isStatic>true</isStatic>
</place>
<place>
<id>31</id>
<x>195</x>
<y>98</y>
<label>O_TURN</label>
<tokens>0</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>32</id>
<x>-691</x>
<y>-366</y>
<label>DISABLED</label>
<tokens>0</tokens>
<isStatic>true</isStatic>
</place>
<transition>
<id>10</id>
<x>-543</x>
<y>-214</y>
<label>X00</label>
</transition>
<transition>
<id>11</id>
<x>-408</x>
<y>-216</y>
<label>O00</label>
</transition>
<transition>
<id>12</id>
<x>-327</x>
<y>-214</y>
<label>X01</label>
</transition>
<transition>
<id>13</id>
<x>-201</x>
<y>-215</y>
<label>O01</label>
</transition>
<transition>
<id>14</id>
<x>-96</x>
<y>-212</y>
<label>X02</label>
</transition>
<transition>
<id>15</id>
<x>51</x>
<y>-212</y>
<label>O02</label>
</transition>
<transition>
<id>16</id>
<x>-559</x>
<y>-32</y>
<label>X10</label>
</transition>
<transition>
<id>17</id>
<x>-406</x>
<y>-29</y>
<label>O10</label>
</transition>
<transition>
<id>18</id>
<x>-320</x>
<y>-24</y>
<label>X11</label>
</transition>
<transition>
<id>19</id>
<x>-194</x>
<y>-24</y>
<label>O11</label>
</transition>
<transition>
<id>20</id>
<x>-84</x>
<y>-19</y>
<label>X12</label>
</transition>
<transition>
<id>21</id>
<x>54</x>
<y>-20</y>
<label>O12</label>
</transition>
<transition>
<id>22</id>
<x>-566</x>
<y>164</y>
<label>X20</label>
</transition>
<transition>
<id>23</id>
<x>-421</x>
<y>161</y>
<label>O20</label>
</transition>
<transition>
<id>24</id>
<x>-318</x>
<y>163</y>
<label>X21</label>
</transition>
<transition>
<id>25</id>
<x>-196</x>
<y>165</y>
<label>O21</label>
</transition>
<transition>
<id>26</id>
<x>-79</x>
<y>171</y>
<label>X22</label>
</transition>
<transition>
<id>27</id>
<x>49</x>
<y>166</y>
<label>O22</label>
</transition>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>10</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>12</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>14</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>16</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>18</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>20</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>22</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>24</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>30</sourceId>
<destinationId>26</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>11</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>13</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>15</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>17</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>19</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>21</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>23</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>25</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>31</sourceId>
<destinationId>27</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>10</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>12</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>14</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>16</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>18</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>22</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>24</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>26</sourceId>
<destinationId>31</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>11</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>13</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>15</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>17</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>19</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>21</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>23</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>25</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>27</sourceId>
<destinationId>30</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>1</sourceId>
<destinationId>10</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>1</sourceId>
<destinationId>11</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>2</sourceId>
<destinationId>12</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>2</sourceId>
<destinationId>13</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>3</sourceId>
<destinationId>14</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>3</sourceId>
<destinationId>15</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>4</sourceId>
<destinationId>16</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>4</sourceId>
<destinationId>17</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>5</sourceId>
<destinationId>18</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>5</sourceId>
<destinationId>19</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>6</sourceId>
<destinationId>20</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>6</sourceId>
<destinationId>21</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>7</sourceId>
<destinationId>22</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>7</sourceId>
<destinationId>23</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>8</sourceId>
<destinationId>24</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>8</sourceId>
<destinationId>25</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>9</sourceId>
<destinationId>26</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>9</sourceId>
<destinationId>27</destinationId>
<multiplicity>1</multiplicity>
</arc>
<subnet>
<id>33</id>
<x>-751</x>
<y>-258</y>
<label>EXEC</label>
<place>
<id>39</id>
<x>57</x>
<y>-198</y>
<label>ENABLED</label>
<tokens>1</tokens>
<isStatic>true</isStatic>
</place>
<transition>
<id>28</id>
<x>0</x>
<y>0</y>
<label>EXEC</label>
</transition>
<transition>
<id>37</id>
<x>-8</x>
<y>-148</y>
<label>OFF</label>
</transition>
<transition>
<id>38</id>
<x>141</x>
<y>-152</y>
<label>ON</label>
</transition>
<arc>
<type>regular</type>
<sourceId>39</sourceId>
<destinationId>37</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>38</sourceId>
<destinationId>39</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>35</sourceId>
<destinationId>38</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>37</sourceId>
<destinationId>35</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>34</sourceId>
<destinationId>28</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>inhibitor</type>
<sourceId>35</sourceId>
<destinationId>28</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>28</sourceId>
<destinationId>36</destinationId>
<multiplicity>1</multiplicity>
</arc>
<referencePlace>
<id>34</id>
<x>-83</x>
<y>0</y>
<connectedPlaceId>29</connectedPlaceId>
</referencePlace>
<referencePlace>
<id>35</id>
<x>60</x>
<y>-108</y>
<connectedPlaceId>32</connectedPlaceId>
</referencePlace>
<referencePlace>
<id>36</id>
<x>48</x>
<y>120</y>
<connectedPlaceId>30</connectedPlaceId>
</referencePlace>
</subnet>
<referenceArc>
<placeId>29</placeId>
<subnetId>33</subnetId>
</referenceArc>
<referenceArc>
<placeId>30</placeId>
<subnetId>33</subnetId>
</referenceArc>
<referenceArc>
<placeId>32</placeId>
<subnetId>33</subnetId>
</referenceArc>
</subnet>
<roles>
<role>
<id>1</id>
<name>PlayerX</name>
<transitionId>22</transitionId>
<transitionId>12</transitionId>
<transitionId>24</transitionId>
<transitionId>14</transitionId>
<transitionId>26</transitionId>
<transitionId>16</transitionId>
<transitionId>18</transitionId>
<transitionId>20</transitionId>
<transitionId>10</transitionId>
<createCase>true</createCase>
<destroyCase>false</destroyCase>
</role>
<role>
<id>2</id>
<name>PlayerO</name>
<transitionId>11</transitionId>
<transitionId>23</transitionId>
<transitionId>13</transitionId>
<transitionId>25</transitionId>
<transitionId>15</transitionId>
<transitionId>27</transitionId>
<transitionId>17</transitionId>
<transitionId>19</transitionId>
<transitionId>21</transitionId>
<createCase>true</createCase>
<destroyCase>false</destroyCase>
</role>
<role>
<id>3</id>
<name>FATD</name>
<transitionId>37</transitionId>
<transitionId>38</transitionId>
<createCase>false</createCase>
<destroyCase>false</destroyCase>
</role>
</roles>
</document>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment