Japanese | English

トップページへ戻る

詳細

   
フルテキストURLフルテキストリンクなし
タイトルAn efficient translation method from timed petri nets to timed automata
作成者Nakano, Shota
Yamaguchi, Shingo
作成者ヨミナカノ, ショウタ
ヤマグチ, シンゴ
作成者別表記山口, 真悟
作成者所属山口大学大学院理工学研究科(工学)
本文言語eng
著者キーワードtimed Petri nets
timed automata
the amount of description
model checking
signaling pathway
資料タイプtext
出版者Institute of Electronics, Information and Communication Engineers
NII資料タイプ学術雑誌論文
ISSN0916-8508
NCIDAA10826239
AA11510296
掲載誌名IEICE transactions on fundamentals of electronics, communications and computer sciences
E95-A
8
開始ページ1402
終了ページ1411
発行日2012-08
DOIinfo:doi/10.1587/transfun.E95.A.1402
著者版/出版社版その他
リポジトリID2012010595
地域区分山口大学
URIhttp://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2012010595