| 講演名 | 1995/11/16 制約なしペトリネットが可到達であるための二つの必要十分条件 : 発火回数ベクトルが未知の場合と既知の場合 松本 忠, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 離散事象ダイナミカルシステムのモデル化、解析、制御、動作検証のための有用なモデルの一つがペトリネットであり、その最も基本的な性質の一つが可到達性である。この可到達問題の可解性はすでに肯定的に解かれているが、その実用的判定法の解明が望まれている。本論文では、制約なしペトリネットが可到達であり、かつ、発火系列が求まるための二つの必要十分条件を、発火回数ベクトルυの存在を仮定したもとでυが未知と既知の二つの場合に対して、数理計画法を活用することを前提にし、サイフォンのLκ-活性(κ=0,1,…,4)との関連で考察し、臨界的サイフォンなる概念を導入して求めている。本論文の結果は、特に、可到達問題を数理計画法を用いて解くための基礎となっている。 |
| 抄録(英) | Petri nets are one of useful models for modeling, analysis, control, and verification in discrete event dynamical systems and the reachability problem is one of the most basic ones. Although this solvability problem has been affirmatively solved. new practical judging methods. except enumeration methods such as coverability tree and reachability tree, should be found. In this paper, two necessary and sufficient conditions for reachability on Petri nets without any restrictions are shown where one case is concerned with the unknown firing count vector υ and the other case with the known firing count vector υ on the assumption that the existence of υ is at least guaranteed. In these approaches, the levelκ-liveness(κ=0,1,…,4)for effective siphons in Petri nets and mathematical programmings are crutial, and the new concept of critical siphons is successfully introduced. It is also shown that these results are very useful for reachability analysis via mathematical programming methods such as dynamic programming and Pontryagin's minimum principle, including linear programming for each subproblem optimization. in discrete time systems. |
| キーワード(和) | 並行システム / ペトリネット / 可到達性 / Lκ-活性サイフォン / 臨界的サイフォン / 数理計画法 |
| キーワード(英) | Concurrent systems / Petri nets / Reachability / Critical siphons / Levelκ-live siphons / Mathematical programmings |
| 資料番号 | CAS95-77,CST95-15 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 1995/11/16(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 制約なしペトリネットが可到達であるための二つの必要十分条件 : 発火回数ベクトルが未知の場合と既知の場合 |
| サブタイトル（和） | |
| タイトル（英） | Two Necessary and Sufficient Conditions for Reachability on Petri Nets without Any Restrictions : Two Cases in Which Firing Count Vector Is Unknown or Known |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 並行システム / Concurrent systems |
| キーワード(2)（和/英） | ペトリネット / Petri nets |
| キーワード(3)（和/英） | 可到達性 / Reachability |
| キーワード(4)（和/英） | Lκ-活性サイフォン / Critical siphons |
| キーワード(5)（和/英） | 臨界的サイフォン / Levelκ-live siphons |
| キーワード(6)（和/英） | 数理計画法 / Mathematical programmings |
| 第 1 著者 氏名（和/英） | 松本 忠 / Tadashi MATSUMOTO |
| 第 1 著者 所属（和/英） | 福井大学 工学部 Faculty of Engineering, Fukui University |
| 発表年月日 | 1995/11/16 |
| 資料番号 | CAS95-77,CST95-15 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 351 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |