Modeling a Heterogeneous Embedded System in Coloured Petri Nets

<table class="table-group" id="tab3"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td align="left">  Function </td><td align="center"> Type </td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td align="left"><sans-serif>isStale </sans-serif></td><td align="center"><span style="width: 148.4875px;"><svg height="11.9" id="M267" style="vertical-align:-0.13794pt" version="1.1" viewbox="0 0 148.4875 11.9" width="148.4875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.55)"><path d="M649 676l-22 -187l-33 -2q3 56 -12 94q-8 20 -31.5 26.5t-86.5 6.5h-74l-90 -491q-4 -23 -6 -36.5t1 -25t7 -16.5t18 -9t27 -5t41 -3l-6 -28h-286l4 28q68 5 84 18.5t28 76.5l94 491h-55q-74 0 -100.5 -6t-41.5 -23q-24 -29 -54 -98l-32 1q32 98 53 188h22q7 -18 15 -22
t37 -4h417q23 0 33.5 5t25.5 21h23z" id="x1D447"></path></g><g transform="matrix(.017,-0,0,-.017,11.384,11.55)"><path d="M393 379q-9 -16 -28 -29q-15 -10 -23 -2q-19 19 -36 19q-21 0 -52 -38q-57 -72 -82 -126l-40 -197q-23 -3 -75 -18l-7 7q49 196 74 335q7 43 -2 43q-7 0 -30 -14.5t-47 -37.5l-16 23q37 42 82 73t67 31q41 0 15 -113l-11 -50h4q41 71 85 117t77 46q29 0 45 -26
q13 -21 0 -43z" id="x1D45F"></path></g><g transform="matrix(.017,-0,0,-.017,18.557,11.55)"><path d="M483 97q-42 -50 -88.5 -79.5t-68.5 -29.5q-37 0 -17 93l22 102h-2q-54 -79 -144 -149q-59 -46 -100 -46q-24 0 -43 29t-19 86q0 78 34.5 153t94.5 120q41 31 94 51.5t98 20.5q29 0 72 -9q26 -6 39 -6l2 -4q-30 -117 -67 -323q-8 -41 2 -41q16 0 79 58zM374 387
q-32 15 -73 15q-52 0 -83 -23q-48 -36 -78 -108.5t-30 -152.5q0 -33 8.5 -50.5t20.5 -17.5q31 0 107 79t99 132q15 40 29 126z" id="x1D44E"></path></g><g transform="matrix(.017,-0,0,-.017,27.159,11.55)"><path d="M495 86q-46 -47 -87 -72.5t-63 -25.5q-43 0 -16 107l49 210q7 34 8 50.5t-3 21t-13 4.5q-35 0 -109.5 -72.5t-115.5 -140.5q-21 -75 -38 -159q-50 -10 -76 -21l-6 8l84 340q8 35 -4 35q-17 0 -67 -46l-15 26q44 44 85.5 70.5t64.5 26.5q35 0 10 -103l-24 -98h2
q42 56 97 103.5t96 71.5q46 26 74 26q9 0 16 -2.5t14 -11.5t9.5 -24.5t-1 -44t-13.5 -68.5q-30 -117 -47 -200q-4 -19 -3.5 -25t6.5 -6q21 0 70 48z" id="x1D45B"></path></g><g transform="matrix(.017,-0,0,-.017,35.692,11.55)"><path d="M352 391q0 -31 -27 -44q-14 -7 -24 6q-39 48 -84 48q-23 0 -39.5 -15t-16.5 -40q0 -43 73 -90q49 -32 70 -58t21 -57q0 -58 -62 -105.5t-129 -47.5q-40 0 -75.5 25t-35.5 52q0 28 32 46q7 4 15 3t11 -6q19 -31 48.5 -50.5t54.5 -19.5q34 0 54 19.5t20 42.5q0 43 -65 81
q-97 56 -97 123q0 50 51 96q19 17 58 32.5t62 15.5q37 0 61 -18t24 -39z" id="x1D460"></path></g><g transform="matrix(.017,-0,0,-.017,42.066,11.55)"><path d="M244 607q0 -25 -15.5 -43t-37.5 -18q-19 0 -32 13t-13 35q0 21 15 41t39 20q20 0 32 -14t12 -34zM222 91q-29 -33 -79 -68t-75 -35q-13 0 -19 7.5t-6 31t10 65.5l62 253q5 26 -1 26q-21 0 -72 -43l-13 24q43 40 91 68t71 28q30 0 10 -78l-71 -274q-8 -30 3 -30
q16 0 76 48z" id="x1D456"></path></g><g transform="matrix(.017,-0,0,-.017,46.707,11.55)"><path d="M324 430l-26 -36l-112 -4l-55 -265q-13 -66 7 -66q13 0 44.5 20t50.5 40l17 -24q-38 -40 -85.5 -73.5t-87.5 -33.5q-50 0 -21 138l55 262h-80l-2 8l25 34h66l25 99l78 63l10 -9l-37 -153h128z" id="x1D461"></path></g><g transform="matrix(.017,-0,0,-.017,52.504,11.55)"><path d="M244 607q0 -25 -15.5 -43t-37.5 -18q-19 0 -32 13t-13 35q0 21 15 41t39 20q20 0 32 -14t12 -34zM222 91q-29 -33 -79 -68t-75 -35q-13 0 -19 7.5t-6 31t10 65.5l62 253q5 26 -1 26q-21 0 -72 -43l-13 24q43 40 91 68t71 28q30 0 10 -78l-71 -274q-8 -30 3 -30
q16 0 76 48z" id="x1D456"></path></g><g transform="matrix(.017,-0,0,-.017,57.144,11.55)"><path d="M445 282q0 -64 -27.5 -125t-80.5 -104q-80 -65 -168 -65q-73 0 -109.5 46.5t-36.5 116.5q0 92 46.5 163t119.5 104q66 30 108 30q67 0 107.5 -43.5t40.5 -122.5zM355 280q0 62 -26.5 94.5t-64.5 32.5q-26 0 -44 -8q-39 -18 -74 -82t-35 -163q0 -57 25.5 -90.5t70.5 -33.5
q22 0 36 6q46 20 79 89t33 155z" id="x1D45C"></path></g><g transform="matrix(.017,-0,0,-.017,65.1,11.55)"><path d="M495 86q-46 -47 -87 -72.5t-63 -25.5q-43 0 -16 107l49 210q7 34 8 50.5t-3 21t-13 4.5q-35 0 -109.5 -72.5t-115.5 -140.5q-21 -75 -38 -159q-50 -10 -76 -21l-6 8l84 340q8 35 -4 35q-17 0 -67 -46l-15 26q44 44 85.5 70.5t64.5 26.5q35 0 10 -103l-24 -98h2
q42 56 97 103.5t96 71.5q46 26 74 26q9 0 16 -2.5t14 -11.5t9.5 -24.5t-1 -44t-13.5 -68.5q-30 -117 -47 -200q-4 -19 -3.5 -25t6.5 -6q21 0 70 48z" id="x1D45B"></path></g><g transform="matrix(.017,-0,0,-.017,81.181,11.55)"><path d="M901 255q-71 -62 -185 -187l-22 15l102 147h-727v50h727l-102 147l22 15q114 -125 185 -187z" id="x2192"></path></g><g transform="matrix(.017,-0,0,-.017,102.123,11.55)"><path d="M594 511q0 -122 -171 -157l1 -2q158 -33 158 -159q0 -52 -34.5 -95t-90.5 -65q-76 -33 -217 -33h-223l8 28q63 5 79.5 19t26.5 72l83 426q9 48 -2.5 60t-77.5 17l6 28h259q195 0 195 -139zM499 509q0 59 -37 83t-91 24q-36 0 -51 -9q-17 -9 -22 -44l-35 -195h62
q82 0 128 37t46 104zM481 199q0 71 -48 102.5t-121 31.5h-56l-37 -201q-11 -58 7.5 -77t80.5 -19q76 0 125 44.5t49 118.5z" id="x1D435"></path></g><g transform="matrix(.017,-0,0,-.017,112.611,11.55)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,125.666,11.55)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,138.721,11.55)"><path d="M559 163q-23 -66 -68 -163h-474l6 26q62 4 79.5 19.5t28.5 75.5l78 409q7 35 8.5 49t-8 25t-24 13t-51.5 5l5 28h266l-6 -28q-65 -5 -79.5 -18t-25.5 -74l-76 -406q-10 -57 14 -75q12 -13 96 -13q93 0 126 29q41 40 76 109z" id="x1D43F"></path></g>
</svg></span></td></tr><tr><td align="left"><sans-serif>myASKCTLformula </sans-serif></td><td align="center"><span style="width: 114.2125px;"><svg height="12.5125" id="M268" style="vertical-align:-0.15048pt" version="1.1" viewbox="0 0 114.2125 12.5125" width="114.2125" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M857 650l-6 -28q-44 -4 -61.5 -16.5t-29.5 -48.5q-11 -32 -37 -166l-78 -399h-29l-351 537h-4l-56 -276q-24 -120 -24 -164q0 -35 17.5 -46t75.5 -15l-6 -28h-245l7 28q41 2 62 14t31 44q10 30 41 171l53 245q8 44 6.5 60.5t-14.5 33.5q-10 15 -27 19.5t-64 6.5l6 28h153
l350 -516h5l48 257q25 131 25 171q0 34 -17.5 45t-77.5 15l7 28h240z" id="x1D441"></path></g><g transform="matrix(.017,-0,0,-.017,14.919,12.162)"><path d="M445 282q0 -64 -27.5 -125t-80.5 -104q-80 -65 -168 -65q-73 0 -109.5 46.5t-36.5 116.5q0 92 46.5 163t119.5 104q66 30 108 30q67 0 107.5 -43.5t40.5 -122.5zM355 280q0 62 -26.5 94.5t-64.5 32.5q-26 0 -44 -8q-39 -18 -74 -82t-35 -163q0 -57 25.5 -90.5t70.5 -33.5
q22 0 36 6q46 20 79 89t33 155z" id="x1D45C"></path></g><g transform="matrix(.017,-0,0,-.017,22.875,12.162)"><path d="M530 686q-79 -330 -126 -595q-5 -24 4 -24q22 0 77 53l16 -24q-42 -49 -88 -78.5t-72 -29.5q-37 0 -19 83l21 99h-2q-62 -83 -153 -141q-65 -41 -97 -41q-28 0 -48 31.5t-20 91.5q0 71 32.5 144t88.5 118q36 30 94 52.5t94 22.5q38 0 68 -13l29 158q7 40 2 47.5t-38 7.5
h-35l1 26q39 4 76 13.5t58.5 17t27.5 7.5q16 0 9 -26zM387 375q-11 11 -38.5 20t-51.5 9q-45 0 -79 -23q-46 -32 -77.5 -107.5t-31.5 -143.5q0 -40 9.5 -58.5t23.5 -18.5q40 0 113.5 70t99.5 118z" id="x1D451"></path></g><g transform="matrix(.017,-0,0,-.017,32.309,12.162)"><path d="M391 364q0 -28 -20.5 -53.5t-50 -43.5t-70 -34t-73.5 -25t-68 -17v-29q0 -48 20 -81t65 -33q73 0 157 76l16 -23q-107 -113 -221 -113q-21 0 -40.5 6.5t-39 22t-31.5 47t-12 75.5q0 69 33.5 139.5t95.5 114.5q77 55 143 55q42 0 69 -24.5t27 -59.5zM313 350
q0 26 -14.5 40.5t-37.5 14.5q-32 0 -44 -7q-82 -46 -104 -175q200 49 200 127z" id="x1D452"></path></g><g transform="matrix(.017,-0,0,-.017,46.894,12.162)"><path d="M901 255q-71 -62 -185 -187l-22 15l102 147h-727v50h727l-102 147l22 15q114 -125 185 -187z" id="x2192"></path></g><g transform="matrix(.017,-0,0,-.017,67.837,12.162)"><path d="M594 511q0 -122 -171 -157l1 -2q158 -33 158 -159q0 -52 -34.5 -95t-90.5 -65q-76 -33 -217 -33h-223l8 28q63 5 79.5 19t26.5 72l83 426q9 48 -2.5 60t-77.5 17l6 28h259q195 0 195 -139zM499 509q0 59 -37 83t-91 24q-36 0 -51 -9q-17 -9 -22 -44l-35 -195h62
q82 0 128 37t46 104zM481 199q0 71 -48 102.5t-121 31.5h-56l-37 -201q-11 -58 7.5 -77t80.5 -19q76 0 125 44.5t49 118.5z" id="x1D435"></path></g><g transform="matrix(.017,-0,0,-.017,78.325,12.162)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,91.38,12.162)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,104.435,12.162)"><path d="M559 163q-23 -66 -68 -163h-474l6 26q62 4 79.5 19.5t28.5 75.5l78 409q7 35 8.5 49t-8 25t-24 13t-51.5 5l5 28h266l-6 -28q-65 -5 -79.5 -18t-25.5 -74l-76 -406q-10 -57 14 -75q12 -13 96 -13q93 0 126 29q41 40 76 109z" id="x1D43F"></path></g>
</svg></span></td></tr><tr><td align="left"><sans-serif>eval_node </sans-serif></td><td align="center"><span style="width: 200.7625px;"><svg height="15.1125" id="M269" style="vertical-align:-2.21957pt" version="1.1" viewbox="0 0 200.7625 15.1125" width="200.7625" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,12.162)"><path d="M300 -147l-18 -23q-106 71 -159 185.5t-53 254.5v1q0 139 53 252.5t159 186.5l18 -24q-74 -62 -115.5 -173.5t-41.5 -242.5q0 -130 41.5 -242.5t115.5 -174.5z" id="x28"></path></g><g transform="matrix(.017,-0,0,-.017,5.944,12.162)"><path d="M857 650l-6 -28q-44 -4 -61.5 -16.5t-29.5 -48.5q-11 -32 -37 -166l-78 -399h-29l-351 537h-4l-56 -276q-24 -120 -24 -164q0 -35 17.5 -46t75.5 -15l-6 -28h-245l7 28q41 2 62 14t31 44q10 30 41 171l53 245q8 44 6.5 60.5t-14.5 33.5q-10 15 -27 19.5t-64 6.5l6 28h153
l350 -516h5l48 257q25 131 25 171q0 34 -17.5 45t-77.5 15l7 28h240z" id="x1D441"></path></g><g transform="matrix(.017,-0,0,-.017,20.801,12.162)"><path d="M445 282q0 -64 -27.5 -125t-80.5 -104q-80 -65 -168 -65q-73 0 -109.5 46.5t-36.5 116.5q0 92 46.5 163t119.5 104q66 30 108 30q67 0 107.5 -43.5t40.5 -122.5zM355 280q0 62 -26.5 94.5t-64.5 32.5q-26 0 -44 -8q-39 -18 -74 -82t-35 -163q0 -57 25.5 -90.5t70.5 -33.5
q22 0 36 6q46 20 79 89t33 155z" id="x1D45C"></path></g><g transform="matrix(.017,-0,0,-.017,28.756,12.162)"><path d="M530 686q-79 -330 -126 -595q-5 -24 4 -24q22 0 77 53l16 -24q-42 -49 -88 -78.5t-72 -29.5q-37 0 -19 83l21 99h-2q-62 -83 -153 -141q-65 -41 -97 -41q-28 0 -48 31.5t-20 91.5q0 71 32.5 144t88.5 118q36 30 94 52.5t94 22.5q38 0 68 -13l29 158q7 40 2 47.5t-38 7.5
h-35l1 26q39 4 76 13.5t58.5 17t27.5 7.5q16 0 9 -26zM387 375q-11 11 -38.5 20t-51.5 9q-45 0 -79 -23q-46 -32 -77.5 -107.5t-31.5 -143.5q0 -40 9.5 -58.5t23.5 -18.5q40 0 113.5 70t99.5 118z" id="x1D451"></path></g><g transform="matrix(.017,-0,0,-.017,38.191,12.162)"><path d="M391 364q0 -28 -20.5 -53.5t-50 -43.5t-70 -34t-73.5 -25t-68 -17v-29q0 -48 20 -81t65 -33q73 0 157 76l16 -23q-107 -113 -221 -113q-21 0 -40.5 6.5t-39 22t-31.5 47t-12 75.5q0 69 33.5 139.5t95.5 114.5q77 55 143 55q42 0 69 -24.5t27 -59.5zM313 350
q0 26 -14.5 40.5t-37.5 14.5q-32 0 -44 -7q-82 -46 -104 -175q200 49 200 127z" id="x1D452"></path></g><g transform="matrix(.017,-0,0,-.017,52.776,12.162)"><path d="M901 255q-71 -62 -185 -187l-22 15l102 147h-727v50h727l-102 147l22 15q114 -125 185 -187z" id="x2192"></path></g><g transform="matrix(.017,-0,0,-.017,73.718,12.162)"><path d="M594 511q0 -122 -171 -157l1 -2q158 -33 158 -159q0 -52 -34.5 -95t-90.5 -65q-76 -33 -217 -33h-223l8 28q63 5 79.5 19t26.5 72l83 426q9 48 -2.5 60t-77.5 17l6 28h259q195 0 195 -139zM499 509q0 59 -37 83t-91 24q-36 0 -51 -9q-17 -9 -22 -44l-35 -195h62
q82 0 128 37t46 104zM481 199q0 71 -48 102.5t-121 31.5h-56l-37 -201q-11 -58 7.5 -77t80.5 -19q76 0 125 44.5t49 118.5z" id="x1D435"></path></g><g transform="matrix(.017,-0,0,-.017,84.206,12.162)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,97.261,12.162)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,110.316,12.162)"><path d="M559 163q-23 -66 -68 -163h-474l6 26q62 4 79.5 19.5t28.5 75.5l78 409q7 35 8.5 49t-8 25t-24 13t-51.5 5l5 28h266l-6 -28q-65 -5 -79.5 -18t-25.5 -74l-76 -406q-10 -57 14 -75q12 -13 96 -13q93 0 126 29q41 40 76 109z" id="x1D43F"></path></g><g transform="matrix(.017,-0,0,-.017,120.023,12.162)"><path d="M275 270q0 -296 -211 -440l-19 23q75 62 116.5 174t41.5 243t-42 243t-116 173l19 24q211 -144 211 -440z" id="x29"></path></g><g transform="matrix(.017,-0,0,-.017,133.452,12.162)"><path d="M901 255q-71 -62 -185 -187l-22 15l102 147h-727v50h727l-102 147l22 15q114 -125 185 -187z" id="x2192"></path></g><g transform="matrix(.017,-0,0,-.017,154.394,12.162)"><path d="M594 511q0 -122 -171 -157l1 -2q158 -33 158 -159q0 -52 -34.5 -95t-90.5 -65q-76 -33 -217 -33h-223l8 28q63 5 79.5 19t26.5 72l83 426q9 48 -2.5 60t-77.5 17l6 28h259q195 0 195 -139zM499 509q0 59 -37 83t-91 24q-36 0 -51 -9q-17 -9 -22 -44l-35 -195h62
q82 0 128 37t46 104zM481 199q0 71 -48 102.5t-121 31.5h-56l-37 -201q-11 -58 7.5 -77t80.5 -19q76 0 125 44.5t49 118.5z" id="x1D435"></path></g><g transform="matrix(.017,-0,0,-.017,164.882,12.162)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,177.937,12.162)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,-0,0,-.017,190.992,12.162)"><path d="M559 163q-23 -66 -68 -163h-474l6 26q62 4 79.5 19.5t28.5 75.5l78 409q7 35 8.5 49t-8 25t-24 13t-51.5 5l5 28h266l-6 -28q-65 -5 -79.5 -18t-25.5 -74l-76 -406q-10 -57 14 -75q12 -13 96 -13q93 0 126 29q41 40 76 109z" id="x1D43F"></path></g>
</svg></span></td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Journal of Applied Mathematics

tab3

Table 3

Table 3: Modeling a Heterogeneous Embedded System in Coloured Petri Nets 