| フルテキスト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 |
|---|