ペトリネットによる通信プロトコル状態遷移表のモデル化と動作検証
スポンサーリンク
概要
著者
関連論文
- Extended Backward Confilict Free Petri Netsが初期マーキング下で活性であるための必要十分条件
- オブジェクト指向分析法におけるペトリネットの応用について
- 拡張マークグラフの可達性必要十分条件について(グラフ,ネットワークとアルゴリズムおよび一般)
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- 2. ペトリネットによる並列処理プログラムの解析手法 ( ネット指向パラダイムを求めて)
- Almost General Petri Nets(N_)が初期マーキング下で活性であるための必要十分条件 : Live MBTRsを含まない場合(N^^〜_KT>)
- ファジィ制御システムの安定解析について
- 多入出力非線形制御システムの安定解析
- ペトリネットによる通信プロトコル状態遷移表のモデル化と動作検証
- 非同期選択ペトリネットの活性条件