| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-03-18 11:20 ［招待講演］ペトリネットの可到達性問題について ○平石邦彦（北陸先端大）  MSS2025-51 NLP2025-132 |
|
| 抄録 | （和） | ペトリネットの可到達性問題（reachability problem）は，ペトリネットの理論的解析において中心となる問題であり，他の多くの問題が可到達性問題に帰着する．可到達性問題に関して，いくつかの部分クラスに対しては必要十分条件が得られているが，一般のペトリネットに対してはそのような条件は得られていない．他方，可到達性問題の決定可能性については1980年代に肯定的な結果が得られている．ただし，その証明は非常にテクニカルで難解である．本稿では，上記の必要十分条件について説明するとともに，可到達性問題の決定可能性について，著者の理解の範囲で解説を試みる． |
| （英） | The reachability problem in Petri nets is a central issue in their theoretical analysis, with many other problems reducing to it. While necessary and sufficient conditions were obtained for certain subclasses, no such conditions exist for general Petri nets. On the other hand, positive results regarding the decidability of the reachability problem were obtained in the 1980s. However, the proof is highly technical and difficult to understand. This paper explains the aforementioned necessary and sufficient conditions and attempts to describe the decidability of the reachability problem within the scope of the author's understanding. | |
| キーワード | （和） | ペトリネット / 可到達性問題 / 決定可能性 / / / / / |
| （英） | Petri nets / reachability problem / decidability / / / / / | |
| 文献情報 | 信学技報, vol. 125, no. 417, MSS2025-51, pp. 22-26, 2026年3月. | |
| 資料番号 | MSS2025-51 | |
| 発行日 | 2026-03-11 (MSS, NLP) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2025-51 NLP2025-132 |
|
| 研究会情報 | |
| 研究会 | MSS NLP |
| 開催期間 | 2026-03-18 - 2026-03-19 |
| 開催地（和） | シンフォニアテクノロジー響ホール伊勢（伊勢市観光文化会館） |
| 開催地（英） | |
| テーマ（和） | MSS，NLP，一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2026-03-MSS-NLP |
| 本文の言語 | 日本語 |
| タイトル（和） | ペトリネットの可到達性問題について |
| サブタイトル（和） | |
| タイトル（英） | On Reachabilty Problem of Petri Nets |
| サブタイトル（英） | |
| キーワード(1)（和/英） | ペトリネット / Petri nets |
| キーワード(2)（和/英） | 可到達性問題 / reachability problem |
| キーワード(3)（和/英） | 決定可能性 / decidability |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 平石 邦彦 / Kunihiko Hiraishi / ヒライシ クニヒコ |
| 第1著者 所属（和/英） | 北陸先端科学技術大学院大学 (略称： 北陸先端大) Japan Advanced Institute of Science and Technology (略称： JAIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-03-18 11:20:00 |
| 発表時間 | 45分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2025-51, NLP2025-132 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.417(MSS), no.418(NLP) |
| ページ範囲 | pp.22-26 |
| ページ数 | 5 |
| 発行日 | 2026-03-11 (MSS, NLP) |
[研究会発表申込システムのトップページに戻る]