| 講演名 | 1998/1/23 特性方程式によるペトリネット構造の考察 伊東 圭昌, 宮沢 以鋼, 関口 隆, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ペトリネットの性質は, 挙動的性質と構造的性質とに分類される. 本報では, ペトリネットの構造的性質をグラフ理論の観点から考察する. すなわち, ペトリネットを有向グラフを用いて表現することにより, トランジションあるいはプレースに関する遷移行列を求める. そして, 遷移行列から特性多項式あるいは特性方程式を求めることによりペトリネット構造を解釈する方法について検討する. さらに, グラフ理論におけるMasonの定理を応用して, ラベル付き遷移行列からペトリネット構造を解釈する方法について検討する. |
| 抄録(英) | Petri net structure is based on two types of properties, i.e. behavioral properties and structural properties. In this paper, structural properties of Petri net are discussed in view of graph theory. Transitive matrix concerning place or transition of Petri net is obtained by converting Petri net into directed graph. Structural properties, which consist of normal, cycle and parallel structures, are analyzed by using characteristic polynomial or equation of transitive matrix. Moreover, we define the labeled transitive matrix from the Mason's theorem. Structural properties are also discussed by using the labeled characteristic polynomial or equation. |
| キーワード(和) | ペトリネット / 構造的性質 / グラフ理論 / 遷移行列 / 特性方程式 |
| キーワード(英) | Petri Net / Structural Properties / Graph Theory / Transitive Matrix / Characteristic Equation |
| 資料番号 | CST97-34 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1998/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 特性方程式によるペトリネット構造の考察 |
| サブタイトル（和） | |
| タイトル（英） | Study on Petri Net Structure using its Characteristic Equation |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri Net |
| キーワード(2)（和/英） | 構造的性質 / Structural Properties |
| キーワード(3)（和/英） | グラフ理論 / Graph Theory |
| キーワード(4)（和/英） | 遷移行列 / Transitive Matrix |
| キーワード(5)（和/英） | 特性方程式 / Characteristic Equation |
| 第 1 著者 氏名（和/英） | 伊東 圭昌 / Yoshiaki ITOH |
| 第 1 著者 所属（和/英） | 神奈川県産業技術総合研究所 Kanagawa Industrial Technology Research Institute |
| 第 2 著者 氏名（和/英） | 宮沢 以鋼 / Iko MIYAZAWA |
| 第 2 著者 所属（和/英） | 神奈川県産業技術総合研究所 Kanagawa Industrial Technology Research Institute |
| 第 3 著者 氏名（和/英） | 関口 隆 / Takashi SEKIGUCHI |
| 第 3 著者 所属（和/英） | 横浜国立大学工学部電子情報工学科 Yokohama National University |
| 発表年月日 | 1998/1/23 |
| 資料番号 | CST97-34 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 507 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |