講演名 | 2008-08-05 時間なし連続ペトリネットの状態方程式の解について(ハイブリッドシステム,コンカレント工学一般) 松本 忠, 恐神 正博, 茂呂 征一郎, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 従来の(離散)ペトリネットでは,その状態を表すトークンの個数が非負整数値をとり,トランジションの発火が一瞬に起こるということを前提にしていた.ハイブリッドペトリネットは,非負実数のトークンと連続的に発火するトランジションを一部に許容するものとして提案された.本論文では,ハイブリッドシステムのモデルとして従来の(離散)ペトリネットを拡張するときに,連続ダイナミクスを記述するための基本構造として重要である時間なし連続ペトリネット(ACPNs)の状態方程式の解を考える.ACPNsの状態方程式は通常は初期マーキングを与えたもとで,到達可能なすべての状態(マーキング)を求めるための表現として使われている.他方,初期マーキングM_0,目標マーキングM_dを与え,さらにM_d-M_0を固定したもとでの状態方程式の解を考えることも重要であり,このとき,周知のT-インバリアントの他に,一般に複数個存在する特解を効率よく求める必要がある.本論文では,時間なし連続ペトリネット(ACPNs)に対するこれらの解について論じている. |
抄録(英) | Discrete Petri nets are basic models for concurrent systems and a firing count vector for transitions is one of key concepts to describe and evaluate algebraically their behavior, where Fourier-Motzkin method has been effectively used for the augmented system [A,-b]x^^~=0 of state equation Ax=b. Continuous Petri nets were introducted in 1987 and their behaviour was extensively studied from two aspects; the fluidication at the net level and the relaxation at some equation level. However, particular solutions for state equation of continuous Petri nets have not been demonstrated in the above two. In this paper, particular solutions as well as elementary T-invariants are obtained from the augmented system of state equation in continuous Petri nets by Fourie-Motzkin method, where, for a specified firing count vector x∈R^ |
キーワード(和) | 時間なし連続ペトリネット / 時間なし離散ペトリネット / ハイブリッドペトリネット / 発火回数ベクトル / T-インバリアント / 特解 / 展開係数 / Fourier-Motzkin法 |
キーワード(英) | autonomous continuous Petri nets / discrete Petri nets / hybrid Petri nets / firing count vectors / T-invariants / particular solutions / expansion coefficients / Fourier-Motzkin method |
資料番号 | CST2008-21 |
発行日 |
研究会情報 | |
研究会 | CST |
---|---|
開催期間 | 2008/7/28(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Concurrent System Technology (CST) |
---|---|
本文の言語 | ENG |
タイトル(和) | 時間なし連続ペトリネットの状態方程式の解について(ハイブリッドシステム,コンカレント工学一般) |
サブタイトル(和) | |
タイトル(英) | On solution to the state equation for autonomous continuous Petri nets |
サブタイトル(和) | |
キーワード(1)(和/英) | 時間なし連続ペトリネット / autonomous continuous Petri nets |
キーワード(2)(和/英) | 時間なし離散ペトリネット / discrete Petri nets |
キーワード(3)(和/英) | ハイブリッドペトリネット / hybrid Petri nets |
キーワード(4)(和/英) | 発火回数ベクトル / firing count vectors |
キーワード(5)(和/英) | T-インバリアント / T-invariants |
キーワード(6)(和/英) | 特解 / particular solutions |
キーワード(7)(和/英) | 展開係数 / expansion coefficients |
キーワード(8)(和/英) | Fourier-Motzkin法 / Fourier-Motzkin method |
第 1 著者 氏名(和/英) | 松本 忠 / Tadashi MATSUMOTO |
第 1 著者 所属(和/英) | 福井工業大学 Fukui University of Technology |
第 2 著者 氏名(和/英) | 恐神 正博 / Masahiro OSOGAMI |
第 2 著者 所属(和/英) | 福井工業大学 Fukui University of Technology |
第 3 著者 氏名(和/英) | 茂呂 征一郎 / Seiichro MORO |
第 3 著者 所属(和/英) | 福井大学 University of Fukui |
発表年月日 | 2008-08-05 |
資料番号 | CST2008-21 |
巻番号(vol) | vol.108 |
号番号(no) | 176 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |