Modeling a Heterogeneous Embedded System in Coloured Petri Nets

<table>Transition <svg height="14.2625" id="M88" style="vertical-align:-3.135pt" version="1.1" viewbox="0 0 12.25 14.2625" width="12.25" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,10.125)"><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(.012,-0,0,-.012,5.862,14.2)"><path d="M412 140l28 -9q0 -2 -35 -131h-373v23q112 112 161 170q59 70 92 127t33 115q0 63 -31 98t-86 35q-75 0 -137 -93l-22 20l57 81q55 59 135 59q69 0 118.5 -46.5t49.5 -122.5q0 -62 -29.5 -114t-102.5 -130l-141 -149h186q42 0 58.5 10.5t38.5 56.5z" id="x32"></path></g>
</svg> enabled.</table>

Journal of Applied Mathematics

fig3

Figure 3

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