講演名 | 1999/1/28 コンカレントシステムにおけるインバリアント : 展望 松本 忠, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | コンカレントシステムには並列計算、分散計算、モバイル計算の分野まで含まれるので、コンカレント工学の包含する研究分野は大変広いものであり、モデル化手法も多く存在する。それゆえ、これらに関する研究動向を一般的に論ずることは困難である。本報告では、コンカレントシステムにおいて重要な概念であるインバリアントの研究動向を、ペトリネットモデルにもとづくものに限定して示している。 |
抄録(英) | Since paralell, distributed and mobile computings are mainly included in concurrent systems concurrent engineering has broard research fields and there are also lots of the useful proposed modeling methods. Therefore it is very difficult to me to give overview of researches on concurrent engineering. The purpose of this report is to give an overview of the invariant methods in Petri net based concurrent systems. |
キーワード(和) | コンカレントシステム / インバリアント / ペトリネットモデル / P/Tシステム / High Level Nets |
キーワード(英) | Concurrent Systems / Invariants Petri Net Based Models / P/T Systems / High Level Nets |
資料番号 | CST98-36 |
発行日 |
研究会情報 | |
研究会 | CST |
---|---|
開催期間 | 1999/1/28(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Concurrent System Technology (CST) |
---|---|
本文の言語 | JPN |
タイトル(和) | コンカレントシステムにおけるインバリアント : 展望 |
サブタイトル(和) | |
タイトル(英) | Invariants in Concurrent Systems : An Overview |
サブタイトル(和) | |
キーワード(1)(和/英) | コンカレントシステム / Concurrent Systems |
キーワード(2)(和/英) | インバリアント / Invariants Petri Net Based Models |
キーワード(3)(和/英) | ペトリネットモデル / P/T Systems |
キーワード(4)(和/英) | P/Tシステム / High Level Nets |
キーワード(5)(和/英) | High Level Nets |
第 1 著者 氏名(和/英) | 松本 忠 / Tadashi MATSUMOTO |
第 1 著者 所属(和/英) | 福井大学 工学部 Faculty of Engineering, Fukui University |
発表年月日 | 1999/1/28 |
資料番号 | CST98-36 |
巻番号(vol) | vol.98 |
号番号(no) | 565 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |