講演名	2001/11/19 P/Tペトリネットの状態方程式の解の実行可能性判定アルゴリズム 平光 篤史, 高田 真樹, 稲場 邦彦, 吉田 知弘, 茂呂 征一郎, 松本 忠,
PDFダウンロードページ	PDFダウンロードページへ
抄録(和)	P/TペトリネットPN=(P, T, F, M_0)と最終マーキングM_d⋴Z^_が与えられたときに, M_d⋴R(PN)であるかを判定する問題を到達可能性判定問題という.ここで, R(PN)は初期マーキングM_0から到達可能なマーキングの集合とする.状態方程式Ax=bの任意の非負整数非同次解x⋴Z^_が同次解と特解のgeneratorで表せるということを利用すると, 無限解集合Xの有限部分集合X^*⊂Xで到達可能性の判定ができる.本論文では, 状態方程式の解のgeneratorがすべて求まっているということを前提にし, 与えられたある1つのx⋴X^*⊂Xの実行可能性を判定するアルゴリズムの枠組を提案している.この実行可能性判定アルゴリズムは, 任意のx⋴Z^_が有限個のgeneratorで表せることを利用しているので, 解のgeneratorの1つ1つの実行可能性がx⋴Z^_の実行可能性の判定に活かされている.また, 任意のx⋴Z^_をgeneratorを用いて表現するときの展開係数は解のgeneratorの導出法をそのまま利用して求められている.以上より, 本提案手法は, 擬似解のチェックを要するが, 複数の解グループの実行可能性判定に有用である.
抄録(英)	The reachability problem is to judge whether M_d⋴R(PN) is true or not when P/T petri net PN=(P, T, F, M_0) with the final marking M_d⋴Z^_ is given, where R(PN) is the set of reachable markings from a given initial marking M_0. The reachability probrem can be judged in the finite subset X^*⊂X of the infinite set of solutions X={x⋴Z^_|Ax=b} by using generators of a nonnegative integer solution for Ax=b. In this paper, a new algorithm for executability of a given solution x⋴X^*⊂X is proposed provided that all of generators of the solution are known. This new algorithm uses the fact that an arbitrary nonnegative integer inhomogeneous solution can be shown with a finite number of generators of the solution. Therefore, the executability of each generator of the solution has been effectively used for the total executability of x⋴Z^_. Moreover, in order to determine the expansion coefficients with respect to generators of x⋴Z^_ we can use the same algorithm for generators of the solution.
キーワード(和)	P/Tペトリネット / 状態方程式 / generator / 実行可能性の判定 / 擬似解 /発火系列の探索
キーワード(英)	P/T Petri nets / state equations / generators / executability / spurious solutions / finding firing sequence
資料番号	CAS2001-64,CST2001-17
発行日

研究会情報
研究会	CAS
開催期間	2001/11/19(から1日開催)
開催地（和）
開催地（英）
テーマ（和）
テーマ（英）
委員長氏名（和）
委員長氏名（英）
副委員長氏名（和）
副委員長氏名（英）
幹事氏名（和）
幹事氏名（英）
幹事補佐氏名（和）
幹事補佐氏名（英）

講演論文情報詳細
申込み研究会	Circuits and Systems (CAS)
本文の言語	JPN
タイトル（和）	P/Tペトリネットの状態方程式の解の実行可能性判定アルゴリズム
サブタイトル（和）
タイトル（英）	A New Algorithm of Executability of a Solution of State Equation for P/T Petri Net
サブタイトル（和）
キーワード(1)（和/英）	P/Tペトリネット / P/T Petri nets
キーワード(2)（和/英）	状態方程式 / state equations
キーワード(3)（和/英）	generator / generators
キーワード(4)（和/英）	実行可能性の判定 / executability
キーワード(5)（和/英）	擬似解 /発火系列の探索 / spurious solutions
第 1 著者 氏名（和/英）	平光 篤史 / Atsushi HIRAMITSU
第 1 著者 所属（和/英）	福井大学 工学部 電気・電子工学科 Department of Electrical and Electronics Engineering, Faculty of Engineering, Fukui University
第 2 著者 氏名（和/英）	高田 真樹 / Maki TAKATA
第 2 著者 所属（和/英）	福井大学 工学部 電気・電子工学科 Department of Electrical and Electronics Engineering, Faculty of Engineering, Fukui University
第 3 著者 氏名（和/英）	稲場 邦彦 / Kunihiko INABA
第 3 著者 所属（和/英）	福井大学 工学部 電気・電子工学科 Department of Electrical and Electronics Engineering, Faculty of Engineering, Fukui University
第 4 著者 氏名（和/英）	吉田 知弘 / Tomohiro YOSHIDA
第 4 著者 所属（和/英）	福井大学 工学部 電気・電子工学科 Department of Electrical and Electronics Engineering, Faculty of Engineering, Fukui University
第 5 著者 氏名（和/英）	茂呂 征一郎 / Seiichiro MORO
第 5 著者 所属（和/英）	福井大学 工学部 電気・電子工学科 Department of Electrical and Electronics Engineering, Faculty of Engineering, Fukui University
第 6 著者 氏名（和/英）	松本 忠 / Tadashi MATSUMOTO
第 6 著者 所属（和/英）	福井大学 工学部 電気・電子工学科 Department of Electrical and Electronics Engineering, Faculty of Engineering, Fukui University
発表年月日	2001/11/19
資料番号	CAS2001-64,CST2001-17
巻番号（vol）	vol.101
号番号（no）	458
ページ範囲	pp.-
ページ数	8
発行日