| 講演名 | 1996/5/23 一般ペトリネットが可到達であるための必要十分条件に関する枠組 松本 忠, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 一般ペトリネットが可到達であるための必要十分条件に関する枠組が, 状態方程式の非負整数解からすべての擬似解を除去するという立場で, 論じられている。このとき, 従来より周知のサプクラスの可到達条件を求める際に, 陰に陽に, 有効に用いられていた「初期マーキングでのトークンなしsiphon」と「最終マーキングでのトークンなしtrap」をそれぞれ拡張した「初期マーキシグでのimmature siphon」と「最終マーキングでのimmature trap」なる概念を導入している。更に, 主定理のimmature siphonとimmature trapをそれぞれトークンなしsiphonとトークンなしtrapに置換したものは, 活性な free choiceネットに対して従来知られている可到達条件をすべて包含していることを示している。ただし, immature siphon/trapを一般的に明らかにすることは今後の課題であるとしている。 |
| 抄録(英) | A framework for a simple and useful necessary and sufficient condition on the general Petri net reachability problem is presented by eliminating all spurious solutions among nonnegative integer solutions of the state equation and using the concepts of "no immature siphon at the initial marking" and "no immature trap at the end marking" which are both extended from "no token-free siphon at the initial marking" and "no token-free trap at the end marking," respectively, which are both also effectively, explicitly or implicitly, used in the well-known fundamental and simple subclasses. Reachability analysis is one of the most fundamental problems among analysis problems of discrete event systems. It has been shown that the reachability problem is decidable although it takes at least exponential space and time to verify in the general case. The reachability criterion obtained in this paper of course includes, as the special cases, the most wider subclasses with easier decidable and known reachability criteria such as NOT-nets and NOP-nets (both nets are subclasses of free choice nets and see also Section 5). |
| キーワード(和) | 一般ベトリネット / 可到達性 / 状態方程式 / 擬似解 / immature siphon/trap |
| キーワード(英) | General Petri nets / Reachability / State equation / Spurious solutions / Immature siphons or traps. |
| 資料番号 | CST96-1 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1996/5/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 一般ペトリネットが可到達であるための必要十分条件に関する枠組 |
| サブタイトル（和） | |
| タイトル（英） | A Framework on Necessary and Sufficient Condition for Reachability of General Petri Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 一般ベトリネット / General Petri nets |
| キーワード(2)（和/英） | 可到達性 / Reachability |
| キーワード(3)（和/英） | 状態方程式 / State equation |
| キーワード(4)（和/英） | 擬似解 / Spurious solutions |
| キーワード(5)（和/英） | immature siphon/trap / Immature siphons or traps. |
| 第 1 著者 氏名（和/英） | 松本 忠 / Tadashi MATSUMOTO |
| 第 1 著者 所属（和/英） | 福井大学工学部 Faculty of Engineering, Fukui Univercity |
| 発表年月日 | 1996/5/23 |
| 資料番号 | CST96-1 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 57 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |