Verifying the Safety of Aviation Software Based on Extended Colored Petri Net

<table class="fixed-width table-group" id="tab1"><tr><td><table class="table"><colgroup><col style="width:3.38em"/><col style="width:13.34em"/><col style="width:6.01em"/><col style="width:7.33em"/></colgroup><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr class="thead"><td class="align_left">Place</td><td class="align_center">Component</td><td class="align_center">Safety Level</td><td class="align_center">Color of Token</td></tr><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr><td class="align_left">P<sub>1</sub></td><td class="align_center">Navigation Interface</td><td class="align_center">A</td><td class="align_center">red</td></tr><tr><td class="align_left">P<sub>3</sub></td><td class="align_center">Safe Point Determinator</td><td class="align_center">C</td><td class="align_center">blue</td></tr><tr><td class="align_left">P<sub>9</sub></td><td class="align_center">Navigation Database Interface</td><td class="align_center">D</td><td class="align_center">green</td></tr><tr><td class="align_left">P<sub>11</sub></td><td class="align_center">Heading And Speed Interface</td><td class="align_center">B</td><td class="align_center">orange</td></tr><tr class="table-tr"><td colspan="4"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>The initial information of component (place).</div>

Mathematical Problems in Engineering

tab1

Table 1

Table 1: Verifying the Safety of Aviation Software Based on Extended Colored Petri Net 