可達集合が半線形集合であるペトリネットのアンフォールディング(コンカレント工学一般)

スポンサーリンク

概要

論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。一般に、ペトリネットの状態数は無限であり、たとえそれが有限であったとしても、ペトリネットの規模に対して、その状態数は指数関数的に増大する。この状態空間爆発はペトリネットの解析問題を解くための大きな障害となっている。ペトリネットが有界である場合に、状態空間をコンパクトに表現する方法として、アンフォールディングが提案されている。非有界なペトリネットに対しては、被覆木生成法の考えをアンフォールディングへ適用し、ωを用いてアンフォールディングを生成する方法が提案されている。この方法は,ωを用いることから、状態空間の一部の情報が欠落する。一方、非有界なペトリネットの状態空間Rが半線形集合である場合に、拡張された被覆木を用いて,状態空間を情報欠落なしに表現する方法が提案されている。本報告では、状態空間Rが半線形集合であるペトリネットのアンフォールディング生成方法を提案する.
2003-05-30

著者

関連論文

もっと見る

スポンサーリンク