| 講演名 | 2006-06-02 バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般) 水野 奈美, 太田 淳, 辻 孝吉, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ペトリネットはコンカレントシステムのモデルのーつである.バッチ処理アークはトランジションの一回の発火によって入力プレースのトークンをすべて移動させるアークとして提案されている.この拡張によってペトリネットはチューリング機械と等価なモデル化能力をもつようになる.同時に可達問題を含む多くの解析問題が非可解となる.本報告では,バッチ処理アーク付きマークグラフの可達問題を考察する.これはプレースの入出力アークがちょうど1本ずつであるサブクラスである.さらに,各トランジションに接続するアークはすべて通常のアークかすべてバッチ処理アークかのいずれかであるという仮定を設ける.この仮定の下で(バッチ処理アークのない)マークグラフの可達問題に対して得られている結果がバッチ処理アーク付きの場合に拡張できることを示す. |
| 抄録(英) | Petri net is a mathematical model for discrete event systems. Batch processing arcs are suggested which moves all tokens in its input places by single firing of transition. This extension makes Petri net Turing machine equivalent, which means most of important analysis problems including reachability problem are undecidable. In this report, we study reachability problem of marked graphs with batch processing arcs. Moreover, it is assumed that for every transition either all incident arcs are normal arcs or all incident arcs are batch processing arcs. Under this assumption, necessary and sufficient condition for reachability of marked graphs without batch processing arcs is shown to be extended to that with batch processing arcs. |
| キーワード(和) | コンカレントシステム / ペトリネット / バッチ処理アーク / マークグラフ / 状態方程式 |
| キーワード(英) | concurrent system / Petri net / batch process arc / marked graph / state equation |
| 資料番号 | CST2006-8 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2006/5/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Reachability Problem of Marked Graphs with Batch Processing Arcs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | コンカレントシステム / concurrent system |
| キーワード(2)（和/英） | ペトリネット / Petri net |
| キーワード(3)（和/英） | バッチ処理アーク / batch process arc |
| キーワード(4)（和/英） | マークグラフ / marked graph |
| キーワード(5)（和/英） | 状態方程式 / state equation |
| 第 1 著者 氏名（和/英） | 水野 奈美 / Nami MIZUNO |
| 第 1 著者 所属（和/英） | デンソーテクノ株式会社 DENSOTECHNO CO., LTD |
| 第 2 著者 氏名（和/英） | 太田 淳 / Atsushi OHTA |
| 第 2 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 第 3 著者 氏名（和/英） | 辻 孝吉 / Kohkichi TSUJI |
| 第 3 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 発表年月日 | 2006-06-02 |
| 資料番号 | CST2006-8 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 89 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |