お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2005-01-27 11:15
指定プレースをサポートに含むペトリネットインバリアントの線形計画法に基づく算出法
入星厚志田岡智志渡邉敏正広島大
抄録 (和) ペトリネット$ N = (P,T,E,\alpha,\beta) $ の
$P$-インバリアントとは,$N$ の $PT$接続行列を$A$に対して
「$Y^{tr}\cdot A = \bar{0} $ を満たす$ Y $」である.
全ての非負極小サポートインバリアント抽出法としてよく知られる
Fourier-Motzkin(FM)法には, 途中で記憶すべき解候補ベクトルの増加に
起因するメモリ不足のために, インバリアントが存在するにも関わらず何も
算出されない場合が起り得る.一方,線形計画法を用いると,
逐次的に,何個かあるいはすべての極小サポートインバリアントが
求められるが,算法の高速化と数値計算精度の向上が大きな課題である.
本稿は,指定プレースをサポートに含む極小サポートインバリアント
を線形計画法に基づいて抽出する手法を提案し,
計算機実験によりその性能を検証する. 
(英) A $P$-invariant of a Petri net $ N = (P,T,E,\alpha,\beta) $ is a
$|P|$-dimensional vector $Y$ with $Y^{tr}\cdot A = \bar{0}$ for the
place-transition incidence matrix $A$ of $N$.
The Fourier-Motzkin method is well-known for computing all
such invariants. This method, however, has a critical deficiency such
that , even if a give Petri net $N$ has any invariant, it is likely
that no invariants are output because of memory overflow in storing
intermediary vectors as candidates for invariants.
On the other hand, a linear programming-based method
produces all or a few minimal support invariants one by one.
Major improvements required for this method are speeding up and
avoiding computational errors. In this paper, we propose a linear programming-based algorithm for the computation of minimal support invariants with supports containing specified places. It is shown, through
experimental results, that this algorithm can be effective and is worth
investigating.
キーワード (和) ペトリネット / P-インバリアント / 極小サポート / 指定プレース / 線形計画法 / / /  
(英) Petri nets / P-invariants / minimal supports / specified place / a linear programming / / /  
文献情報 信学技報, vol. 104, 2005年1月.
資料番号  
発行日 2005-01-20 (CST) 
ISSN Print edition: ISSN 0913-5685
PDFダウンロード

研究会情報
研究会 MSS  
開催期間 2005-01-27 - 2005-01-27 
開催地(和) 電気通信大学 
開催地(英) Univ. of Electro-Communications 
テーマ(和) コンカレントシステム, 一般 
テーマ(英) Concurrent system, etc. 
講演論文情報の詳細
申込み研究会 MSS 
会議コード 2005-01-CST 
本文の言語 英語(日本語タイトルあり) 
タイトル(和) 指定プレースをサポートに含むペトリネットインバリアントの線形計画法に基づく算出法 
サブタイトル(和)  
タイトル(英) Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places 
サブタイトル(英)  
キーワード(1)(和/英) ペトリネット / Petri nets  
キーワード(2)(和/英) P-インバリアント / P-invariants  
キーワード(3)(和/英) 極小サポート / minimal supports  
キーワード(4)(和/英) 指定プレース / specified place  
キーワード(5)(和/英) 線形計画法 / a linear programming  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 入星 厚志 / Atsushi Iriboshi / イリボシ アツシ
第1著者 所属(和/英) 広島大学大学院 (略称: 広島大)
Hiroshima University (略称: Hiroshima Univ.)
第2著者 氏名(和/英/ヨミ) 田岡 智志 / Satoshi Taoka / タオカ サトシ
第2著者 所属(和/英) 広島大学大学院 (略称: 広島大)
Hiroshima University (略称: Hiroshima Univ.)
第3著者 氏名(和/英/ヨミ) 渡邉 敏正 / Toshimasa Watanabe / ワタナベ トシマサ
第3著者 所属(和/英) 広島大学大学院 (略称: 広島大)
Hiroshima University (略称: Hiroshima Univ.)
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2005-01-27 11:15:00 
発表時間 25分 
申込先研究会 MSS 
資料番号 CST2004-42 
巻番号(vol) vol.104 
号番号(no) no.593 
ページ範囲 pp.19-24 
ページ数
発行日 2005-01-20 (CST) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会