愛知県立大学情報科学部
2009 年 2 巻 4 号 p. 4_56-4_67
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
ペトリネットはコンカレントシステムの重要なモデルの一つである.ペトリネットはチューリング機械と有限オートマトンの中間のモデル化,解析能力を持つ.ペトリネットの構造を限定することで,解析が容易となるサブクラスが得られる.一方,ペトリネットに拡張を加えることで,チューリング機械と等価なモデル化能力を持つ拡張クラスが得られる.本稿ではペトリネットの解析問題,サブクラス,拡張クラスに関して近年の研究成果の例を示しながら概説する.
すでにアカウントをお持ちの場合 サインインはこちら