| 講演名 | 1996/1/31 FAシステムの一設計法とペトリネットコントローラの改良について 武田 有志, 村越 英樹, 土肥 康孝, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文ではシステム全体を記述するペトリネットを用いたFAシステムの一設計法を提案する. この手法におけるペトリネットは大規模になるためトークンの移動を高速に実行するペトリネットコントローラが不可欠である. 著者らは以前に高速なペトリネットコントローラ[5]を提案していたが, 1)発火可能であるトランジションを発火しない, 2)双方向アークを優先的に発火しない, という2つの問題点を持っていた. そこでこれらの点について, 1)トークンの状態をホールドして確実に発火する, 2)優先度を設けて双方向アークを最優先に発火することで改良を行った. 従来のものと比べ発火の処理速度を損うことがなく改良ができ, プレース数とトランジション数が512の場合のハードウェア使用量は530kbitのメモリと9,000ゲート程度であり十分1チップ化可能である. |
| 抄録(英) | We propose the methodology modeling for FA systems and the improved Petri Net Controller. In the methodology, the status of a whole FA system is described by petri nets. Then the petri nets become very large. The methodology requires hi-speed Petri Net Controller. We proposed Petri Net Controller[5] before, but it has two problems, 1)firable transitions are not always fired, 2)both directed arcs are not fired preferentially. The improved Petri Net Controller 1)holds the token status for ensuring that firable transition are always fired, 2)fixes priority for firing both directed arcs preferentially. Its processing speed is the same as before. Assume that petri nets consist of 512 places and 512 transitions, Petri Net Controller takes about 530 kbit memories and 9,000 gates, and it can be on one chip. |
| キーワード(和) | FA / ペトリネット / ペトリネットコントローラ |
| キーワード(英) | FA / petri net / Petri Net Controller |
| 資料番号 | CPSY95-102 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 1996/1/31(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | FAシステムの一設計法とペトリネットコントローラの改良について |
| サブタイトル（和） | |
| タイトル（英） | Proposal of The Methodology Modeling for FA Systems and The Improved Petri Net Controller |
| サブタイトル（和） | |
| キーワード(1)（和/英） | FA / FA |
| キーワード(2)（和/英） | ペトリネット / petri net |
| キーワード(3)（和/英） | ペトリネットコントローラ / Petri Net Controller |
| 第 1 著者 氏名（和/英） | 武田 有志 / Yuji TAKEDA |
| 第 1 著者 所属（和/英） | 東京都立科学技術大学 Tokyo Metropolitan Institute of Technology |
| 第 2 著者 氏名（和/英） | 村越 英樹 / Hdeki MURAKOSHI |
| 第 2 著者 所属（和/英） | 東京都立科学技術大学 Tokyo Metropolitan Institute of Technology |
| 第 3 著者 氏名（和/英） | 土肥 康孝 / Yasunori DOHI |
| 第 3 著者 所属（和/英） | 横浜国立大学 Yokohama National University |
| 発表年月日 | 1996/1/31 |
| 資料番号 | CPSY95-102 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 502 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |