| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-11-18 10:55 A Probability-based State Space Analysis of Petri Nets ○Eleazar Jimenez Serrano（Kyushu Univ.）  CAS2010-66 CST2010-39 |
|
| 抄録 | （和） | (まだ登録されていません) |
| （英） | We present a partial exploration metaheuristic method of state spaces derived from Petri nets for the analysis of reachability problems using the information of a stored pointer over sorted lists of all firing vectors at every explored marking, but without keeping the sorted lists. It is supported with some probabilistic properties of the intrinsic structure of Petri nets for the exploration technique and complemented with upper and lower boundaries defined from well-founded statistical process control methods for terminating the exploration. | |
| キーワード | （和） | / / / / / / / |
| （英） | Petri nets / Statistical Process Control / State Space / Reachability / / / / | |
| 文献情報 | 信学技報, vol. 110, 2010年11月. | |
| 資料番号 | ||
| 発行日 | 2010-11-11 (CAS, CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2010-66 CST2010-39 |
|
| 研究会情報 | |
| 研究会 | MSS CAS |
| 開催期間 | 2010-11-18 - 2010-11-19 |
| 開催地（和） | 関西大学 |
| 開催地（英） | Kansai Univ. |
| テーマ（和） | グラフ、ペトリネット、ニューラルネット及び一般 |
| テーマ（英） | Graphs, Petri Nets, Neural Networks, etc |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2010-11-CST-CAS |
| 本文の言語 | 英語 |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | A Probability-based State Space Analysis of Petri Nets |
| サブタイトル（英） | |
| キーワード(1)（和/英） | / Petri nets |
| キーワード(2)（和/英） | / Statistical Process Control |
| キーワード(3)（和/英） | / State Space |
| キーワード(4)（和/英） | / Reachability |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | Eleazar Jimenez Serrano / Eleazar Jimenez Serrano / |
| 第1著者 所属（和/英） | Kyushu University (略称： 九大) Kyushu University (略称： Kyushu Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-11-18 10:55:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2010-66, CST2010-39 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.283(CAS), no.284(CST) |
| ページ範囲 | pp.7-12 |
| ページ数 | 6 |
| 発行日 | 2010-11-11 (CAS, CST) |
[研究会発表申込システムのトップページに戻る]