辻 孝吉 | 福井大学工学部
スポンサーリンク
概要
関連著者
著作論文
- Extended Backward Confilict Free Petri Netsが初期マーキング下で活性であるための必要十分条件
- 拡張マークグラフの可達性必要十分条件について(グラフ,ネットワークとアルゴリズムおよび一般)
- 2. ペトリネットによる並列処理プログラムの解析手法 ( ネット指向パラダイムを求めて)
- Almost General Petri Nets(N_)が初期マーキング下で活性であるための必要十分条件 : Live MBTRsを含まない場合(N^^〜_KT>)
- ペトリネットによる通信プロトコル状態遷移表のモデル化と動作検証