| 講演名 | 1997/5/22 条件/事象ネットに基づく離散事象システムの階層設計 松谷 豊, 橋爪 進, 小野木 克明, 西村 義行, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 著者らはこれまでに条件/事象ネットの構成問題を,"望ましいネットの動作が半言語を使って仕様として与えられたとき,その動作だけを行う条件/事象ネットを構成せよ"という問題としてとらえることを提案してきた.本報では,"一連のまとまった動作を表す半言語を一つの事象で表す"という形で仕様が階層表現されたときの条件/事象ネット構成問題を考える.そこでは,まず初めに,この構成問題の解と各レベルごとの構成問題の解との関係を明らかにする.つぎに,この結果をもとに,それぞれ独立に求められた各レベルごとの構成問題の解から,この問題の解を構成するための一つの方法を提案する.これによって,離散事象システムの階層的な設計が期待される. |
| 抄録(英) | In design of systems, we generally start with a high-level specification and refine it stepwise until a sufficient low-level specification is reached. This paper deals with the following condition/event net (C/E net)construction problem : given a partial language as specification which is described hierarchically, construct a C/E net whose activity coincides with the set of all prefixes of the given partial language, by adding auxiliary events if necessary. The solution of this problem may be found by solving a series of C/E net construction problems step by step. The paper studies how the solutions of low-level problems have to do with those of high-level problems. It also presents a hierarchical solution technique. |
| キーワード(和) | 条件/事象ネット / 階層表現された仕様 / 半言語 / ネットの構成 / 離散事象システム |
| キーワード(英) | condition/event net / hierarchical specification / partial language / net construction / discrete event system |
| 資料番号 | CST97-4 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1997/5/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 条件/事象ネットに基づく離散事象システムの階層設計 |
| サブタイトル（和） | |
| タイトル（英） | Hierarchical Design of Discrete Event Systems Based on Condition/Event Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 条件/事象ネット / condition/event net |
| キーワード(2)（和/英） | 階層表現された仕様 / hierarchical specification |
| キーワード(3)（和/英） | 半言語 / partial language |
| キーワード(4)（和/英） | ネットの構成 / net construction |
| キーワード(5)（和/英） | 離散事象システム / discrete event system |
| 第 1 著者 氏名（和/英） | 松谷 豊 / Yutaka MATSUTANI |
| 第 1 著者 所属（和/英） | 豊橋技術科学大学生産システム工学系 Department of Production Systems Engineering, Toyohashi University of Technology |
| 第 2 著者 氏名（和/英） | 橋爪 進 / Susumu HASHIZUME |
| 第 2 著者 所属（和/英） | 豊橋技術科学大学生産システム工学系 Department of Production Systems Engineering, Toyohashi University of Technology |
| 第 3 著者 氏名（和/英） | 小野木 克明 / Katsuaki ONOGI |
| 第 3 著者 所属（和/英） | 名古屋大学大学院 工学研究科 分子化学工学専攻 Department of Chemical Engineering, Nagoya University |
| 第 4 著者 氏名（和/英） | 西村 義行 / Yoshiyuki NISHIMURA |
| 第 4 著者 所属（和/英） | 東邦大学 理学部 情報科学科 Department of Information Science, Toho University |
| 発表年月日 | 1997/5/22 |
| 資料番号 | CST97-4 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 51 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |