Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
CCS Scheduler as Petri Net
<?xml version="1.0" encoding="UTF-8"?>
<!--Xholon Workbook http://www.primordion.com/Xholon/gwt/ MIT License, Copyright (C) Ken Webb, Thu Jul 04 2019 11:21:49 GMT-0400 (Eastern Daylight Time)-->
<XholonWorkbook>
<Notes><![CDATA[
Xholon
------
Title: CCS Scheduler as Petri Net
Description:
Url: http://www.primordion.com/Xholon/gwt/
InternalName: 8ddfd251c317e2dfcb8fc22bd5e70d6f
Keywords:
My Notes
--------
July 2, 2019
A Scheduler consists of five instances of a Cycler.
I can implement this using a simple Place Transition petri net.
To repeat this Xholon export:
----------------------------
$wnd.xh.xport("Graphviz", $wnd.xh.root().parent().xpath("Chameleon/PhysicalSystem/Scheduler"), '{"gvFileExt":".gv","gvGraph":"digraph","layout":"dot","edgeOp":"->","gvCluster":"","shouldShowStateMachineEntities":false,"filter":"--Behavior,Script","nameTemplateNodeId":"^^^^i^","nameTemplateNodeLabel":"R^^^^^","shouldQuoteLabels":true,"shouldShowLinks":true,"shouldShowLinkLabels":false,"shouldSpecifyLayout":false,"maxLabelLen":-1,"shouldColor":true,"defaultNodeColor":"#f0f8ff","bgGraphColor":"white","shouldSpecifyShape":false,"shape":"ellipse","shouldSpecifySize":false,"size":"6","shouldSpecifyFontname":false,"fontname":"\"Courier New\"","shouldSpecifyArrowhead":false,"arrowhead":"vee","shouldSpecifyStylesheet":true,"stylesheet":"Xholon.css","shouldSpecifyRankdir":false,"rankdir":"LR","shouldDisplayGraph":false,"outputFormat":"svg","placeColor":"#ffff00","transitionColor":"#00ffff","placeShape":"ellipse","transitionShape":"box","shouldWritePlacesCluster":false,"shouldWriteTransitionsCluster":false,"shouldWriteAnalysisGridClusters":false,"shouldWriteTokens":true,"tokenOne":11044}');
sequence diagram (https://www.websequencediagrams.com/)
----------------
title CCS Scheduler as Petri Net
places_52->places_52: alphabar
places_52->places_52: betabar
places_192->places_192: gamma
places_192->places_192: alphabar
places_192->places_192: betabar
places_157->places_157: gamma
places_157->places_157: alphabar
places_157->places_157: betabar
places_122->places_122: gamma
places_122->places_122: alphabar
places_122->places_122: betabar
places_87->places_87: gamma
places_87->places_87: alphabar
places_87->places_87: betabar
places_52->places_52: gamma
places_52->places_52: alphabar
places_52->places_52: betabar
places_192->places_192: gamma
places_192->places_192: alphabar
places_192->places_192: betabar
places_157->places_157: gamma
places_157->places_157: alphabar
places_157->places_157: betabar
places_122->places_122: gamma
places_122->places_122: alphabar
places_122->places_122: betabar
places_87->places_87: gamma
places_87->places_87: alphabar
places_87->places_87: betabar
places_52->places_52: gamma
places_52->places_52: alphabar
places_52->places_52: betabar
places_192->places_192: gamma
References
----------
(1) Robin Milner, A Calculus of Communicating Systems, 1980, page 37
]]></Notes>
<_-.XholonClass>
<PhysicalSystem/>
<Cycler superClass="PetriNet"/>
<SuperCycler/>
<Scheduler/>
</_-.XholonClass>
<xholonClassDetails>
<Cycler><Color>indigo</Color></Cycler>
<PlacePN><Color>yellow</Color></PlacePN>
<Avatar><Color>red</Color></Avatar>
</xholonClassDetails>
<PhysicalSystem>
<Scheduler>
<Cycler multiplicity="5" shouldWriteSequenceDiagram="true">
<QueueTransitions shouldAct="true" shouldActNextOnly="true" shouldShuffle="false"/>
<AnalysisPetriNet/>
<AnalysisCRN/>
<AnalysisCat/>
<Places>
<!-- Place nodes are labelled starting with the first Place after the gamma Transition -->
<PlacePN roleName="1" token="0"/>
<PlacePN roleName="2" token="0"/>
<PlacePN roleName="3" token="0"/>
<PlacePN roleName="4" token="0"/>
<PlacePN roleName="5" token="0"/>
<!-- only the first instance of Cycler will have a Plot -->
<Plot mode="new" dataPlotter="gnuplot"/>
</Places>
<Transitions>
<TransitionPN roleName="gamma">
<InputArcs>
<InputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='3']"/>
<InputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='5']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='1']"/>
</OutputArcs>
</TransitionPN>
<TransitionPN roleName="alphabar">
<InputArcs>
<InputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='1']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='2']"/>
<OutputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='4']"/>
</OutputArcs>
</TransitionPN>
<TransitionPN roleName="betabar">
<InputArcs>
<InputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='2']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='3']"/>
</OutputArcs>
</TransitionPN>
<!-- delta gets relabelled as gammabar, as part of the multiplicity -->
<TransitionPN roleName="delta">
<InputArcs>
<InputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='4']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::Cycler/Places/PlacePN[@roleName='5']"/>
</OutputArcs>
</TransitionPN>
</Transitions>
</Cycler>
<SuperCycler/>
</Scheduler>
</PhysicalSystem>
<Schedulerbehavior implName="org.primordion.xholon.base.Behavior_gwtjs"><![CDATA[
const SHOULD_DO_SUPERCYCLE = true;
var me, beh = {
postConfigure: function() {
me = this.cnode.parent();
me.parent().append(this.cnode.remove());
var cycleCount = 0; // if there's only one Cycle node, then don't superCycle it
var node = me.first();
while (node) {
if (node.xhc().name() == "Cycler") {
if (node == me.first()) {
// Cycler c1; Place 1 gets a token
var place = node.xpath("Places/PlacePN[@roleName='1']");
place.val(1);
}
else {
// Cyclers 2-5 get tokens
var place = node.xpath("Places/PlacePN[@roleName='3']");
place.val(1);
place = node.xpath("Places/PlacePN[@roleName='5']");
place.val(1);
}
cycleCount++;
}
else if (SHOULD_DO_SUPERCYCLE && (node.xhc().name() == "SuperCycler")) {
if (cycleCount > 1) {
this.superCycle();
}
node.remove();
}
node = node.next();
}
this.cnode.remove();
},
superCycle: function() {
var gammaArr = [];
var deltaArr = [];
var qtArr = [];
var node = me.first();
while (node) {
if (node.xhc().name() == "Cycler") {
qtArr.push(node.xpath("QueueTransitions"));
var trans = node.xpath("Transitions/TransitionPN");
while (trans) {
switch (trans.role()) {
case "gamma": gammaArr.push(trans); trans.role("gammadelta"); break;
case "delta": deltaArr.push(trans); break;
default: break;
}
trans = trans.next();
}
}
node = node.next();
}
for (var i = 0; i < gammaArr.length; i++) {
var gammaT = gammaArr[i];
var deltaT = deltaArr[i+1];
if (deltaT == null) {
deltaT = deltaArr[0];
}
var gammaIarcs = gammaT.first();
var gammaOarcs = gammaIarcs.next();
var deltaIarcs = deltaT.first();
var deltaOarcs = deltaIarcs.next();
// move all input and output arcs from delta to gamma
var iArc = deltaIarcs.first();
while (iArc) {
gammaIarcs.append(iArc.remove());
iArc = iArc.next();
}
var oArc = deltaOarcs.first();
while (oArc) {
gammaOarcs.append(oArc.remove());
oArc = oArc.next();
}
deltaT.remove();
}
for (var j = 0; j < qtArr.length; j++) {
var qt = qtArr[j];
var qtItemArr = []; // temporary local cache
// dequeue and enqueue each item while ignoring "delta" items
var item = qt.obj(); // dequeue next
while (item) {
if (item.role() != "delta") {
qtItemArr.push(item);
}
item = qt.obj();
}
qt.action("empty");
for (var k = 0; k < qtItemArr.length; k++) {
qt.obj(qtItemArr[k]);
}
}
}
}
//# sourceURL=Schedulerbehavior.js
]]></Schedulerbehavior>
<SvgClient><Attribute_String roleName="svgUri"><![CDATA[data:image/svg+xml,
<svg width="909pt" height="477pt"
viewBox="0.00 0.00 909.00 476.80" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="Scheduler" class="graph" transform="scale(1 1) rotate(0) translate(4 472.8)">
<title>46</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-472.8 905,-472.8 905,4 -4,4"/>
<text text-anchor="middle" x="450.5" y="-8.2" font-family="Times,serif" font-size="14.00">Scheduler</text>
<!-- 53 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>53</title>
<ellipse fill="#ffff00" stroke="black" cx="127" cy="-438.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="127" y="-443" font-family="Times,serif" font-size="14.00">1</text>
<text text-anchor="middle" x="127" y="-426.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 65 -->
<g id="Scheduler/Cycler[1]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>65</title>
<polygon fill="#00ffff" stroke="black" points="129.146,-372.8 64.8536,-372.8 64.8536,-336.8 129.146,-336.8 129.146,-372.8"/>
<text text-anchor="middle" x="97" y="-350.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 53&#45;&gt;65 -->
<g id="Scheduler_edge4" class="edge"><title>53&#45;&gt;65</title>
<path fill="none" stroke="black" d="M117.177,-410.95C113.814,-401.757 110.055,-391.483 106.701,-382.317"/>
<polygon fill="black" stroke="black" points="109.982,-381.097 103.259,-372.909 103.408,-383.503 109.982,-381.097"/>
</g>
<!-- 54 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>54</title>
<ellipse fill="#ffff00" stroke="black" cx="28" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="28" y="-278.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 71 -->
<g id="Scheduler/Cycler[1]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>71</title>
<polygon fill="#00ffff" stroke="black" points="56.3956,-228.8 -0.395562,-228.8 -0.395562,-192.8 56.3956,-192.8 56.3956,-228.8"/>
<text text-anchor="middle" x="28" y="-206.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 54&#45;&gt;71 -->
<g id="Scheduler_edge7" class="edge"><title>54&#45;&gt;71</title>
<path fill="none" stroke="black" d="M28,-264.497C28,-256.783 28,-247.512 28,-238.912"/>
<polygon fill="black" stroke="black" points="31.5001,-238.904 28,-228.904 24.5001,-238.904 31.5001,-238.904"/>
</g>
<!-- 55 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>55</title>
<ellipse fill="#ffff00" stroke="black" cx="29" cy="-126.8" rx="27" ry="18"/>
<text text-anchor="middle" x="29" y="-122.6" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- 59 -->
<g id="Scheduler/Cycler[1]/Transitions/TransitionPN[@roleName=&#39;gamma&#39;]" class="node"><title>59</title>
<polygon fill="#00ffff" stroke="black" points="130.407,-60.8 73.5929,-60.8 73.5929,-24.8 130.407,-24.8 130.407,-60.8"/>
<text text-anchor="middle" x="102" y="-38.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 55&#45;&gt;59 -->
<g id="Scheduler_edge1" class="edge"><title>55&#45;&gt;59</title>
<path fill="none" stroke="black" d="M42.3893,-110.76C52.8494,-99.0103 67.6112,-82.4286 79.8276,-68.706"/>
<polygon fill="black" stroke="black" points="82.6394,-70.8112 86.6746,-61.0149 77.4111,-66.1567 82.6394,-70.8112"/>
</g>
<!-- 56 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>56</title>
<ellipse fill="#ffff00" stroke="black" cx="101" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="101" y="-278.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 76 -->
<g id="Scheduler/Cycler[1]/Transitions/TransitionPN[@roleName=&#39;delta&#39;]" class="node"><title>76</title>
<polygon fill="#00ffff" stroke="black" points="129,-228.8 75,-228.8 75,-192.8 129,-192.8 129,-228.8"/>
<text text-anchor="middle" x="102" y="-206.6" font-family="Times,serif" font-size="14.00">delta</text>
</g>
<!-- 56&#45;&gt;76 -->
<g id="Scheduler_edge9" class="edge"><title>56&#45;&gt;76</title>
<path fill="none" stroke="black" d="M101.247,-264.497C101.357,-256.783 101.49,-247.512 101.613,-238.912"/>
<polygon fill="black" stroke="black" points="105.112,-238.953 101.756,-228.904 98.1131,-238.853 105.112,-238.953"/>
</g>
<!-- 57 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>57</title>
<ellipse fill="#ffff00" stroke="black" cx="102" cy="-126.8" rx="27" ry="18"/>
<text text-anchor="middle" x="102" y="-122.6" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- 57&#45;&gt;59 -->
<g id="Scheduler_edge2" class="edge"><title>57&#45;&gt;59</title>
<path fill="none" stroke="black" d="M102,-108.41C102,-97.5743 102,-83.4012 102,-71.0913"/>
<polygon fill="black" stroke="black" points="105.5,-70.8838 102,-60.8838 98.5001,-70.8839 105.5,-70.8838"/>
</g>
<!-- 59&#45;&gt;53 -->
<g id="Scheduler_edge3" class="edge"><title>59&#45;&gt;53</title>
<path fill="none" stroke="black" d="M116.384,-60.8585C123.978,-70.7505 132.78,-83.7929 138,-96.8 156.967,-144.064 157,-158.873 157,-209.8 157,-283.8 157,-283.8 157,-283.8 157,-324.424 146.818,-369.982 138.318,-400.937"/>
<polygon fill="black" stroke="black" points="134.869,-400.272 135.517,-410.847 141.605,-402.176 134.869,-400.272"/>
</g>
<!-- 65&#45;&gt;54 -->
<g id="Scheduler_edge5" class="edge"><title>65&#45;&gt;54</title>
<path fill="none" stroke="black" d="M79.9438,-336.497C70.7849,-327.205 59.4002,-315.655 49.6254,-305.739"/>
<polygon fill="black" stroke="black" points="52.0404,-303.203 42.5278,-298.538 47.0552,-308.117 52.0404,-303.203"/>
</g>
<!-- 65&#45;&gt;56 -->
<g id="Scheduler_edge6" class="edge"><title>65&#45;&gt;56</title>
<path fill="none" stroke="black" d="M97.9888,-336.497C98.4296,-328.783 98.9593,-319.512 99.4507,-310.912"/>
<polygon fill="black" stroke="black" points="102.946,-311.088 100.023,-300.904 95.9577,-310.688 102.946,-311.088"/>
</g>
<!-- 71&#45;&gt;55 -->
<g id="Scheduler_edge8" class="edge"><title>71&#45;&gt;55</title>
<path fill="none" stroke="black" d="M28.2121,-192.41C28.3442,-181.574 28.5171,-167.401 28.6672,-155.091"/>
<polygon fill="black" stroke="black" points="32.1694,-154.926 28.7917,-144.884 25.1699,-154.84 32.1694,-154.926"/>
</g>
<!-- 76&#45;&gt;57 -->
<g id="Scheduler_edge10" class="edge"><title>76&#45;&gt;57</title>
<path fill="none" stroke="black" d="M102,-192.41C102,-181.574 102,-167.401 102,-155.091"/>
<polygon fill="black" stroke="black" points="105.5,-154.884 102,-144.884 98.5001,-154.884 105.5,-154.884"/>
</g>
<!-- 87 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>87</title>
<ellipse fill="#ffff00" stroke="black" cx="313" cy="-438.8" rx="27" ry="18"/>
<text text-anchor="middle" x="313" y="-434.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 100 -->
<g id="Scheduler/Cycler[2]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>100</title>
<polygon fill="#00ffff" stroke="black" points="315.146,-372.8 250.854,-372.8 250.854,-336.8 315.146,-336.8 315.146,-372.8"/>
<text text-anchor="middle" x="283" y="-350.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 87&#45;&gt;100 -->
<g id="Scheduler_edge14" class="edge"><title>87&#45;&gt;100</title>
<path fill="none" stroke="black" d="M306.929,-421.206C302.876,-410.128 297.456,-395.313 292.799,-382.584"/>
<polygon fill="black" stroke="black" points="295.991,-381.122 289.268,-372.934 289.417,-383.528 295.991,-381.122"/>
</g>
<!-- 88 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>88</title>
<ellipse fill="#ffff00" stroke="black" cx="215" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="215" y="-278.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 106 -->
<g id="Scheduler/Cycler[2]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>106</title>
<polygon fill="#00ffff" stroke="black" points="242.396,-228.8 185.604,-228.8 185.604,-192.8 242.396,-192.8 242.396,-228.8"/>
<text text-anchor="middle" x="214" y="-206.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 88&#45;&gt;106 -->
<g id="Scheduler_edge17" class="edge"><title>88&#45;&gt;106</title>
<path fill="none" stroke="black" d="M214.753,-264.497C214.643,-256.783 214.51,-247.512 214.387,-238.912"/>
<polygon fill="black" stroke="black" points="217.887,-238.853 214.244,-228.904 210.888,-238.953 217.887,-238.853"/>
</g>
<!-- 89 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>89</title>
<ellipse fill="#ffff00" stroke="black" cx="215" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="215" y="-131" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="215" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 94 -->
<g id="Scheduler/Cycler[2]/Transitions/TransitionPN[@roleName=&#39;gamma&#39;]" class="node"><title>94</title>
<polygon fill="#00ffff" stroke="black" points="316.407,-60.8 259.593,-60.8 259.593,-24.8 316.407,-24.8 316.407,-60.8"/>
<text text-anchor="middle" x="288" y="-38.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 89&#45;&gt;94 -->
<g id="Scheduler_edge11" class="edge"><title>89&#45;&gt;94</title>
<path fill="none" stroke="black" d="M233.421,-105.108C243.305,-94.0058 255.554,-80.2459 265.943,-68.5765"/>
<polygon fill="black" stroke="black" points="268.751,-70.6864 272.786,-60.8901 263.522,-66.0319 268.751,-70.6864"/>
</g>
<!-- 90 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>90</title>
<ellipse fill="#ffff00" stroke="black" cx="288" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="288" y="-278.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 111 -->
<g id="Scheduler/Cycler[2]/Transitions/TransitionPN[@roleName=&#39;delta&#39;]" class="node"><title>111</title>
<polygon fill="#00ffff" stroke="black" points="315,-228.8 261,-228.8 261,-192.8 315,-192.8 315,-228.8"/>
<text text-anchor="middle" x="288" y="-206.6" font-family="Times,serif" font-size="14.00">delta</text>
</g>
<!-- 90&#45;&gt;111 -->
<g id="Scheduler_edge19" class="edge"><title>90&#45;&gt;111</title>
<path fill="none" stroke="black" d="M288,-264.497C288,-256.783 288,-247.512 288,-238.912"/>
<polygon fill="black" stroke="black" points="291.5,-238.904 288,-228.904 284.5,-238.904 291.5,-238.904"/>
</g>
<!-- 91 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>91</title>
<ellipse fill="#ffff00" stroke="black" cx="288" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="288" y="-131" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="288" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 91&#45;&gt;94 -->
<g id="Scheduler_edge12" class="edge"><title>91&#45;&gt;94</title>
<path fill="none" stroke="black" d="M288,-97.1204C288,-88.6773 288,-79.4658 288,-71.1109"/>
<polygon fill="black" stroke="black" points="291.5,-71.1086 288,-61.1087 284.5,-71.1087 291.5,-71.1086"/>
</g>
<!-- 94&#45;&gt;87 -->
<g id="Scheduler_edge13" class="edge"><title>94&#45;&gt;87</title>
<path fill="none" stroke="black" d="M302.384,-60.8585C309.978,-70.7505 318.78,-83.7929 324,-96.8 342.967,-144.064 343,-158.873 343,-209.8 343,-283.8 343,-283.8 343,-283.8 343,-329.121 330.328,-380.582 321.455,-411.058"/>
<polygon fill="black" stroke="black" points="318.018,-410.334 318.502,-420.918 324.724,-412.343 318.018,-410.334"/>
</g>
<!-- 100&#45;&gt;88 -->
<g id="Scheduler_edge15" class="edge"><title>100&#45;&gt;88</title>
<path fill="none" stroke="black" d="M266.191,-336.497C257.165,-327.205 245.945,-315.655 236.312,-305.739"/>
<polygon fill="black" stroke="black" points="238.796,-303.272 229.317,-298.538 233.775,-308.15 238.796,-303.272"/>
</g>
<!-- 100&#45;&gt;90 -->
<g id="Scheduler_edge16" class="edge"><title>100&#45;&gt;90</title>
<path fill="none" stroke="black" d="M284.236,-336.497C284.787,-328.783 285.449,-319.512 286.063,-310.912"/>
<polygon fill="black" stroke="black" points="289.557,-311.128 286.778,-300.904 282.575,-310.63 289.557,-311.128"/>
</g>
<!-- 106&#45;&gt;89 -->
<g id="Scheduler_edge18" class="edge"><title>106&#45;&gt;89</title>
<path fill="none" stroke="black" d="M214.212,-192.41C214.305,-184.827 214.417,-175.609 214.528,-166.54"/>
<polygon fill="black" stroke="black" points="218.028,-166.5 214.651,-156.458 211.029,-166.415 218.028,-166.5"/>
</g>
<!-- 111&#45;&gt;91 -->
<g id="Scheduler_edge20" class="edge"><title>111&#45;&gt;91</title>
<path fill="none" stroke="black" d="M288,-192.41C288,-184.827 288,-175.609 288,-166.54"/>
<polygon fill="black" stroke="black" points="291.5,-166.458 288,-156.458 284.5,-166.458 291.5,-166.458"/>
</g>
<!-- 122 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>122</title>
<ellipse fill="#ffff00" stroke="black" cx="499" cy="-438.8" rx="27" ry="18"/>
<text text-anchor="middle" x="499" y="-434.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 135 -->
<g id="Scheduler/Cycler[3]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>135</title>
<polygon fill="#00ffff" stroke="black" points="501.146,-372.8 436.854,-372.8 436.854,-336.8 501.146,-336.8 501.146,-372.8"/>
<text text-anchor="middle" x="469" y="-350.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 122&#45;&gt;135 -->
<g id="Scheduler_edge24" class="edge"><title>122&#45;&gt;135</title>
<path fill="none" stroke="black" d="M492.929,-421.206C488.876,-410.128 483.456,-395.313 478.799,-382.584"/>
<polygon fill="black" stroke="black" points="481.991,-381.122 475.268,-372.934 475.417,-383.528 481.991,-381.122"/>
</g>
<!-- 123 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>123</title>
<ellipse fill="#ffff00" stroke="black" cx="401" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="401" y="-278.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 141 -->
<g id="Scheduler/Cycler[3]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>141</title>
<polygon fill="#00ffff" stroke="black" points="428.396,-228.8 371.604,-228.8 371.604,-192.8 428.396,-192.8 428.396,-228.8"/>
<text text-anchor="middle" x="400" y="-206.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 123&#45;&gt;141 -->
<g id="Scheduler_edge27" class="edge"><title>123&#45;&gt;141</title>
<path fill="none" stroke="black" d="M400.753,-264.497C400.643,-256.783 400.51,-247.512 400.387,-238.912"/>
<polygon fill="black" stroke="black" points="403.887,-238.853 400.244,-228.904 396.888,-238.953 403.887,-238.853"/>
</g>
<!-- 124 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>124</title>
<ellipse fill="#ffff00" stroke="black" cx="401" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="401" y="-131" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="401" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 129 -->
<g id="Scheduler/Cycler[3]/Transitions/TransitionPN[@roleName=&#39;gamma&#39;]" class="node"><title>129</title>
<polygon fill="#00ffff" stroke="black" points="502.407,-60.8 445.593,-60.8 445.593,-24.8 502.407,-24.8 502.407,-60.8"/>
<text text-anchor="middle" x="474" y="-38.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 124&#45;&gt;129 -->
<g id="Scheduler_edge21" class="edge"><title>124&#45;&gt;129</title>
<path fill="none" stroke="black" d="M419.421,-105.108C429.305,-94.0058 441.554,-80.2459 451.943,-68.5765"/>
<polygon fill="black" stroke="black" points="454.751,-70.6864 458.786,-60.8901 449.522,-66.0319 454.751,-70.6864"/>
</g>
<!-- 125 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>125</title>
<ellipse fill="#ffff00" stroke="black" cx="474" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="474" y="-278.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 146 -->
<g id="Scheduler/Cycler[3]/Transitions/TransitionPN[@roleName=&#39;delta&#39;]" class="node"><title>146</title>
<polygon fill="#00ffff" stroke="black" points="501,-228.8 447,-228.8 447,-192.8 501,-192.8 501,-228.8"/>
<text text-anchor="middle" x="474" y="-206.6" font-family="Times,serif" font-size="14.00">delta</text>
</g>
<!-- 125&#45;&gt;146 -->
<g id="Scheduler_edge29" class="edge"><title>125&#45;&gt;146</title>
<path fill="none" stroke="black" d="M474,-264.497C474,-256.783 474,-247.512 474,-238.912"/>
<polygon fill="black" stroke="black" points="477.5,-238.904 474,-228.904 470.5,-238.904 477.5,-238.904"/>
</g>
<!-- 126 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>126</title>
<ellipse fill="#ffff00" stroke="black" cx="474" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="474" y="-131" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="474" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 126&#45;&gt;129 -->
<g id="Scheduler_edge22" class="edge"><title>126&#45;&gt;129</title>
<path fill="none" stroke="black" d="M474,-97.1204C474,-88.6773 474,-79.4658 474,-71.1109"/>
<polygon fill="black" stroke="black" points="477.5,-71.1086 474,-61.1087 470.5,-71.1087 477.5,-71.1086"/>
</g>
<!-- 129&#45;&gt;122 -->
<g id="Scheduler_edge23" class="edge"><title>129&#45;&gt;122</title>
<path fill="none" stroke="black" d="M488.384,-60.8585C495.978,-70.7505 504.78,-83.7929 510,-96.8 528.967,-144.064 529,-158.873 529,-209.8 529,-283.8 529,-283.8 529,-283.8 529,-329.121 516.328,-380.582 507.455,-411.058"/>
<polygon fill="black" stroke="black" points="504.018,-410.334 504.502,-420.918 510.724,-412.343 504.018,-410.334"/>
</g>
<!-- 135&#45;&gt;123 -->
<g id="Scheduler_edge25" class="edge"><title>135&#45;&gt;123</title>
<path fill="none" stroke="black" d="M452.191,-336.497C443.165,-327.205 431.945,-315.655 422.312,-305.739"/>
<polygon fill="black" stroke="black" points="424.796,-303.272 415.317,-298.538 419.775,-308.15 424.796,-303.272"/>
</g>
<!-- 135&#45;&gt;125 -->
<g id="Scheduler_edge26" class="edge"><title>135&#45;&gt;125</title>
<path fill="none" stroke="black" d="M470.236,-336.497C470.787,-328.783 471.449,-319.512 472.063,-310.912"/>
<polygon fill="black" stroke="black" points="475.557,-311.128 472.778,-300.904 468.575,-310.63 475.557,-311.128"/>
</g>
<!-- 141&#45;&gt;124 -->
<g id="Scheduler_edge28" class="edge"><title>141&#45;&gt;124</title>
<path fill="none" stroke="black" d="M400.212,-192.41C400.305,-184.827 400.417,-175.609 400.528,-166.54"/>
<polygon fill="black" stroke="black" points="404.028,-166.5 400.651,-156.458 397.029,-166.415 404.028,-166.5"/>
</g>
<!-- 146&#45;&gt;126 -->
<g id="Scheduler_edge30" class="edge"><title>146&#45;&gt;126</title>
<path fill="none" stroke="black" d="M474,-192.41C474,-184.827 474,-175.609 474,-166.54"/>
<polygon fill="black" stroke="black" points="477.5,-166.458 474,-156.458 470.5,-166.458 477.5,-166.458"/>
</g>
<!-- 157 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>157</title>
<ellipse fill="#ffff00" stroke="black" cx="685" cy="-438.8" rx="27" ry="18"/>
<text text-anchor="middle" x="685" y="-434.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 170 -->
<g id="Scheduler/Cycler[4]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>170</title>
<polygon fill="#00ffff" stroke="black" points="687.146,-372.8 622.854,-372.8 622.854,-336.8 687.146,-336.8 687.146,-372.8"/>
<text text-anchor="middle" x="655" y="-350.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 157&#45;&gt;170 -->
<g id="Scheduler_edge34" class="edge"><title>157&#45;&gt;170</title>
<path fill="none" stroke="black" d="M678.929,-421.206C674.876,-410.128 669.456,-395.313 664.799,-382.584"/>
<polygon fill="black" stroke="black" points="667.991,-381.122 661.268,-372.934 661.417,-383.528 667.991,-381.122"/>
</g>
<!-- 158 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>158</title>
<ellipse fill="#ffff00" stroke="black" cx="587" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="587" y="-278.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 176 -->
<g id="Scheduler/Cycler[4]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>176</title>
<polygon fill="#00ffff" stroke="black" points="614.396,-228.8 557.604,-228.8 557.604,-192.8 614.396,-192.8 614.396,-228.8"/>
<text text-anchor="middle" x="586" y="-206.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 158&#45;&gt;176 -->
<g id="Scheduler_edge37" class="edge"><title>158&#45;&gt;176</title>
<path fill="none" stroke="black" d="M586.753,-264.497C586.643,-256.783 586.51,-247.512 586.387,-238.912"/>
<polygon fill="black" stroke="black" points="589.887,-238.853 586.244,-228.904 582.888,-238.953 589.887,-238.853"/>
</g>
<!-- 159 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>159</title>
<ellipse fill="#ffff00" stroke="black" cx="587" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="587" y="-131" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="587" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 164 -->
<g id="Scheduler/Cycler[4]/Transitions/TransitionPN[@roleName=&#39;gamma&#39;]" class="node"><title>164</title>
<polygon fill="#00ffff" stroke="black" points="688.407,-60.8 631.593,-60.8 631.593,-24.8 688.407,-24.8 688.407,-60.8"/>
<text text-anchor="middle" x="660" y="-38.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 159&#45;&gt;164 -->
<g id="Scheduler_edge31" class="edge"><title>159&#45;&gt;164</title>
<path fill="none" stroke="black" d="M605.421,-105.108C615.305,-94.0058 627.554,-80.2459 637.943,-68.5765"/>
<polygon fill="black" stroke="black" points="640.751,-70.6864 644.786,-60.8901 635.522,-66.0319 640.751,-70.6864"/>
</g>
<!-- 160 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>160</title>
<ellipse fill="#ffff00" stroke="black" cx="660" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="660" y="-278.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 181 -->
<g id="Scheduler/Cycler[4]/Transitions/TransitionPN[@roleName=&#39;delta&#39;]" class="node"><title>181</title>
<polygon fill="#00ffff" stroke="black" points="687,-228.8 633,-228.8 633,-192.8 687,-192.8 687,-228.8"/>
<text text-anchor="middle" x="660" y="-206.6" font-family="Times,serif" font-size="14.00">delta</text>
</g>
<!-- 160&#45;&gt;181 -->
<g id="Scheduler_edge39" class="edge"><title>160&#45;&gt;181</title>
<path fill="none" stroke="black" d="M660,-264.497C660,-256.783 660,-247.512 660,-238.912"/>
<polygon fill="black" stroke="black" points="663.5,-238.904 660,-228.904 656.5,-238.904 663.5,-238.904"/>
</g>
<!-- 161 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>161</title>
<ellipse fill="#ffff00" stroke="black" cx="660" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="660" y="-131" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="660" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 161&#45;&gt;164 -->
<g id="Scheduler_edge32" class="edge"><title>161&#45;&gt;164</title>
<path fill="none" stroke="black" d="M660,-97.1204C660,-88.6773 660,-79.4658 660,-71.1109"/>
<polygon fill="black" stroke="black" points="663.5,-71.1086 660,-61.1087 656.5,-71.1087 663.5,-71.1086"/>
</g>
<!-- 164&#45;&gt;157 -->
<g id="Scheduler_edge33" class="edge"><title>164&#45;&gt;157</title>
<path fill="none" stroke="black" d="M674.384,-60.8585C681.978,-70.7505 690.78,-83.7929 696,-96.8 714.967,-144.064 715,-158.873 715,-209.8 715,-283.8 715,-283.8 715,-283.8 715,-329.121 702.328,-380.582 693.455,-411.058"/>
<polygon fill="black" stroke="black" points="690.018,-410.334 690.502,-420.918 696.724,-412.343 690.018,-410.334"/>
</g>
<!-- 170&#45;&gt;158 -->
<g id="Scheduler_edge35" class="edge"><title>170&#45;&gt;158</title>
<path fill="none" stroke="black" d="M638.191,-336.497C629.165,-327.205 617.945,-315.655 608.312,-305.739"/>
<polygon fill="black" stroke="black" points="610.796,-303.272 601.317,-298.538 605.775,-308.15 610.796,-303.272"/>
</g>
<!-- 170&#45;&gt;160 -->
<g id="Scheduler_edge36" class="edge"><title>170&#45;&gt;160</title>
<path fill="none" stroke="black" d="M656.236,-336.497C656.787,-328.783 657.449,-319.512 658.063,-310.912"/>
<polygon fill="black" stroke="black" points="661.557,-311.128 658.778,-300.904 654.575,-310.63 661.557,-311.128"/>
</g>
<!-- 176&#45;&gt;159 -->
<g id="Scheduler_edge38" class="edge"><title>176&#45;&gt;159</title>
<path fill="none" stroke="black" d="M586.212,-192.41C586.305,-184.827 586.417,-175.609 586.528,-166.54"/>
<polygon fill="black" stroke="black" points="590.028,-166.5 586.651,-156.458 583.029,-166.415 590.028,-166.5"/>
</g>
<!-- 181&#45;&gt;161 -->
<g id="Scheduler_edge40" class="edge"><title>181&#45;&gt;161</title>
<path fill="none" stroke="black" d="M660,-192.41C660,-184.827 660,-175.609 660,-166.54"/>
<polygon fill="black" stroke="black" points="663.5,-166.458 660,-156.458 656.5,-166.458 663.5,-166.458"/>
</g>
<!-- 192 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>192</title>
<ellipse fill="#ffff00" stroke="black" cx="871" cy="-438.8" rx="27" ry="18"/>
<text text-anchor="middle" x="871" y="-434.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 205 -->
<g id="Scheduler/Cycler[5]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>205</title>
<polygon fill="#00ffff" stroke="black" points="873.146,-372.8 808.854,-372.8 808.854,-336.8 873.146,-336.8 873.146,-372.8"/>
<text text-anchor="middle" x="841" y="-350.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 192&#45;&gt;205 -->
<g id="Scheduler_edge44" class="edge"><title>192&#45;&gt;205</title>
<path fill="none" stroke="black" d="M864.929,-421.206C860.876,-410.128 855.456,-395.313 850.799,-382.584"/>
<polygon fill="black" stroke="black" points="853.991,-381.122 847.268,-372.934 847.417,-383.528 853.991,-381.122"/>
</g>
<!-- 193 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>193</title>
<ellipse fill="#ffff00" stroke="black" cx="772" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="772" y="-278.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 211 -->
<g id="Scheduler/Cycler[5]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>211</title>
<polygon fill="#00ffff" stroke="black" points="800.396,-228.8 743.604,-228.8 743.604,-192.8 800.396,-192.8 800.396,-228.8"/>
<text text-anchor="middle" x="772" y="-206.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 193&#45;&gt;211 -->
<g id="Scheduler_edge47" class="edge"><title>193&#45;&gt;211</title>
<path fill="none" stroke="black" d="M772,-264.497C772,-256.783 772,-247.512 772,-238.912"/>
<polygon fill="black" stroke="black" points="775.5,-238.904 772,-228.904 768.5,-238.904 775.5,-238.904"/>
</g>
<!-- 194 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>194</title>
<ellipse fill="#ffff00" stroke="black" cx="773" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="773" y="-131" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="773" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 199 -->
<g id="Scheduler/Cycler[5]/Transitions/TransitionPN[@roleName=&#39;gamma&#39;]" class="node"><title>199</title>
<polygon fill="#00ffff" stroke="black" points="874.407,-60.8 817.593,-60.8 817.593,-24.8 874.407,-24.8 874.407,-60.8"/>
<text text-anchor="middle" x="846" y="-38.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 194&#45;&gt;199 -->
<g id="Scheduler_edge41" class="edge"><title>194&#45;&gt;199</title>
<path fill="none" stroke="black" d="M791.421,-105.108C801.305,-94.0058 813.554,-80.2459 823.943,-68.5765"/>
<polygon fill="black" stroke="black" points="826.751,-70.6864 830.786,-60.8901 821.522,-66.0319 826.751,-70.6864"/>
</g>
<!-- 195 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>195</title>
<ellipse fill="#ffff00" stroke="black" cx="845" cy="-282.8" rx="27" ry="18"/>
<text text-anchor="middle" x="845" y="-278.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 216 -->
<g id="Scheduler/Cycler[5]/Transitions/TransitionPN[@roleName=&#39;delta&#39;]" class="node"><title>216</title>
<polygon fill="#00ffff" stroke="black" points="873,-228.8 819,-228.8 819,-192.8 873,-192.8 873,-228.8"/>
<text text-anchor="middle" x="846" y="-206.6" font-family="Times,serif" font-size="14.00">delta</text>
</g>
<!-- 195&#45;&gt;216 -->
<g id="Scheduler_edge49" class="edge"><title>195&#45;&gt;216</title>
<path fill="none" stroke="black" d="M845.247,-264.497C845.357,-256.783 845.49,-247.512 845.613,-238.912"/>
<polygon fill="black" stroke="black" points="849.112,-238.953 845.756,-228.904 842.113,-238.853 849.112,-238.953"/>
</g>
<!-- 196 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>196</title>
<ellipse fill="#ffff00" stroke="black" cx="846" cy="-126.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="846" y="-131" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="846" y="-114.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 196&#45;&gt;199 -->
<g id="Scheduler_edge42" class="edge"><title>196&#45;&gt;199</title>
<path fill="none" stroke="black" d="M846,-97.1204C846,-88.6773 846,-79.4658 846,-71.1109"/>
<polygon fill="black" stroke="black" points="849.5,-71.1086 846,-61.1087 842.5,-71.1087 849.5,-71.1086"/>
</g>
<!-- 199&#45;&gt;192 -->
<g id="Scheduler_edge43" class="edge"><title>199&#45;&gt;192</title>
<path fill="none" stroke="black" d="M860.384,-60.8585C867.978,-70.7505 876.78,-83.7929 882,-96.8 900.967,-144.064 901,-158.873 901,-209.8 901,-283.8 901,-283.8 901,-283.8 901,-329.121 888.328,-380.582 879.455,-411.058"/>
<polygon fill="black" stroke="black" points="876.018,-410.334 876.502,-420.918 882.724,-412.343 876.018,-410.334"/>
</g>
<!-- 205&#45;&gt;193 -->
<g id="Scheduler_edge45" class="edge"><title>205&#45;&gt;193</title>
<path fill="none" stroke="black" d="M823.944,-336.497C814.785,-327.205 803.4,-315.655 793.625,-305.739"/>
<polygon fill="black" stroke="black" points="796.04,-303.203 786.528,-298.538 791.055,-308.117 796.04,-303.203"/>
</g>
<!-- 205&#45;&gt;195 -->
<g id="Scheduler_edge46" class="edge"><title>205&#45;&gt;195</title>
<path fill="none" stroke="black" d="M841.989,-336.497C842.43,-328.783 842.959,-319.512 843.451,-310.912"/>
<polygon fill="black" stroke="black" points="846.946,-311.088 844.023,-300.904 839.958,-310.688 846.946,-311.088"/>
</g>
<!-- 211&#45;&gt;194 -->
<g id="Scheduler_edge48" class="edge"><title>211&#45;&gt;194</title>
<path fill="none" stroke="black" d="M772.212,-192.41C772.305,-184.827 772.417,-175.609 772.528,-166.54"/>
<polygon fill="black" stroke="black" points="776.028,-166.5 772.651,-156.458 769.029,-166.415 776.028,-166.5"/>
</g>
<!-- 216&#45;&gt;196 -->
<g id="Scheduler_edge50" class="edge"><title>216&#45;&gt;196</title>
<path fill="none" stroke="black" d="M846,-192.41C846,-184.827 846,-175.609 846,-166.54"/>
<polygon fill="black" stroke="black" points="849.5,-166.458 846,-156.458 842.5,-166.458 849.5,-166.458"/>
</g>
</g>
</svg>
<svg width="1180pt" height="465pt"
viewBox="0.00 0.00 1180.00 464.80" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="Scheduler" class="graph" transform="scale(1 1) rotate(0) translate(4 460.8)">
<title>46</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-460.8 1176,-460.8 1176,4 -4,4"/>
<text text-anchor="middle" x="586" y="-8.2" font-family="Times,serif" font-size="14.00">Scheduler</text>
<g id="Scheduler/Cycler[1]" class="cluster"><title>cluster47</title>
<polygon fill="white" stroke="black" points="8,-44.8 8,-448.8 150,-448.8 150,-44.8 8,-44.8"/>
<text text-anchor="middle" x="79" y="-432.2" font-family="Times,serif" font-size="14.00">Cycler</text>
</g>
<g id="Scheduler/Cycler[2]" class="cluster"><title>cluster81</title>
<polygon fill="white" stroke="black" points="158,-32.8 158,-448.8 300,-448.8 300,-32.8 158,-32.8"/>
<text text-anchor="middle" x="229" y="-432.2" font-family="Times,serif" font-size="14.00">Cycler</text>
</g>
<g id="Scheduler/Cycler[3]" class="cluster"><title>cluster116</title>
<polygon fill="white" stroke="black" points="340,-32.8 340,-448.8 482,-448.8 482,-32.8 340,-32.8"/>
<text text-anchor="middle" x="411" y="-432.2" font-family="Times,serif" font-size="14.00">Cycler</text>
</g>
<g id="Scheduler/Cycler[4]" class="cluster"><title>cluster151</title>
<polygon fill="white" stroke="black" points="872,-32.8 872,-448.8 1014,-448.8 1014,-32.8 872,-32.8"/>
<text text-anchor="middle" x="943" y="-432.2" font-family="Times,serif" font-size="14.00">Cycler</text>
</g>
<g id="Scheduler/Cycler[5]" class="cluster"><title>cluster186</title>
<polygon fill="white" stroke="black" points="1022,-32.8 1022,-448.8 1164,-448.8 1164,-32.8 1022,-32.8"/>
<text text-anchor="middle" x="1093" y="-432.2" font-family="Times,serif" font-size="14.00">Cycler</text>
</g>
<g id="Scheduler/SuperCycler" class="cluster"><title>cluster221</title>
<polygon fill="white" stroke="black" points="490,-272.8 490,-348.8 864,-348.8 864,-272.8 490,-272.8"/>
<text text-anchor="middle" x="677" y="-332.2" font-family="Times,serif" font-size="14.00">SuperCycler</text>
</g>
<!-- 53 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>53</title>
<ellipse fill="#ffff00" stroke="black" cx="43" cy="-386.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="43" y="-391" font-family="Times,serif" font-size="14.00">1</text>
<text text-anchor="middle" x="43" y="-374.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 65 -->
<g id="Scheduler/Cycler[1]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>65</title>
<polygon fill="#00ffff" stroke="black" points="80.1464,-316.8 15.8536,-316.8 15.8536,-280.8 80.1464,-280.8 80.1464,-316.8"/>
<text text-anchor="middle" x="48" y="-294.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 53&#45;&gt;65 -->
<g id="Scheduler_edge1" class="edge"><title>53&#45;&gt;65</title>
<path fill="none" stroke="black" d="M44.6649,-357.163C45.2263,-347.507 45.8512,-336.759 46.407,-327.2"/>
<polygon fill="black" stroke="black" points="49.9115,-327.222 46.9979,-317.035 42.9233,-326.815 49.9115,-327.222"/>
</g>
<!-- 54 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>54</title>
<ellipse fill="#ffff00" stroke="black" cx="43" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="43" y="-222.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 71 -->
<g id="Scheduler/Cycler[1]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>71</title>
<polygon fill="#00ffff" stroke="black" points="107.396,-172.8 50.6044,-172.8 50.6044,-136.8 107.396,-136.8 107.396,-172.8"/>
<text text-anchor="middle" x="79" y="-150.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 54&#45;&gt;71 -->
<g id="Scheduler_edge4" class="edge"><title>54&#45;&gt;71</title>
<path fill="none" stroke="black" d="M51.3496,-209.565C55.5428,-201.411 60.7279,-191.329 65.4709,-182.107"/>
<polygon fill="black" stroke="black" points="68.7324,-183.418 70.1934,-172.924 62.5074,-180.216 68.7324,-183.418"/>
</g>
<!-- 55 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>55</title>
<ellipse fill="#ffff00" stroke="black" cx="97" cy="-70.8" rx="27" ry="18"/>
<text text-anchor="middle" x="97" y="-66.6" font-family="Times,serif" font-size="14.00">3</text>
</g>
<!-- 59 -->
<g id="Scheduler/SuperCycler/Transitions/TransitionPN[1]" class="node"><title>59</title>
<polygon fill="#00ffff" stroke="black" points="555.407,-316.8 498.593,-316.8 498.593,-280.8 555.407,-280.8 555.407,-316.8"/>
<text text-anchor="middle" x="527" y="-294.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 55&#45;&gt;59 -->
<g id="Scheduler_edge26" class="edge"><title>55&#45;&gt;59</title>
<path fill="none" stroke="black" d="M116.793,-83.3252C127.527,-89.1984 141.186,-96.0775 154,-100.8 218.33,-124.508 254.265,-89.6103 304,-136.8 340.317,-171.258 298.816,-211.279 336,-244.8 386.371,-290.21 422.675,-248.526 486,-272.8 488.384,-273.714 490.784,-274.767 493.163,-275.913"/>
<polygon fill="black" stroke="black" points="491.678,-279.087 502.15,-280.693 494.965,-272.907 491.678,-279.087"/>
</g>
<!-- 56 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>56</title>
<ellipse fill="#ffff00" stroke="black" cx="115" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="115" y="-222.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 199 -->
<g id="Scheduler/SuperCycler/Transitions/TransitionPN[5]" class="node"><title>199</title>
<polygon fill="#00ffff" stroke="black" points="855.407,-316.8 798.593,-316.8 798.593,-280.8 855.407,-280.8 855.407,-316.8"/>
<text text-anchor="middle" x="827" y="-294.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 56&#45;&gt;199 -->
<g id="Scheduler_edge48" class="edge"><title>56&#45;&gt;199</title>
<path fill="none" stroke="black" d="M135.973,-238.615C141.679,-241.089 147.956,-243.4 154,-244.8 291.607,-276.666 654.614,-229.31 789,-272.8 791.432,-273.587 793.857,-274.575 796.238,-275.7"/>
<polygon fill="black" stroke="black" points="794.672,-278.833 805.12,-280.587 798.046,-272.7 794.672,-278.833"/>
</g>
<!-- 57 -->
<g id="Scheduler/Cycler[1]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>57</title>
<ellipse fill="#ffff00" stroke="black" cx="115" cy="-386.8" rx="27" ry="18"/>
<text text-anchor="middle" x="115" y="-382.6" font-family="Times,serif" font-size="14.00">5</text>
</g>
<!-- 57&#45;&gt;59 -->
<g id="Scheduler_edge27" class="edge"><title>57&#45;&gt;59</title>
<path fill="none" stroke="black" d="M129.656,-371.517C136.483,-365.813 145.065,-359.878 154,-356.8 188.888,-344.782 452.759,-364.819 486,-348.8 496.45,-343.764 505.204,-334.666 511.904,-325.664"/>
<polygon fill="black" stroke="black" points="514.936,-327.431 517.687,-317.199 509.156,-323.482 514.936,-327.431"/>
</g>
<!-- 65&#45;&gt;54 -->
<g id="Scheduler_edge2" class="edge"><title>65&#45;&gt;54</title>
<path fill="none" stroke="black" d="M46.764,-280.497C46.2131,-272.783 45.5509,-263.512 44.9366,-254.912"/>
<polygon fill="black" stroke="black" points="48.4254,-254.63 44.2217,-244.904 41.4432,-255.128 48.4254,-254.63"/>
</g>
<!-- 65&#45;&gt;56 -->
<g id="Scheduler_edge3" class="edge"><title>65&#45;&gt;56</title>
<path fill="none" stroke="black" d="M64.5618,-280.497C73.368,-271.296 84.2934,-259.882 93.7219,-250.031"/>
<polygon fill="black" stroke="black" points="96.5072,-252.183 100.893,-242.538 91.4503,-247.342 96.5072,-252.183"/>
</g>
<!-- 71&#45;&gt;55 -->
<g id="Scheduler_edge5" class="edge"><title>71&#45;&gt;55</title>
<path fill="none" stroke="black" d="M82.8173,-136.41C85.2199,-125.465 88.37,-111.115 91.091,-98.7188"/>
<polygon fill="black" stroke="black" points="94.5243,-99.4017 93.2499,-88.8838 87.6871,-97.9008 94.5243,-99.4017"/>
</g>
<!-- 87 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>87</title>
<ellipse fill="#ffff00" stroke="black" cx="193" cy="-386.8" rx="27" ry="18"/>
<text text-anchor="middle" x="193" y="-382.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 100 -->
<g id="Scheduler/Cycler[2]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>100</title>
<polygon fill="#00ffff" stroke="black" points="230.146,-316.8 165.854,-316.8 165.854,-280.8 230.146,-280.8 230.146,-316.8"/>
<text text-anchor="middle" x="198" y="-294.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 87&#45;&gt;100 -->
<g id="Scheduler_edge6" class="edge"><title>87&#45;&gt;100</title>
<path fill="none" stroke="black" d="M193.988,-368.809C194.675,-356.99 195.606,-340.971 196.399,-327.342"/>
<polygon fill="black" stroke="black" points="199.911,-327.236 196.997,-317.05 192.922,-326.83 199.911,-327.236"/>
</g>
<!-- 88 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>88</title>
<ellipse fill="#ffff00" stroke="black" cx="193" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="193" y="-222.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 106 -->
<g id="Scheduler/Cycler[2]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>106</title>
<polygon fill="#00ffff" stroke="black" points="257.396,-172.8 200.604,-172.8 200.604,-136.8 257.396,-136.8 257.396,-172.8"/>
<text text-anchor="middle" x="229" y="-150.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 88&#45;&gt;106 -->
<g id="Scheduler_edge9" class="edge"><title>88&#45;&gt;106</title>
<path fill="none" stroke="black" d="M201.35,-209.565C205.543,-201.411 210.728,-191.329 215.471,-182.107"/>
<polygon fill="black" stroke="black" points="218.732,-183.418 220.193,-172.924 212.507,-180.216 218.732,-183.418"/>
</g>
<!-- 89 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>89</title>
<ellipse fill="#ffff00" stroke="black" cx="247" cy="-70.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="247" y="-75" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="247" y="-58.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 94 -->
<g id="Scheduler/SuperCycler/Transitions/TransitionPN[2]" class="node"><title>94</title>
<polygon fill="#00ffff" stroke="black" points="630.407,-316.8 573.593,-316.8 573.593,-280.8 630.407,-280.8 630.407,-316.8"/>
<text text-anchor="middle" x="602" y="-294.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 89&#45;&gt;94 -->
<g id="Scheduler_edge31" class="edge"><title>89&#45;&gt;94</title>
<path fill="none" stroke="black" d="M272.54,-80.719C290.242,-86.7535 314.418,-94.7044 336,-100.8 401.979,-119.435 429.069,-98.5993 486,-136.8 536.729,-170.839 572.838,-234.972 590.241,-271.175"/>
<polygon fill="black" stroke="black" points="587.241,-273.023 594.65,-280.597 593.581,-270.056 587.241,-273.023"/>
</g>
<!-- 90 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>90</title>
<ellipse fill="#ffff00" stroke="black" cx="265" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="265" y="-222.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 90&#45;&gt;59 -->
<g id="Scheduler_edge28" class="edge"><title>90&#45;&gt;59</title>
<path fill="none" stroke="black" d="M286.787,-237.964C292.899,-240.503 299.62,-243.009 306,-244.8 383.949,-266.683 409.973,-244.967 486,-272.8 488.398,-273.678 490.808,-274.703 493.195,-275.829"/>
<polygon fill="black" stroke="black" points="491.719,-279.007 502.199,-280.563 494.976,-272.811 491.719,-279.007"/>
</g>
<!-- 91 -->
<g id="Scheduler/Cycler[2]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>91</title>
<ellipse fill="#ffff00" stroke="black" cx="265" cy="-386.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="265" y="-391" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="265" y="-374.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 91&#45;&gt;94 -->
<g id="Scheduler_edge32" class="edge"><title>91&#45;&gt;94</title>
<path fill="none" stroke="black" d="M289.288,-373.384C302.695,-367.177 319.857,-360.265 336,-356.8 360.784,-351.481 541.436,-360.351 564,-348.8 573.918,-343.723 582.028,-334.742 588.17,-325.843"/>
<polygon fill="black" stroke="black" points="591.295,-327.449 593.651,-317.12 585.367,-323.725 591.295,-327.449"/>
</g>
<!-- 100&#45;&gt;88 -->
<g id="Scheduler_edge7" class="edge"><title>100&#45;&gt;88</title>
<path fill="none" stroke="black" d="M196.764,-280.497C196.213,-272.783 195.551,-263.512 194.937,-254.912"/>
<polygon fill="black" stroke="black" points="198.425,-254.63 194.222,-244.904 191.443,-255.128 198.425,-254.63"/>
</g>
<!-- 100&#45;&gt;90 -->
<g id="Scheduler_edge8" class="edge"><title>100&#45;&gt;90</title>
<path fill="none" stroke="black" d="M214.562,-280.497C223.368,-271.296 234.293,-259.882 243.722,-250.031"/>
<polygon fill="black" stroke="black" points="246.507,-252.183 250.893,-242.538 241.45,-247.342 246.507,-252.183"/>
</g>
<!-- 106&#45;&gt;89 -->
<g id="Scheduler_edge10" class="edge"><title>106&#45;&gt;89</title>
<path fill="none" stroke="black" d="M232.817,-136.41C234.545,-128.538 236.66,-118.905 238.723,-109.505"/>
<polygon fill="black" stroke="black" points="242.196,-110.008 240.922,-99.49 235.359,-108.507 242.196,-110.008"/>
</g>
<!-- 122 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>122</title>
<ellipse fill="#ffff00" stroke="black" cx="375" cy="-386.8" rx="27" ry="18"/>
<text text-anchor="middle" x="375" y="-382.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 135 -->
<g id="Scheduler/Cycler[3]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>135</title>
<polygon fill="#00ffff" stroke="black" points="412.146,-316.8 347.854,-316.8 347.854,-280.8 412.146,-280.8 412.146,-316.8"/>
<text text-anchor="middle" x="380" y="-294.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 122&#45;&gt;135 -->
<g id="Scheduler_edge11" class="edge"><title>122&#45;&gt;135</title>
<path fill="none" stroke="black" d="M375.988,-368.809C376.675,-356.99 377.606,-340.971 378.399,-327.342"/>
<polygon fill="black" stroke="black" points="381.911,-327.236 378.997,-317.05 374.922,-326.83 381.911,-327.236"/>
</g>
<!-- 123 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>123</title>
<ellipse fill="#ffff00" stroke="black" cx="375" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="375" y="-222.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 141 -->
<g id="Scheduler/Cycler[3]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>141</title>
<polygon fill="#00ffff" stroke="black" points="439.396,-172.8 382.604,-172.8 382.604,-136.8 439.396,-136.8 439.396,-172.8"/>
<text text-anchor="middle" x="411" y="-150.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 123&#45;&gt;141 -->
<g id="Scheduler_edge14" class="edge"><title>123&#45;&gt;141</title>
<path fill="none" stroke="black" d="M383.35,-209.565C387.543,-201.411 392.728,-191.329 397.471,-182.107"/>
<polygon fill="black" stroke="black" points="400.732,-183.418 402.193,-172.924 394.507,-180.216 400.732,-183.418"/>
</g>
<!-- 124 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>124</title>
<ellipse fill="#ffff00" stroke="black" cx="429" cy="-70.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="429" y="-75" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="429" y="-58.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 129 -->
<g id="Scheduler/SuperCycler/Transitions/TransitionPN[3]" class="node"><title>129</title>
<polygon fill="#00ffff" stroke="black" points="705.407,-316.8 648.593,-316.8 648.593,-280.8 705.407,-280.8 705.407,-316.8"/>
<text text-anchor="middle" x="677" y="-294.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 124&#45;&gt;129 -->
<g id="Scheduler_edge36" class="edge"><title>124&#45;&gt;129</title>
<path fill="none" stroke="black" d="M455.022,-79.5745C484.42,-89.3271 532.519,-108.306 566,-136.8 611.376,-175.416 646.704,-236.752 664.436,-271.508"/>
<polygon fill="black" stroke="black" points="661.362,-273.186 668.964,-280.565 667.623,-270.055 661.362,-273.186"/>
</g>
<!-- 125 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>125</title>
<ellipse fill="#ffff00" stroke="black" cx="447" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="447" y="-222.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 125&#45;&gt;94 -->
<g id="Scheduler_edge33" class="edge"><title>125&#45;&gt;94</title>
<path fill="none" stroke="black" d="M470.953,-235.326C495.067,-243.289 533.027,-256.889 564,-272.8 565.545,-273.594 567.106,-274.436 568.667,-275.312"/>
<polygon fill="black" stroke="black" points="567.144,-278.479 577.524,-280.603 570.734,-272.47 567.144,-278.479"/>
</g>
<!-- 126 -->
<g id="Scheduler/Cycler[3]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>126</title>
<ellipse fill="#ffff00" stroke="black" cx="447" cy="-386.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="447" y="-391" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="447" y="-374.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 126&#45;&gt;129 -->
<g id="Scheduler_edge37" class="edge"><title>126&#45;&gt;129</title>
<path fill="none" stroke="black" d="M474.279,-386.406C513.572,-386.05 587.077,-380.69 639,-348.8 648.357,-343.053 656.29,-334.107 662.449,-325.423"/>
<polygon fill="black" stroke="black" points="665.445,-327.237 668.003,-316.955 659.592,-323.398 665.445,-327.237"/>
</g>
<!-- 135&#45;&gt;123 -->
<g id="Scheduler_edge12" class="edge"><title>135&#45;&gt;123</title>
<path fill="none" stroke="black" d="M378.764,-280.497C378.213,-272.783 377.551,-263.512 376.937,-254.912"/>
<polygon fill="black" stroke="black" points="380.425,-254.63 376.222,-244.904 373.443,-255.128 380.425,-254.63"/>
</g>
<!-- 135&#45;&gt;125 -->
<g id="Scheduler_edge13" class="edge"><title>135&#45;&gt;125</title>
<path fill="none" stroke="black" d="M396.562,-280.497C405.368,-271.296 416.293,-259.882 425.722,-250.031"/>
<polygon fill="black" stroke="black" points="428.507,-252.183 432.893,-242.538 423.45,-247.342 428.507,-252.183"/>
</g>
<!-- 141&#45;&gt;124 -->
<g id="Scheduler_edge15" class="edge"><title>141&#45;&gt;124</title>
<path fill="none" stroke="black" d="M414.817,-136.41C416.545,-128.538 418.66,-118.905 420.723,-109.505"/>
<polygon fill="black" stroke="black" points="424.196,-110.008 422.922,-99.49 417.359,-108.507 424.196,-110.008"/>
</g>
<!-- 157 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>157</title>
<ellipse fill="#ffff00" stroke="black" cx="979" cy="-386.8" rx="27" ry="18"/>
<text text-anchor="middle" x="979" y="-382.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 170 -->
<g id="Scheduler/Cycler[4]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>170</title>
<polygon fill="#00ffff" stroke="black" points="1006.15,-316.8 941.854,-316.8 941.854,-280.8 1006.15,-280.8 1006.15,-316.8"/>
<text text-anchor="middle" x="974" y="-294.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 157&#45;&gt;170 -->
<g id="Scheduler_edge16" class="edge"><title>157&#45;&gt;170</title>
<path fill="none" stroke="black" d="M978.012,-368.809C977.325,-356.99 976.394,-340.971 975.601,-327.342"/>
<polygon fill="black" stroke="black" points="979.078,-326.83 975.003,-317.05 972.089,-327.236 979.078,-326.83"/>
</g>
<!-- 158 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>158</title>
<ellipse fill="#ffff00" stroke="black" cx="979" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="979" y="-222.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 176 -->
<g id="Scheduler/Cycler[4]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>176</title>
<polygon fill="#00ffff" stroke="black" points="971.396,-172.8 914.604,-172.8 914.604,-136.8 971.396,-136.8 971.396,-172.8"/>
<text text-anchor="middle" x="943" y="-150.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 158&#45;&gt;176 -->
<g id="Scheduler_edge19" class="edge"><title>158&#45;&gt;176</title>
<path fill="none" stroke="black" d="M970.65,-209.565C966.457,-201.411 961.272,-191.329 956.529,-182.107"/>
<polygon fill="black" stroke="black" points="959.493,-180.216 951.807,-172.924 953.268,-183.418 959.493,-180.216"/>
</g>
<!-- 159 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>159</title>
<ellipse fill="#ffff00" stroke="black" cx="925" cy="-70.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="925" y="-75" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="925" y="-58.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 164 -->
<g id="Scheduler/SuperCycler/Transitions/TransitionPN[4]" class="node"><title>164</title>
<polygon fill="#00ffff" stroke="black" points="780.407,-316.8 723.593,-316.8 723.593,-280.8 780.407,-280.8 780.407,-316.8"/>
<text text-anchor="middle" x="752" y="-294.6" font-family="Times,serif" font-size="14.00">gamma</text>
</g>
<!-- 159&#45;&gt;164 -->
<g id="Scheduler_edge41" class="edge"><title>159&#45;&gt;164</title>
<path fill="none" stroke="black" d="M899.925,-83.0173C877.752,-94.0085 845.787,-112.619 825,-136.8 790.37,-177.085 769.196,-236.498 759.114,-270.755"/>
<polygon fill="black" stroke="black" points="755.703,-269.954 756.338,-280.53 762.437,-271.866 755.703,-269.954"/>
</g>
<!-- 160 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>160</title>
<ellipse fill="#ffff00" stroke="black" cx="907" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="907" y="-222.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 160&#45;&gt;129 -->
<g id="Scheduler_edge38" class="edge"><title>160&#45;&gt;129</title>
<path fill="none" stroke="black" d="M880.441,-230.876C842.312,-235.976 770.442,-248.159 714,-272.8 712.188,-273.591 710.37,-274.472 708.565,-275.418"/>
<polygon fill="black" stroke="black" points="706.613,-272.505 699.738,-280.567 710.14,-278.552 706.613,-272.505"/>
</g>
<!-- 161 -->
<g id="Scheduler/Cycler[4]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>161</title>
<ellipse fill="#ffff00" stroke="black" cx="907" cy="-386.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="907" y="-391" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="907" y="-374.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 161&#45;&gt;164 -->
<g id="Scheduler_edge42" class="edge"><title>161&#45;&gt;164</title>
<path fill="none" stroke="black" d="M880.069,-382.192C854.691,-377.735 816.552,-368.219 789,-348.8 780.335,-342.693 772.818,-333.935 766.865,-325.509"/>
<polygon fill="black" stroke="black" points="769.667,-323.4 761.245,-316.972 763.82,-327.249 769.667,-323.4"/>
</g>
<!-- 170&#45;&gt;158 -->
<g id="Scheduler_edge17" class="edge"><title>170&#45;&gt;158</title>
<path fill="none" stroke="black" d="M975.236,-280.497C975.787,-272.783 976.449,-263.512 977.063,-254.912"/>
<polygon fill="black" stroke="black" points="980.557,-255.128 977.778,-244.904 973.575,-254.63 980.557,-255.128"/>
</g>
<!-- 170&#45;&gt;160 -->
<g id="Scheduler_edge18" class="edge"><title>170&#45;&gt;160</title>
<path fill="none" stroke="black" d="M957.438,-280.497C948.632,-271.296 937.707,-259.882 928.278,-250.031"/>
<polygon fill="black" stroke="black" points="930.55,-247.342 921.107,-242.538 925.493,-252.183 930.55,-247.342"/>
</g>
<!-- 176&#45;&gt;159 -->
<g id="Scheduler_edge20" class="edge"><title>176&#45;&gt;159</title>
<path fill="none" stroke="black" d="M939.183,-136.41C937.455,-128.538 935.34,-118.905 933.277,-109.505"/>
<polygon fill="black" stroke="black" points="936.641,-108.507 931.078,-99.49 929.804,-110.008 936.641,-108.507"/>
</g>
<!-- 192 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;1&#39;]" class="node"><title>192</title>
<ellipse fill="#ffff00" stroke="black" cx="1129" cy="-386.8" rx="27" ry="18"/>
<text text-anchor="middle" x="1129" y="-382.6" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- 205 -->
<g id="Scheduler/Cycler[5]/Transitions/TransitionPN[@roleName=&#39;alphabar&#39;]" class="node"><title>205</title>
<polygon fill="#00ffff" stroke="black" points="1156.15,-316.8 1091.85,-316.8 1091.85,-280.8 1156.15,-280.8 1156.15,-316.8"/>
<text text-anchor="middle" x="1124" y="-294.6" font-family="Times,serif" font-size="14.00">alphabar</text>
</g>
<!-- 192&#45;&gt;205 -->
<g id="Scheduler_edge21" class="edge"><title>192&#45;&gt;205</title>
<path fill="none" stroke="black" d="M1128.01,-368.809C1127.32,-356.99 1126.39,-340.971 1125.6,-327.342"/>
<polygon fill="black" stroke="black" points="1129.08,-326.83 1125,-317.05 1122.09,-327.236 1129.08,-326.83"/>
</g>
<!-- 193 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;2&#39;]" class="node"><title>193</title>
<ellipse fill="#ffff00" stroke="black" cx="1129" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="1129" y="-222.6" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- 211 -->
<g id="Scheduler/Cycler[5]/Transitions/TransitionPN[@roleName=&#39;betabar&#39;]" class="node"><title>211</title>
<polygon fill="#00ffff" stroke="black" points="1121.4,-172.8 1064.6,-172.8 1064.6,-136.8 1121.4,-136.8 1121.4,-172.8"/>
<text text-anchor="middle" x="1093" y="-150.6" font-family="Times,serif" font-size="14.00">betabar</text>
</g>
<!-- 193&#45;&gt;211 -->
<g id="Scheduler_edge24" class="edge"><title>193&#45;&gt;211</title>
<path fill="none" stroke="black" d="M1120.65,-209.565C1116.46,-201.411 1111.27,-191.329 1106.53,-182.107"/>
<polygon fill="black" stroke="black" points="1109.49,-180.216 1101.81,-172.924 1103.27,-183.418 1109.49,-180.216"/>
</g>
<!-- 194 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;3&#39;]" class="node"><title>194</title>
<ellipse fill="#ffff00" stroke="black" cx="1075" cy="-70.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="1075" y="-75" font-family="Times,serif" font-size="14.00">3</text>
<text text-anchor="middle" x="1075" y="-58.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 194&#45;&gt;199 -->
<g id="Scheduler_edge46" class="edge"><title>194&#45;&gt;199</title>
<path fill="none" stroke="black" d="M1051.43,-85.3651C1041.37,-90.7364 1029.36,-96.615 1018,-100.8 953.67,-124.508 916.813,-88.6569 868,-136.8 831.989,-172.317 826.075,-234.721 825.922,-270.511"/>
<polygon fill="black" stroke="black" points="822.424,-270.743 826.033,-280.705 829.424,-270.667 822.424,-270.743"/>
</g>
<!-- 195 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;4&#39;]" class="node"><title>195</title>
<ellipse fill="#ffff00" stroke="black" cx="1057" cy="-226.8" rx="27" ry="18"/>
<text text-anchor="middle" x="1057" y="-222.6" font-family="Times,serif" font-size="14.00">4</text>
</g>
<!-- 195&#45;&gt;164 -->
<g id="Scheduler_edge43" class="edge"><title>195&#45;&gt;164</title>
<path fill="none" stroke="black" d="M1035.95,-238.298C1030.24,-240.775 1023.99,-243.167 1018,-244.8 919.08,-271.79 885.037,-236.877 789,-272.8 786.876,-273.594 784.755,-274.534 782.662,-275.574"/>
<polygon fill="black" stroke="black" points="780.715,-272.656 773.764,-280.651 784.184,-278.736 780.715,-272.656"/>
</g>
<!-- 196 -->
<g id="Scheduler/Cycler[5]/Places/PlacePN[@roleName=&#39;5&#39;]" class="node"><title>196</title>
<ellipse fill="#ffff00" stroke="black" cx="1057" cy="-386.8" rx="27" ry="29.3315"/>
<text text-anchor="middle" x="1057" y="-391" font-family="Times,serif" font-size="14.00">5</text>
<text text-anchor="middle" x="1057" y="-374.2" font-family="Times,serif" font-size="14.00">⬤</text>
</g>
<!-- 196&#45;&gt;199 -->
<g id="Scheduler_edge47" class="edge"><title>196&#45;&gt;199</title>
<path fill="none" stroke="black" d="M1036.46,-367.075C1030.85,-362.968 1024.51,-359.149 1018,-356.8 986.601,-345.469 897.856,-363.729 868,-348.8 857.625,-343.612 848.884,-334.486 842.174,-325.504"/>
<polygon fill="black" stroke="black" points="844.926,-323.329 836.376,-317.071 839.158,-327.294 844.926,-323.329"/>
</g>
<!-- 205&#45;&gt;193 -->
<g id="Scheduler_edge22" class="edge"><title>205&#45;&gt;193</title>
<path fill="none" stroke="black" d="M1125.24,-280.497C1125.79,-272.783 1126.45,-263.512 1127.06,-254.912"/>
<polygon fill="black" stroke="black" points="1130.56,-255.128 1127.78,-244.904 1123.57,-254.63 1130.56,-255.128"/>
</g>
<!-- 205&#45;&gt;195 -->
<g id="Scheduler_edge23" class="edge"><title>205&#45;&gt;195</title>
<path fill="none" stroke="black" d="M1107.44,-280.497C1098.63,-271.296 1087.71,-259.882 1078.28,-250.031"/>
<polygon fill="black" stroke="black" points="1080.55,-247.342 1071.11,-242.538 1075.49,-252.183 1080.55,-247.342"/>
</g>
<!-- 211&#45;&gt;194 -->
<g id="Scheduler_edge25" class="edge"><title>211&#45;&gt;194</title>
<path fill="none" stroke="black" d="M1089.18,-136.41C1087.45,-128.538 1085.34,-118.905 1083.28,-109.505"/>
<polygon fill="black" stroke="black" points="1086.64,-108.507 1081.08,-99.49 1079.8,-110.008 1086.64,-108.507"/>
</g>
<!-- 59&#45;&gt;53 -->
<g id="Scheduler_edge29" class="edge"><title>59&#45;&gt;53</title>
<path fill="none" stroke="black" d="M517.696,-317.219C510.64,-328.463 499.804,-342.185 486,-348.8 445.21,-368.346 121.506,-341.338 79,-356.8 76.2424,-357.803 73.5382,-359.111 70.9283,-360.617"/>
<polygon fill="black" stroke="black" points="68.7952,-357.834 62.4781,-366.34 72.7205,-363.63 68.7952,-357.834"/>
</g>
<!-- 59&#45;&gt;91 -->
<g id="Scheduler_edge30" class="edge"><title>59&#45;&gt;91</title>
<path fill="none" stroke="black" d="M517.624,-317.071C510.535,-328.25 499.691,-341.954 486,-348.8 456.144,-363.729 368.572,-349.498 336,-356.8 323.414,-359.622 310.186,-364.46 298.604,-369.386"/>
<polygon fill="black" stroke="black" points="297.039,-366.251 289.313,-373.501 299.874,-372.651 297.039,-366.251"/>
</g>
<!-- 94&#45;&gt;87 -->
<g id="Scheduler_edge34" class="edge"><title>94&#45;&gt;87</title>
<path fill="none" stroke="black" d="M593.675,-317.167C587.268,-328.389 577.262,-342.105 564,-348.8 530.763,-365.58 263.963,-343.998 229,-356.8 223.948,-358.65 219.074,-361.519 214.63,-364.747"/>
<polygon fill="black" stroke="black" points="212.224,-362.193 206.683,-371.223 216.646,-367.62 212.224,-362.193"/>
</g>
<!-- 94&#45;&gt;126 -->
<g id="Scheduler_edge35" class="edge"><title>94&#45;&gt;126</title>
<path fill="none" stroke="black" d="M592.398,-316.958C585.691,-327.512 575.834,-340.551 564,-348.8 539.991,-365.535 508.057,-374.964 483.619,-380.109"/>
<polygon fill="black" stroke="black" points="482.79,-376.705 473.649,-382.06 484.135,-383.574 482.79,-376.705"/>
</g>
<!-- 129&#45;&gt;122 -->
<g id="Scheduler_edge39" class="edge"><title>129&#45;&gt;122</title>
<path fill="none" stroke="black" d="M668.651,-317.12C662.233,-328.321 652.224,-342.031 639,-348.8 616.436,-360.351 434.754,-347.951 411,-356.8 405.959,-358.678 401.089,-361.561 396.647,-364.793"/>
<polygon fill="black" stroke="black" points="394.241,-362.239 388.699,-371.269 398.663,-367.666 394.241,-362.239"/>
</g>
<!-- 129&#45;&gt;161 -->
<g id="Scheduler_edge40" class="edge"><title>129&#45;&gt;161</title>
<path fill="none" stroke="black" d="M685.655,-316.956C692.019,-327.789 701.692,-341.14 714,-348.8 761.962,-378.651 828.625,-385.366 869.731,-386.385"/>
<polygon fill="black" stroke="black" points="869.805,-389.886 879.855,-386.533 869.907,-382.887 869.805,-389.886"/>
</g>
<!-- 164&#45;&gt;157 -->
<g id="Scheduler_edge44" class="edge"><title>164&#45;&gt;157</title>
<path fill="none" stroke="black" d="M760.054,-317.039C766.27,-328.203 776.006,-341.903 789,-348.8 819.269,-364.866 910.989,-344.568 943,-356.8 947.934,-358.685 952.71,-361.518 957.084,-364.686"/>
<polygon fill="black" stroke="black" points="954.957,-367.467 964.934,-371.032 959.357,-362.023 954.957,-367.467"/>
</g>
<!-- 164&#45;&gt;196 -->
<g id="Scheduler_edge45" class="edge"><title>164&#45;&gt;196</title>
<path fill="none" stroke="black" d="M760.017,-317.109C766.216,-328.305 775.948,-342.014 789,-348.8 811.589,-360.545 993.973,-348.378 1018,-356.8 1021.37,-357.98 1024.69,-359.562 1027.88,-361.379"/>
<polygon fill="black" stroke="black" points="1026.2,-364.463 1036.49,-366.992 1030.02,-358.599 1026.2,-364.463"/>
</g>
<!-- 199&#45;&gt;57 -->
<g id="Scheduler_edge50" class="edge"><title>199&#45;&gt;57</title>
<path fill="none" stroke="black" d="M818.699,-317.215C812.303,-328.458 802.299,-342.18 789,-348.8 757.416,-364.522 187.422,-345.501 154,-356.8 148.265,-358.739 142.681,-361.869 137.614,-365.37"/>
<polygon fill="black" stroke="black" points="135.457,-362.613 129.639,-371.468 139.709,-368.174 135.457,-362.613"/>
</g>
<!-- 199&#45;&gt;192 -->
<g id="Scheduler_edge49" class="edge"><title>199&#45;&gt;192</title>
<path fill="none" stroke="black" d="M836.338,-317.149C843.409,-328.362 854.249,-342.076 868,-348.8 890.473,-359.789 1069.56,-348.062 1093,-356.8 1098.04,-358.679 1102.91,-361.562 1107.35,-364.795"/>
<polygon fill="black" stroke="black" points="1105.34,-367.668 1115.3,-371.271 1109.76,-362.241 1105.34,-367.668"/>
</g>
</g>
</svg>
]]></Attribute_String><Attribute_String roleName="setup">${MODELNAME_DEFAULT},${SVGURI_DEFAULT}</Attribute_String></SvgClient>
</XholonWorkbook>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.