フルテキスト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資料タイプ | 学術雑誌論文 |
ISSN | 0916-8508
|
NCID | AA10826239
AA11510296
|
掲載誌名 | IEICE transactions on fundamentals of electronics, communications and computer sciences |
巻 | E95-A |
号 | 8 |
開始ページ | 1402 |
終了ページ | 1411 |
発行日 | 2012-08 |
DOI | info:doi/10.1587/transfun.E95.A.1402 |
著者版/出版社版 | その他 |
リポジトリID | 2012010595 |
地域区分 | 山口大学
|
URI | http://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2012010595 |