| 講演名 | 2002/7/30 接続行列を用いたペトリネットの活性問題の解析について 太田 淳, 辻 孝吉, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ペトリネットはコンカレントシステムのモデルの一つである.活性問題はペトリネットの最も重要な解析問題の一つである.一方,ペトリネットの接続行列は,ペトリネットの構造的な解析のための有効な道具の一つである.本報告では,接続行列を用いたペトリネットの活性問題について考察する.まず,活性を保存したままプレースを除去できるための十分条件を導く.次に,すでに著者らが提案したトークンなしサイフォンの拡張について,その具体的な計算方法を提案する. |
| 抄録(英) | Petri net is a mathematical model for concurrent systems. Liveness is one of important properties of Petri net. Liveness problem of general Petri net is of exponential space complexity and subclasses are suggested with less computational complexity. On the other hand, incidence matrix is effectively used for structural analysis of Petri net. In this report, we study on liveness analysis using incidence matrix. First, we show a sufficient condition to remove a place preserving liveness of a Petri net. Next we suggest a cncrete method to obtain 'extended token-free siphon' that we have proposed. |
| キーワード(和) | コンカレントシステム / ペトリネット / 活性 / 接続行列 |
| キーワード(英) | concurrent system / Petri net / liveness / incidence matrix |
| 資料番号 | CST2002-17 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2002/7/30(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 接続行列を用いたペトリネットの活性問題の解析について |
| サブタイトル（和） | |
| タイトル（英） | Liveness Analysis of Petri Nets Using Incidence Matrices |
| サブタイトル（和） | |
| キーワード(1)（和/英） | コンカレントシステム / concurrent system |
| キーワード(2)（和/英） | ペトリネット / Petri net |
| キーワード(3)（和/英） | 活性 / liveness |
| キーワード(4)（和/英） | 接続行列 / incidence matrix |
| 第 1 著者 氏名（和/英） | 太田 淳 / Atsushi OHTA |
| 第 1 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 第 2 著者 氏名（和/英） | 辻 孝吉 / Kohkichi TSUJI |
| 第 2 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 発表年月日 | 2002/7/30 |
| 資料番号 | CST2002-17 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 259 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |