著者

斎藤 貴光 柴田 弘 熊谷 貞俊

出版者

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

雑誌

電子情報通信学会技術研究報告. CST, コンカレント工学

巻号頁・発行日

vol.95, no.471, pp.17-22, 1996-01-19

被引用文献数

1

---

本報告では.原子力プラントのモデル化としてペトリネットを用いた離散事象モデリング法を紹介する.達続変数システムを離散事象システムとしてモデル化する方法は,これまでに数多く提案されているが,定性推論において挙動予測の不完全性(あいまい性や,にせの挙動生成)という問題がある.それを解決するために,これまでは特殊な制約を付け加えるなどの方法がなされてきた.ここで紹介する方法は,一般的な定性推論に特殊な制約を含んだアルゴリズムをペトリネットで表現して定性推論を行なうという方式である.この方式によって正しい挙動ができることを示す.