| 講演名 | 1998/1/23 即時発火ペトリネットの状態空間のunfoldingによる表現法の検討 太田 淳, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 離散事象システムの数学モデルの一つであるペトリネットは、チューリング機械と有限オートマトンの中間のモデル化、解析の能力を有する。このペトリネットの解析問題には、可解ではあるものの、膨大な計算量を必要とするものが多い。その原因の一つとして、ネットの規模の増大に伴う状態空間の爆発的な増大が指摘されている。この状態空間爆発に対する対策の一つとして、unfoldingによる表現が提案されている。一方、ペトリネットの発火規則を変更して、発火可能なトランジションはすぐに発火しなければならないとした、即時発火ペトリネットは、チューリング機械と等価であることが知られている。本報告では、即時発火ペトリネッ卜の状態空間をunfoldingで表現する方法を検討する。 |
| 抄録(英) | Petri Net is a modeling tool for discrete event systems. It has more modeling power than finite automaton and more analysis power than Turing machine. Most analysis problems of Petri net are decidable, however, need enormous computational complexity. It has been pointed out that exploding size of state space of Petri net is one of the reason of the complexity. Unfolding has been used to describe the state space of Petri net in relatively small size. On the otherhand, introduction of the earliest firing rule, where transitions must fire as soon as it is enabled, makes Petri net equivalent to Turing machine. This report suggests a procedure to describe the state space of the earliest firing Petri net using unfolding. |
| キーワード(和) | 離散事象システム / 即時発火ペトリネット / unfolding |
| キーワード(英) | discrete event system / earliest firing Petri net / unfolding |
| 資料番号 | CST97-35 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1998/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 即時発火ペトリネットの状態空間のunfoldingによる表現法の検討 |
| サブタイトル（和） | |
| タイトル（英） | On the Use of Unfolding to Describe the State Space of the Earliest Firing Petri Net. |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 離散事象システム / discrete event system |
| キーワード(2)（和/英） | 即時発火ペトリネット / earliest firing Petri net |
| キーワード(3)（和/英） | unfolding / unfolding |
| 第 1 著者 氏名（和/英） | 太田 淳 / Atsushi OHTA |
| 第 1 著者 所属（和/英） | 愛知県立大学文学部 Faculty of Literature, Aichi Prefectural University |
| 発表年月日 | 1998/1/23 |
| 資料番号 | CST97-35 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 507 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |