Almost General Petri Nets(N<sub>KT</sub>)が初期マーキング下で活性であるための必要十分条件 Live MBTRsを含まない場合(<span style=text-decoration:overline>N</span><sub>KT</sub>)
The Initial-Marking-Based Necessary and Sufficient Liveness Condition for Almost General Petri Nets(N<sub>KT</sub>) - the case of <span style=text-decoration:overline>N<sup>~</sup></span><sub>KT</sub> which is the nets N<sub>KT</sub> without live MBTRs.