産技センター職員の論文情報 登録コード:399 | 神奈川県産業技術センター
ホーム
ページ全体のサイズ
logo
更新日:2012.10.03

産技センター職員の論文情報 登録コード:399

発表論文/書籍 プレースインバリアントをもつペトリネットによるシーケンス制御システムのモデリング
著者/共著者 蔡以鋼,西井郁也,関口隆
掲載誌・書名 電気学会論文誌D
出版社 (社)電気学会
出版年月 1994
巻−号 114D-7/8
ページ 784-791
論文情報  近年、ペトリネットによる離散系のモデリングが多く試みられている。本論文では特に離散系の典型としてシーケンス制御システムを取り上げ、そのモデル化にペトリネットを使用する。有界で活性のペトリネットはプレースインバリアントをもつことが知られている。本論文では、シーケンス制御システムの構造を利用したモデリングの手法を提案する。実用のシーケンス制御システムは構造上有界で活性でなければならないので、本論文では、プレースインバリアントをもつサブペトリネットでシーケンス制御システムの基本要素を記述し、サブネットの参照関係を定義し、これによってシステム全体のペトリネットモデルを構成する方法について述べる。さらに、トランジションの発火競合については、ペトリネットの構造により分類し、それぞれの競合を解消するための規則を定義する。最後に、計量タンクの自動運転システムを取り上げ、そのペトリネットモデルを構築する。
備考




みなさまのご意見をお聞かせください

  • このページの情報は役に立ちましたか
  •  役に立った    普通   役に立たなかった

  • このページの内容はわかりやすかったですか
  •  分かりやすい   普通   分かりにくい

  • このページの情報は見つけやすかったですか
  •  見つけやすかった 普通   見つけにくかった