| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-08-05 10:45 時間なし連続ペトリネットの状態方程式の解について ○松本 忠・恐神正博（福井工大）・茂呂征一郎（福井大）  CST2008-21 |
|
| 抄録 | （和） | 従来の（離散）ペトリネットでは，その状態を表すトークンの個数が非負整数値をとり，トランジションの発火が一瞬に起こるということを前提にしていた．ハイブリッドペトリネットは，非負実数のトークンと連続的に発火するトランジションを一部に許容するものとして提案された．本論文では，ハイブリッドシステムのモデルとして従来の（離散）ペトリネットを拡張するときに，連続ダイナミクスを記述するための基本構造として重要である時間なし連続ペトリネット(ACPNs) の状態方程式の解を考える．ACPNs の状態方程式は通常は初期マーキングを与えたもとで，到達可能なすべての状態（マーキング）を求めるための表現として使われている．他方，初期マーキングM0，目標マーキングMd を与え，さらにMd ¡M0 を固定したもとでの状態方程式の解を考えることも重要であり，このとき，周知の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]ex = 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 2 Rn£1 + , the expansion coefficients with respect to all elemntary T-invariants are also obtained by the same technique. |
|
| キーワード | （和） | 時間なし連続ペトリネット / 時間なし離散ペトリネット / ハイブリッドペトリネット / 発火回数ベクトル / 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 | |
| 文献情報 | 信学技報, vol. 108, 2008年8月. | |
| 資料番号 | ||
| 発行日 | 2008-07-28 (CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CST2008-21 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2008-08-04 - 2008-08-05 |
| 開催地（和） | 静岡大学（浜松キャンパス）工学部システム工学科棟３階Ａ３１教室 |
| 開催地（英） | Shizuoka University (Hamamatsu Campus), Faculty of Engineering |
| テーマ（和） | ハイブリッドシステム、コンカレント工学一般 |
| テーマ（英） | Concurrent Systems |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2008-08-CST |
| 本文の言語 | 英語（日本語タイトルあり） |
| タイトル（和） | 時間なし連続ペトリネットの状態方程式の解について |
| サブタイトル（和） | |
| タイトル（英） | 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 (略称： Fukui Univ. of Tech.) |
| 第2著者 氏名（和/英/ヨミ） | 恐神 正博 / Masahiro Osogami / オソガミ マサヒロ |
| 第2著者 所属（和/英） | 福井工業大学 (略称： 福井工大) Fukui University of Technology (略称： Fukui Univ. of Tech.) |
| 第3著者 氏名（和/英/ヨミ） | 茂呂 征一郎 / Seiichiro Moro / モロ セイイチロウ |
| 第3著者 所属（和/英） | 福井大学 (略称： 福井大) University of Fukui (略称： Univ. of Fukui) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-08-05 10:45:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CST2008-21 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | no.176 |
| ページ範囲 | pp.53-58 |
| ページ数 | 6 |
| 発行日 | 2008-07-28 (CST) |
[研究会発表申込システムのトップページに戻る]