文献

J-GLOBAL ID：201202208084137410   整理番号：12A1458459

自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装

著者 (2件)： 井出和人 (信州大 大学院理工学系研究科) ,  和崎克己 (信州大 工)
資料名： 情報科学技術フォーラム講演論文集  (FIT)
巻： 11th  号： 第1分冊  ページ： 17-21  発行年： 2012年08月21日 
JST資料番号： L4664A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *Petriネット ,  安全解析 ,  *ネットワーク法 ,  *計算機アルゴリズム

分類 (2件)： 計算理論  (JB02000A) ,  ネットワーク法  (KA03040X)

タイトルに関連する用語 (7件)： ネット ,  活性 ,  安全性 ,  解析アルゴリズム ,  援用 ,  ツール ,  実装