講演名 | 2005-01-27 指定プレースをサポートに含むペトリネットインバリアントの線形計画法に基づく算出法(コンカレントシステム, 一般) 入星 厚志, 田岡 智志, 渡邉 敏正, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | ペトリネットN=(P, T, E, α, β)のP-インバリアントとは, NのPT接続行列をAに対して「Y^ |
抄録(英) | A P-invariant of a Petri net N=(P, T, E, α, β) is a |P|-dimensional vector Y with Y^ |
キーワード(和) | ペトリネット / P-インバリアント / 極小サポート / 指定プレース / 線形計画法 |
キーワード(英) | Petri nets / P-invariants / minimal supports / specified place / a linear programming |
資料番号 | CST2004-42 |
発行日 |
研究会情報 | |
研究会 | CST |
---|---|
開催期間 | 2005/1/20(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Concurrent System Technology (CST) |
---|---|
本文の言語 | ENG |
タイトル(和) | 指定プレースをサポートに含むペトリネットインバリアントの線形計画法に基づく算出法(コンカレントシステム, 一般) |
サブタイトル(和) | |
タイトル(英) | 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 |
第 1 著者 氏名(和/英) | 入星 厚志 / Atsushi IRIBOSHI |
第 1 著者 所属(和/英) | 広島大学大学院 工学研究科 情報工学専攻 Graduate School of Engineering, Hiroshima University |
第 2 著者 氏名(和/英) | 田岡 智志 / Satoshi TAOKA |
第 2 著者 所属(和/英) | 広島大学大学院 工学研究科 情報工学専攻 Graduate School of Engineering, Hiroshima University |
第 3 著者 氏名(和/英) | 渡邉 敏正 / Toshimasa WATANABE |
第 3 著者 所属(和/英) | 広島大学大学院 工学研究科 情報工学専攻 Graduate School of Engineering, Hiroshima University |
発表年月日 | 2005-01-27 |
資料番号 | CST2004-42 |
巻番号(vol) | vol.104 |
号番号(no) | 593 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |