講演名 1998/1/30
複数ペトリネットコントローラのコンカレント制御について
高野 渉, 堀口 剛, 土肥 康孝, 村越 英樹,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 筆者らは以前に, プロセスの制御やシーケンス制御にペトリネットを適用し, ハードウェアによるペトリネットコントローラを提案した. 以前提案したペトリネットコントローラは, LSIでの実現を考えており, 数十から数百のプレースしか扱えない. そこで, 大規模なシステムを扱うために, コントローラの使用するメモリ量をネットグラフを保存するフォーマットの変更で減少する方法を提案する. また, 以前提案していた複数コントローラ間でのトークン管理を一括管理することにより入出力を矛盾なく行う方法に変更・改善した. これにより, 従来よりも, 多くのプレースを扱うことが可能となり, システム全体のトークンを矛盾なく高速に処理することが可能となった.
抄録(英) We have proposed a new Petri Net Controller for process control and sequence control. The previous Petri Net Controller LSI can hold only up to a few tens of places. So a new system is necessary to reduce the amount of memory against the increase of number of places for a large Petri Net. We propose here a new controller which reclaims the (log n/n) memory of the previous one. We also propose a new Main controller, which keeps the consistency of tokens of shared places among sub controllers. These make it possible to handle a larger Petri Net and its speed of fire-check is as fast as the previous one.
キーワード(和) ペトリネット / 並列処理 / 整合性 / メモリ減少
キーワード(英) Petri Net / Sub Net / Concurrent Control / Sequence Controller
資料番号 CPSY97-105
発行日

研究会情報
研究会 CPSY
開催期間 1998/1/30(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Computer Systems (CPSY)
本文の言語 JPN
タイトル(和) 複数ペトリネットコントローラのコンカレント制御について
サブタイトル(和)
タイトル(英) Concurrent Control of a large Petri Net by Petri Net Controllers
サブタイトル(和)
キーワード(1)(和/英) ペトリネット / Petri Net
キーワード(2)(和/英) 並列処理 / Sub Net
キーワード(3)(和/英) 整合性 / Concurrent Control
キーワード(4)(和/英) メモリ減少 / Sequence Controller
第 1 著者 氏名(和/英) 高野 渉 / Wataru Takano
第 1 著者 所属(和/英) 横浜国立大学工学部電子情報工学科
Faculty of Engineering Yokohama National University
第 2 著者 氏名(和/英) 堀口 剛 / Tsuyoshi Horiguchi
第 2 著者 所属(和/英) 横浜国立大学工学部電子情報工学科
Faculty of Engineering Yokohama National University
第 3 著者 氏名(和/英) 土肥 康孝 / Yasunori Dohi
第 3 著者 所属(和/英) 横浜国立大学工学部電子情報工学科
Faculty of Engineering Yokohama National University
第 4 著者 氏名(和/英) 村越 英樹 / Hideki Murakoshi
第 4 著者 所属(和/英) 東京都立科学技術大学電子システム工学科
Tokyo Metropolitan Institute of Technology
発表年月日 1998/1/30
資料番号 CPSY97-105
巻番号(vol) vol.97
号番号(no) 524
ページ範囲 pp.-
ページ数 8
発行日