著者

太田 淳 辻 孝吉

出版者

一般社団法人 電子情報通信学会

雑誌

電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review (ISSN:18820875)

巻号頁・発行日

vol.2, no.4, pp.4_56-4_67, 2009-04-01 (Released:2011-05-01)

参考文献数

29

被引用文献数

2

---

ペトリネットはコンカレントシステムの重要なモデルの一つである.ペトリネットはチューリング機械と有限オートマトンの中間のモデル化,解析能力を持つ.ペトリネットの構造を限定することで,解析が容易となるサブクラスが得られる.一方,ペトリネットに拡張を加えることで,チューリング機械と等価なモデル化能力を持つ拡張クラスが得られる.本稿ではペトリネットの解析問題,サブクラス,拡張クラスに関して近年の研究成果の例を示しながら概説する.