chapters/appendix/img/model-based-testing/exercises/generic_transition_tree.svg

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="341px" height="331px" viewBox="-0.5 -0.5 341 331" content="&lt;mxfile host=&quot;Electron&quot; modified=&quot;2019-09-30T07:46:25.136Z&quot; agent=&quot;Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/11.3.0 Chrome/76.0.3809.139 Electron/6.0.7 Safari/537.36&quot; version=&quot;11.3.0&quot; etag=&quot;HzRGCj3N-Q97HMoN7l74&quot; type=&quot;device&quot; pages=&quot;1&quot;&gt;&lt;diagram id=&quot;JsltdGzSVym4bYgcCPRi&quot;&gt;1VjBkpswDP0arh2MoWSvzabtoT3l0O6p4wkuuAOIcUyAfn1NkAMek8522wV6YdCTZFvPkozx6L5oP0hWZZ8h4bkX+Enr0UcvCGIa6WcPdAOwo/4ApFIkA0RG4Ch+cgSNWS0SfrYMFUCuRGWDJyhLflIWxqSExjb7Drk9a8VS7gDHE8td9ItIVIZRRP6If+QizczMxEdNwYwxAueMJdBMIHrw6F4CqOGtaPc877kzvAx+7+9obwuTvFTPcQgGhwvLa4wN16U6EyxPdOwoglQZpFCy/DCi7yTUZcL7EX0tjTafACoNEg3+4Ep1uJGsVqChTBU5aoc5+4msMM5QyxNCFLeZyZRjZLEbLLlRqFOPQ8GV7LSJ5DlT4mKPzjAJ0pvdyJN+QarmaaMObUfyzXeoG4npo2wyofixYteQGl0YcyRcuFS8vbubdwJEBxrjGrCuggeUm0mWIpRNEjT0/56S8H/JpNjNpN16mRT9JmleyAFvhfrau7/Row/i00T12OLQV6EzQqkXPnhFRnya6ka3q2T8XkY4oesx/vY1GY83y/jzm8k/Zzx2u2WwwW5Jd8t1y90cJWRzlIQLUvLwZwdICeVSJ4apHauegvXqibi18xrMbK2rzW5DuOI2ELeI6Qb6WrhiEZuysL+M3UpenBNicxItycnsbWH9Zh+smSfudUEfgOvnSUQXyxMtjvf8q27ys4QefgE=&lt;/diagram&gt;&lt;/mxfile&gt;"><defs/><g><path d="M 140 40 L 140 83.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 140 88.88 L 136.5 81.88 L 140 83.63 L 143.5 81.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><rect x="100" y="0" width="80" height="40" rx="6" ry="6" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(125.5,13.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="28" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 30px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;white-space:normal;">S1_0</div></div></foreignObject><text x="14" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">S1_0</text></switch></g><path d="M 140 130 L 140 183.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 140 188.88 L 136.5 181.88 L 140 183.63 L 143.5 181.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 120 130 L 45.09 186.18" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 40.89 189.33 L 44.39 182.33 L 45.09 186.18 L 48.59 187.93 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 160 130 L 234.91 186.18" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 239.11 189.33 L 231.41 187.93 L 234.91 186.18 L 235.61 182.33 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><rect x="100" y="90" width="80" height="40" rx="6" ry="6" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(125.5,103.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="28" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 30px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;white-space:normal;">S2_0</div></div></foreignObject><text x="14" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">S2_0</text></switch></g><rect x="100" y="190" width="80" height="40" rx="6" ry="6" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(125.5,203.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="28" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 30px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;white-space:normal;">S2_1</div></div></foreignObject><text x="14" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">S2_1</text></switch></g><path d="M 228 230 L 195.28 284.54" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 192.58 289.04 L 193.18 281.24 L 195.28 284.54 L 199.18 284.84 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 260 230 L 296.47 284.7" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 299.38 289.07 L 292.58 285.19 L 296.47 284.7 L 298.41 281.3 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><rect x="200" y="190" width="80" height="40" rx="6" ry="6" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(225.5,203.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="28" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 30px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;white-space:normal;">S3_0</div></div></foreignObject><text x="14" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">S3_0</text></switch></g><rect x="140" y="290" width="80" height="40" rx="6" ry="6" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(165.5,303.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="28" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 30px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;white-space:normal;">S1_2</div></div></foreignObject><text x="14" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">S1_2</text></switch></g><rect x="0" y="190" width="80" height="40" rx="6" ry="6" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(25.5,203.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="28" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 30px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;white-space:normal;">S1_1</div></div></foreignObject><text x="14" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">S1_1</text></switch></g><rect x="260" y="290" width="80" height="40" rx="6" ry="6" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(285.5,303.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="28" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 30px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;white-space:normal;">S2_2</div></div></foreignObject><text x="14" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">S2_2</text></switch></g></g></svg>