2. ペトリネットによる並列処理プログラムの解析手法 (<特集> ネット指向パラダイムを求めて)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1993-06-15
著者
関連論文
- Extended Backward Confilict Free Petri Netsが初期マーキング下で活性であるための必要十分条件
- 拡張マークグラフの可達性必要十分条件について(グラフ,ネットワークとアルゴリズムおよび一般)
- 拡張ファジィ・ペトリネットによる機械の組立/分解作業のモデル化および解析
- ペトリネットによる設計工程分析および作業時間解析
- 202 拡張ファジィ・ペトリネットによる機械の組立/分解作業のモデル化および解析(Design for Environment)
- ペトリネットによるジョブショップ型生産システムの表現および最適化
- ペトリネットによる機械の設計・生産スケジューリング
- 高レベル・ファジィ・ペトリネットによる機械システムの組立作業時間の解析
- 2. ペトリネットによる並列処理プログラムの解析手法 ( ネット指向パラダイムを求めて)
- Almost General Petri Nets(N_)が初期マーキング下で活性であるための必要十分条件 : Live MBTRsを含まない場合(N^^〜_KT>)
- ペトリネットによる通信プロトコル状態遷移表のモデル化と動作検証