時間つきACネットの活性問題の非可解性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。Merlinの時間ペトリネットはゼロテストを可能とすることが知られている。筆者らは時間ペトリネットのサブクラスである時間つき非対称選択(AC)ネットについて, 可達問題が非可解であることを示した。本報告では時間つきACネットの活性問題もまた非可解であることを示す。
- 2000-01-18
論文 | ランダム
- 福者J・H・ニューマン枢機卿のローマ・カトリック教会への転会の鍵--"Securus judicat orbis terrarium",聖アウグスティヌスの「全世界の判断に誤りなし」 (特集 ニューマン)
- 高齢者援助のための保健婦活動のあり方
- 漢方のCAMからの脱出 : 大建中湯を中心に
- 若い青年技能者育成
- 小型振動モータ(その2)