Problem $2(20$ Points$)$

$2\mathrm{.}1(8$ Points$)$ Draw the reachability graph for the SIPN

$2\mathrm{.}2(2$ Points$)$ What in formally correctness of the outputs in the context of SIPN. Is the above SIPN formally correct?

$2\mathrm{.}3(3$ Points$)$ What is a stable marking? Are there any unstable markings in this SIPN?

$2\mathrm{.}4(2$ Points$)$ Explain what the term "termination" means in a SIPN and why this property is important