講演抄録/キーワード |
講演名 |
2007-11-30 13:25
P/Tペトリネットの可到達性判定の代数的試みについて ○松本 忠・恐神正博(福井工大)・茂呂征一郎(福井大) CAS2007-78 CST2007-29 |
抄録 |
(和) |
離散事象システムの有用なモデルの1つである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 |
|