| 講演名 | 1995/11/16 TCCネットとSCCネットの活性と可到達性 花川 清孝, 松本 忠, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 離散事象システムの有用なモデルの一つがペトリネットであり、その基本的な問題は活性問題と可到達問題である。一般ペトリネットの活性条件は求められているが、有用なサブクラスの活性条件をより簡明な形で示すことも重要である。本論文では、ペトリネットのサブクラスの一つであるTCCネットとSCCネットの活性必要十分条件を導き、更には、それらの活性条件を使ってTCCネットとSCCネットが可到達であるための必要十分条件を求めている。 |
| 抄録(英) | Petri nets are one of useful models for modeling, analysis, control, and verification in discrete event systems and the reachability problem as well as the liveness problem is fundamental in Petri nets. Although liveness condition for general Petri nets has been shown, it is also important to find simpler and more useful liveness conditions for TCC nets and SCC nets are given and, secondly, necessary and sufficient reachability conditions for them are also given, in which the former conditions are effectively used. |
| キーワード(和) | ペトリネット / サブクラス(TCC,SCC) / 有向閉路 / トラップ / サイフォン / L4-活性 / 可到達性 / 擬似解 |
| キーワード(英) | Petri nets / Subclasses(TCC and SCC), Directed circuits / Siphons / Traps / Level-4 liveness / Reachability / Spurious solutions |
| 資料番号 | CAS95-78,CST95-16 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 1995/11/16(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | TCCネットとSCCネットの活性と可到達性 |
| サブタイトル（和） | |
| タイトル（英） | Necessary and Sufficient Conditions for Liveness and Reachability on TCC and SCC Petri Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri nets |
| キーワード(2)（和/英） | サブクラス(TCC,SCC) / Subclasses(TCC and SCC), Directed circuits |
| キーワード(3)（和/英） | 有向閉路 / Siphons |
| キーワード(4)（和/英） | トラップ / Traps |
| キーワード(5)（和/英） | サイフォン / Level-4 liveness |
| キーワード(6)（和/英） | L4-活性 / Reachability |
| キーワード(7)（和/英） | 可到達性 / Spurious solutions |
| キーワード(8)（和/英） | 擬似解 |
| 第 1 著者 氏名（和/英） | 花川 清孝 / Kiyotaka HANAKAWA |
| 第 1 著者 所属（和/英） | 福井大学 工学部 Faculty of Engineering FUKUI UNIVERSITY |
| 第 2 著者 氏名（和/英） | 松本 忠 / Tadashi MATSUMOTO |
| 第 2 著者 所属（和/英） | 福井大学 工学部 Faculty of Engineering FUKUI UNIVERSITY |
| 発表年月日 | 1995/11/16 |
| 資料番号 | CAS95-78,CST95-16 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 351 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |