Last active
July 4, 2019 15:22
-
-
Save kenwebb/8ddfd251c317e2dfcb8fc22bd5e70d6f to your computer and use it in GitHub Desktop.
CCS Scheduler as Petri Net
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?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='1']" 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='alphabar']" 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->65 --> | |
<g id="Scheduler_edge4" class="edge"><title>53->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='2']" 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='betabar']" 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->71 --> | |
<g id="Scheduler_edge7" class="edge"><title>54->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='3']" 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='gamma']" 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->59 --> | |
<g id="Scheduler_edge1" class="edge"><title>55->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='4']" 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='delta']" 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->76 --> | |
<g id="Scheduler_edge9" class="edge"><title>56->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='5']" 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->59 --> | |
<g id="Scheduler_edge2" class="edge"><title>57->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->53 --> | |
<g id="Scheduler_edge3" class="edge"><title>59->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->54 --> | |
<g id="Scheduler_edge5" class="edge"><title>65->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->56 --> | |
<g id="Scheduler_edge6" class="edge"><title>65->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->55 --> | |
<g id="Scheduler_edge8" class="edge"><title>71->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->57 --> | |
<g id="Scheduler_edge10" class="edge"><title>76->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='1']" 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='alphabar']" 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->100 --> | |
<g id="Scheduler_edge14" class="edge"><title>87->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='2']" 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='betabar']" 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->106 --> | |
<g id="Scheduler_edge17" class="edge"><title>88->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='3']" 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='gamma']" 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->94 --> | |
<g id="Scheduler_edge11" class="edge"><title>89->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='4']" 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='delta']" 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->111 --> | |
<g id="Scheduler_edge19" class="edge"><title>90->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='5']" 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->94 --> | |
<g id="Scheduler_edge12" class="edge"><title>91->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->87 --> | |
<g id="Scheduler_edge13" class="edge"><title>94->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->88 --> | |
<g id="Scheduler_edge15" class="edge"><title>100->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->90 --> | |
<g id="Scheduler_edge16" class="edge"><title>100->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->89 --> | |
<g id="Scheduler_edge18" class="edge"><title>106->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->91 --> | |
<g id="Scheduler_edge20" class="edge"><title>111->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='1']" 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='alphabar']" 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->135 --> | |
<g id="Scheduler_edge24" class="edge"><title>122->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='2']" 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='betabar']" 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->141 --> | |
<g id="Scheduler_edge27" class="edge"><title>123->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='3']" 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='gamma']" 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->129 --> | |
<g id="Scheduler_edge21" class="edge"><title>124->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='4']" 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='delta']" 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->146 --> | |
<g id="Scheduler_edge29" class="edge"><title>125->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='5']" 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->129 --> | |
<g id="Scheduler_edge22" class="edge"><title>126->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->122 --> | |
<g id="Scheduler_edge23" class="edge"><title>129->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->123 --> | |
<g id="Scheduler_edge25" class="edge"><title>135->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->125 --> | |
<g id="Scheduler_edge26" class="edge"><title>135->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->124 --> | |
<g id="Scheduler_edge28" class="edge"><title>141->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->126 --> | |
<g id="Scheduler_edge30" class="edge"><title>146->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='1']" 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='alphabar']" 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->170 --> | |
<g id="Scheduler_edge34" class="edge"><title>157->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='2']" 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='betabar']" 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->176 --> | |
<g id="Scheduler_edge37" class="edge"><title>158->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='3']" 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='gamma']" 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->164 --> | |
<g id="Scheduler_edge31" class="edge"><title>159->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='4']" 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='delta']" 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->181 --> | |
<g id="Scheduler_edge39" class="edge"><title>160->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='5']" 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->164 --> | |
<g id="Scheduler_edge32" class="edge"><title>161->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->157 --> | |
<g id="Scheduler_edge33" class="edge"><title>164->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->158 --> | |
<g id="Scheduler_edge35" class="edge"><title>170->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->160 --> | |
<g id="Scheduler_edge36" class="edge"><title>170->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->159 --> | |
<g id="Scheduler_edge38" class="edge"><title>176->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->161 --> | |
<g id="Scheduler_edge40" class="edge"><title>181->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='1']" 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='alphabar']" 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->205 --> | |
<g id="Scheduler_edge44" class="edge"><title>192->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='2']" 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='betabar']" 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->211 --> | |
<g id="Scheduler_edge47" class="edge"><title>193->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='3']" 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='gamma']" 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->199 --> | |
<g id="Scheduler_edge41" class="edge"><title>194->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='4']" 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='delta']" 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->216 --> | |
<g id="Scheduler_edge49" class="edge"><title>195->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='5']" 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->199 --> | |
<g id="Scheduler_edge42" class="edge"><title>196->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->192 --> | |
<g id="Scheduler_edge43" class="edge"><title>199->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->193 --> | |
<g id="Scheduler_edge45" class="edge"><title>205->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->195 --> | |
<g id="Scheduler_edge46" class="edge"><title>205->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->194 --> | |
<g id="Scheduler_edge48" class="edge"><title>211->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->196 --> | |
<g id="Scheduler_edge50" class="edge"><title>216->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='1']" 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='alphabar']" 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->65 --> | |
<g id="Scheduler_edge1" class="edge"><title>53->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='2']" 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='betabar']" 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->71 --> | |
<g id="Scheduler_edge4" class="edge"><title>54->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='3']" 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->59 --> | |
<g id="Scheduler_edge26" class="edge"><title>55->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='4']" 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->199 --> | |
<g id="Scheduler_edge48" class="edge"><title>56->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='5']" 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->59 --> | |
<g id="Scheduler_edge27" class="edge"><title>57->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->54 --> | |
<g id="Scheduler_edge2" class="edge"><title>65->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->56 --> | |
<g id="Scheduler_edge3" class="edge"><title>65->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->55 --> | |
<g id="Scheduler_edge5" class="edge"><title>71->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='1']" 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='alphabar']" 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->100 --> | |
<g id="Scheduler_edge6" class="edge"><title>87->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='2']" 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='betabar']" 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->106 --> | |
<g id="Scheduler_edge9" class="edge"><title>88->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='3']" 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->94 --> | |
<g id="Scheduler_edge31" class="edge"><title>89->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='4']" 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->59 --> | |
<g id="Scheduler_edge28" class="edge"><title>90->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='5']" 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->94 --> | |
<g id="Scheduler_edge32" class="edge"><title>91->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->88 --> | |
<g id="Scheduler_edge7" class="edge"><title>100->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->90 --> | |
<g id="Scheduler_edge8" class="edge"><title>100->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->89 --> | |
<g id="Scheduler_edge10" class="edge"><title>106->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='1']" 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='alphabar']" 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->135 --> | |
<g id="Scheduler_edge11" class="edge"><title>122->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='2']" 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='betabar']" 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->141 --> | |
<g id="Scheduler_edge14" class="edge"><title>123->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='3']" 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->129 --> | |
<g id="Scheduler_edge36" class="edge"><title>124->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='4']" 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->94 --> | |
<g id="Scheduler_edge33" class="edge"><title>125->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='5']" 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->129 --> | |
<g id="Scheduler_edge37" class="edge"><title>126->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->123 --> | |
<g id="Scheduler_edge12" class="edge"><title>135->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->125 --> | |
<g id="Scheduler_edge13" class="edge"><title>135->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->124 --> | |
<g id="Scheduler_edge15" class="edge"><title>141->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='1']" 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='alphabar']" 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->170 --> | |
<g id="Scheduler_edge16" class="edge"><title>157->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='2']" 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='betabar']" 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->176 --> | |
<g id="Scheduler_edge19" class="edge"><title>158->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='3']" 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->164 --> | |
<g id="Scheduler_edge41" class="edge"><title>159->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='4']" 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->129 --> | |
<g id="Scheduler_edge38" class="edge"><title>160->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='5']" 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->164 --> | |
<g id="Scheduler_edge42" class="edge"><title>161->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->158 --> | |
<g id="Scheduler_edge17" class="edge"><title>170->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->160 --> | |
<g id="Scheduler_edge18" class="edge"><title>170->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->159 --> | |
<g id="Scheduler_edge20" class="edge"><title>176->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='1']" 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='alphabar']" 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->205 --> | |
<g id="Scheduler_edge21" class="edge"><title>192->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='2']" 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='betabar']" 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->211 --> | |
<g id="Scheduler_edge24" class="edge"><title>193->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='3']" 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->199 --> | |
<g id="Scheduler_edge46" class="edge"><title>194->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='4']" 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->164 --> | |
<g id="Scheduler_edge43" class="edge"><title>195->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='5']" 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->199 --> | |
<g id="Scheduler_edge47" class="edge"><title>196->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->193 --> | |
<g id="Scheduler_edge22" class="edge"><title>205->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->195 --> | |
<g id="Scheduler_edge23" class="edge"><title>205->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->194 --> | |
<g id="Scheduler_edge25" class="edge"><title>211->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->53 --> | |
<g id="Scheduler_edge29" class="edge"><title>59->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->91 --> | |
<g id="Scheduler_edge30" class="edge"><title>59->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->87 --> | |
<g id="Scheduler_edge34" class="edge"><title>94->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->126 --> | |
<g id="Scheduler_edge35" class="edge"><title>94->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->122 --> | |
<g id="Scheduler_edge39" class="edge"><title>129->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->161 --> | |
<g id="Scheduler_edge40" class="edge"><title>129->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->157 --> | |
<g id="Scheduler_edge44" class="edge"><title>164->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->196 --> | |
<g id="Scheduler_edge45" class="edge"><title>164->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->57 --> | |
<g id="Scheduler_edge50" class="edge"><title>199->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->192 --> | |
<g id="Scheduler_edge49" class="edge"><title>199->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