Almost General Petri Nets(N_<KT>)が初期マーキング下で活性であるための必要十分条件 : Live MBTRsを含まない場合(N^^〜_KT>)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク