文献

J-GLOBAL ID：201702217848986065   整理番号：17A0034889

有界なペトリネットのサブクラスに関する状態数計算問題の複雑さ

著者 (3件)： 深谷祐紀 (愛知県大) ,  太田淳 (愛知県大) ,  辻孝吉 (愛知県大)
資料名： 計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM)  (計測自動制御学会システム・情報部門学術講演会予稿集(CD-ROM))
巻： 2016  ページ： ROMBUNNO.GS05-3  発行年： 2016年12月06日 
JST資料番号： F0428D  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *Petriネット ,  *オートマトン ,  計算量 ,  離散系 ,  モデリング ,  可到達性 ,  状態変数法 ,  システムモデル ,  NP困難 ,  離散事象系
準シソーラス用語： 離散事象システム ,  状態空間法

分類 (2件)： 計算理論  (JB02000A) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (7件)： 有界 ,  ペトリネット ,  サブ ,  クラス ,  計算 ,  問題 ,  複雑さ