| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2007-11-30 13:25 P/Tペトリネットの可到達性判定の代数的試みについて ○松本 忠・恐神正博（福井工大）・茂呂征一郎（福井大）  CAS2007-78 CST2007-29 |
|
| 抄録 | （和） | 離散事象システムの有用なモデルの１つであるP/Tペトリネットの挙動を考える際に，最も基本となる問題である可到達問題の代数的解析法を述べている．すなわち，目標状態と初期状態の状態差(マーキング差)を固定したもとでの状態方程式の非負整数解（これはトランジションの発火回数ベクトルであり，ペトリネットの大域的情報を与えている）の発火実行可能性を，基本特解と初等的Tインバリアント（これらはペトリネットの局所的情報を与えている）を処理単位として行なうアルゴリズムの概要を示し，その特長，問題点等を論じている． |
| （英） | P/T Petri nets are one of useful models for discrete event systems. In this paper, an algebraic approach to reachability problems, which are the most fundamental one to evaluate behaviors for any P/T Pets net, is proposed. An algorithm for firing executability of a nonnegative integer solution $x \in Z_+^{n \times 1}$ for the state equation is outlined, where a fundamental particular solution $ v_j \in Z_+^{n \times 1} $ and elementary T-invariants $ u_i \in Z_+^{n \times 1} $ derived from the state equation are processed step by step. Note that the firing count vector $x \in Z_+^{n \times 1}$ gives us the global information and $ v_j \in Z_+^{n \times 1} $ and $ u_i \in Z_+^{n \times 1} $ give us the local one on Petri net behaviours. Merits, demerits, and problems to be solved for the proposed algorithm are also discussed. |
|
| キーワード | （和） | P/Tペトリネット / 可到達性判定 / 代数的判定 / 状態方程式 / 基本特解 / 初等的Tインバリアント / / |
| （英） | P/T Petri ntes / reachability problems / algebraic approach / state equation / fundamental particular solutions / elementary T-invariants / / | |
| 文献情報 | 信学技報, vol. 107, 2007年11月. | |
| 資料番号 | ||
| 発行日 | 2007-11-23 (CAS, CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2007-78 CST2007-29 |
|
| 研究会情報 | |
| 研究会 | MSS CAS |
| 開催期間 | 2007-11-29 - 2007-11-30 |
| 開催地（和） | 新潟大学自然科学研究科 |
| 開催地（英） | Niigata University |
| テーマ（和） | グラフ、ペトリネット、ニューラルネット及び一般 |
| テーマ（英） | Graphs, Petri nets, Neural Networks |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2007-11-CST-CAS |
| 本文の言語 | 日本語 |
| タイトル（和） | P/Tペトリネットの可到達性判定の代数的試みについて |
| サブタイトル（和） | |
| タイトル（英） | An Algebraic Approach to Rechability Problems of P/T Petri Nets |
| サブタイトル（英） | |
| キーワード(1)（和/英） | P/Tペトリネット / P/T Petri ntes |
| キーワード(2)（和/英） | 可到達性判定 / reachability problems |
| キーワード(3)（和/英） | 代数的判定 / algebraic approach |
| キーワード(4)（和/英） | 状態方程式 / state equation |
| キーワード(5)（和/英） | 基本特解 / fundamental particular solutions |
| キーワード(6)（和/英） | 初等的Tインバリアント / elementary T-invariants |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 松本 忠 / Tadashi Matsumoto / マツモト タダシ |
| 第1著者 所属（和/英） | 福井工業大学 (略称： 福井工大) Fukui University of Technology (略称： Fukui Univ. of Tech.) |
| 第2著者 氏名（和/英/ヨミ） | 恐神 正博 / Masahiro Osogami / オソガミ マサヒロ |
| 第2著者 所属（和/英） | 福井工業大学 (略称： 福井工大) Fukui University of Technology (略称： Fukui Univ. of Tech.) |
| 第3著者 氏名（和/英/ヨミ） | 茂呂 征一郎 / Seiichiro Moro / モロ セイイチロウ |
| 第3著者 所属（和/英） | 福井大学 (略称： 福井大) Fukui University (略称： Fukui Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2007-11-30 13:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2007-78, CST2007-29 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.362(CAS), no.364(CST) |
| ページ範囲 | pp.27-30 |
| ページ数 | 4 |
| 発行日 | 2007-11-23 (CAS, CST) |
[研究会発表申込システムのトップページに戻る]