| 講演名 | 1993/5/27 制御ソフトウェアに適したペトリネットの拡張 和崎 克己, 不破 泰, 江口 正義, 中村 八束, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では,制御システムの設計に適したペトリネットの拡張とその評価方法について述べる.制御システムでは,入力データの値に応じて出力を変化させる場合が多いが,従来からのマークネットではこの記述は困難である.このため,マークネットに対して,制御システムのモデル化の記述性を改善した,拡張ペトリネット(LC-net)を提案する.このLC-netは,マークネットに,マークにデータを持たせること,発火条件を任意の論理式に拡張すること,発火時の出力動作の拡張,などの機能を付加したものである.また,従来のペトリネットによるバグ解析は,トランジションの発火評価順位という概念が欠落しているため,この発火評価順位を本提案のペトリネットに導入した.更に,本ペトリネットでモデル化したシステムのふるまいを検証するために,本ペトリネットをマークネットに変換する方法を与えた. |
| 抄録(英) | In this paper,we propose an extension of Petri nets suitable for control systems design and discuss its methods of evaluation.There are many situations in a control system environment in which a certain output varies according to the values of its input data, but the representation of such activity.is very cumbersome in the conventional marked net.For this reason,we propose an extended Petri net (LC-net) with enhanced capabilities for modelling control systems.This LC-net is a maxked net with addition of the following features:data assignment of marks,representation of firing conditions as logic equations,coupling of output procedures with transition firing,etc.Also,since the concept of transition firing evaluation orders is omitted from the analysis of conventional Petri nets,we introduce this concept formally in our proposed net.Finally,in order to study the behavior of a system modelled with this net,we provide a means for converting the extended Petri net into its corresponding marked net format. |
| キーワード(和) | ペトリネット / 拡張ペトリネット / 制御ソフトウェア / 制御システム / システム安定性 / 発 火順序 |
| キーワード(英) | Petri net / extended Petri net / control software / control systems / system stability / firing sequence |
| 資料番号 | COMP93-12,SS93-6 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1993/5/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 制御ソフトウェアに適したペトリネットの拡張 |
| サブタイトル（和） | |
| タイトル（英） | Extended Petri Nets for Control Systems Software |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri net |
| キーワード(2)（和/英） | 拡張ペトリネット / extended Petri net |
| キーワード(3)（和/英） | 制御ソフトウェア / control software |
| キーワード(4)（和/英） | 制御システム / control systems |
| キーワード(5)（和/英） | システム安定性 / system stability |
| キーワード(6)（和/英） | 発 火順序 / firing sequence |
| 第 1 著者 氏名（和/英） | 和崎 克己 / Katsumi Wasaki |
| 第 1 著者 所属（和/英） | 信州大学工学部情報工学科 Department of Information Engineering,Shinshu University |
| 第 2 著者 氏名（和/英） | 不破 泰 / Yasushi Fuwa |
| 第 2 著者 所属（和/英） | 信州大学工学部情報工学科 Department of Information Engineering,Shinshu University |
| 第 3 著者 氏名（和/英） | 江口 正義 / Masayoshi Eguchi |
| 第 3 著者 所属（和/英） | 信州大学工学部情報工学科 Department of Information Engineering,Shinshu University |
| 第 4 著者 氏名（和/英） | 中村 八束 / Yatsuka Nakamura |
| 第 4 著者 所属（和/英） | 信州大学工学部情報工学科 Department of Information Engineering,Shinshu University |
| 発表年月日 | 1993/5/27 |
| 資料番号 | COMP93-12,SS93-6 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 81 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |