| 講演名 | 1994/4/13 プレースインバリアントについての一考察 蔡 以鋼, 関口 隆, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ペトリネットのプレースとトランジションのインバリアンスはネット性質の一つであり,とりわけプレースインバリアントの定義において極小サポートをもつインバリアントの概念が重要である。しかし,これに対して極大や最大S-インバリアントが定義されておらず,ネット分割やその解析においてこれらの概念も必要なことがわかってきた。本稿では,まずプレースインバリアントの定義およびその求め方を紹介し,同一、極大と最大プレースインバリアントおよびそれぞれのサポート集合を定義する。さらに,これらの新しい概念に関連した一連の性質や定理を導出し,プレースインバリアントのもつ代数的意味について考察する。 |
| 抄録(英) | Invariance of places and transitions is one of the properties in Petri net.Although place invariants corresponding minimal supports are particularly important in various aspects,the maximal and maximum ones have not been defined.According to the recent research on division of Petri net,the concepts of them are found to be also important.In this paper,firstly,the definition of place invariants are briefly introduced.Then,the definitions of identified,maximal and maximum place invariants and their supports will be given.And further,the properties and theorems on these new concepts will be derived,and their algebraic meanings will be also considered. |
| キーワード(和) | ペトリネット / プレースインバリアント / ベクトル空間 / 直和 / 不変部分空間 |
| キーワード(英) | Petri Net / Place Invariant / Vector Space / Direct Sum / Invariant Subspace |
| 資料番号 | CST94-9 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1994/4/13(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プレースインバリアントについての一考察 |
| サブタイトル（和） | |
| タイトル（英） | A Study on Place Invariance of Petri Net |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri Net |
| キーワード(2)（和/英） | プレースインバリアント / Place Invariant |
| キーワード(3)（和/英） | ベクトル空間 / Vector Space |
| キーワード(4)（和/英） | 直和 / Direct Sum |
| キーワード(5)（和/英） | 不変部分空間 / Invariant Subspace |
| 第 1 著者 氏名（和/英） | 蔡 以鋼 / Yigang Cai |
| 第 1 著者 所属（和/英） | 横浜国立大学 Yokohama National University |
| 第 2 著者 氏名（和/英） | 関口 隆 / Takashi Sekiguchi |
| 第 2 著者 所属（和/英） | 横浜国立大学 Yokohama National University |
| 発表年月日 | 1994/4/13 |
| 資料番号 | CST94-9 |
| 巻番号（vol） | vol.94 |
| 号番号（no） | 6 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |