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

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

発表論文/書籍 プレースインバリアントによるペトリネットの分割とネット性質の判別
著者/共著者 宮澤以鋼,関口隆
掲載誌・書名 計測自動制御学会論文集
出版社 (社)計測自動制御学会
出版年月 1996
巻−号 32-6
ページ 930-937
論文情報  筆者らはペトリネットの応用対象をシーケンス制御システムに限定し考察することにより、モデルとなるペトリネットがプレースインバリアントを有することを指摘し、プレースインバリアントをもつペトリネットによるモデル化と解析の手法を提案した。さらに、プレースインバリアントによるペトリネットの分割法を提案し、解析に有効であることも示した。本論文では、プレースインバリアントをもつペトリネットによって構築されたネットが、プレースインバリアントによる分割が可能なことを証明した。さらに、全体ネットと分割されたサブネットとの間の各種性質の保存について、プレースインバリアント被覆及び活性に関する性質保存の条件を求めた。最後に、サブネットによる全体ネットの可達性を判別するための条件も導出した。これらの一連の結果により、シーケンス制御システムのペトリネットモデルの解析はサブネットの解析により行えることが示された。
備考




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

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

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

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