与えられた動作を行う条件/事象ネットの最小実現(システムと制御)

スポンサーリンク

概要

論文の詳細を見る
ペトリネットは離散事象システムの有力なモデルであり,その動作はトランジションの発火形態を表す半言語によって記述できる.したがって,離散事象システムの一つの設計問題として,システムの望みの動作を表す半言語が仕様として与えられたとき,この動作のみを行うペトリネットを構成する問題が考えられる.しかし,異なるペトリネットであっても,その動作が全く同じになることもある.ペトリネットを使って離散事象システムをモデル化すると,各プレースは事象の発生を促す条件に対応する.このため,同じ動作を行うネットであれば,一般にプレース数は少ないことが望まれるであろう.本論文では,プレースの容量が1であるC/Eネットを対象に,望みの動作のみを行うネットの中からプレース数が最小となるものを構成する問題をC/Eネット最小実現問題として定式化し,その性質を明らかにする.また,これの一つの実用的な解法を提案し,解法としての特徴を論じる.
2011-12-01

著者

関連論文

もっと見る

スポンサーリンク