時間つきACネットの活性問題の非可解性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。Merlinの時間ペトリネットはゼロテストを可能とすることが知られている。筆者らは時間ペトリネットのサブクラスである時間つき非対称選択(AC)ネットについて, 可達問題が非可解であることを示した。本報告では時間つきACネットの活性問題もまた非可解であることを示す。
- 2000-01-18
論文 | ランダム
- 12.長期間にわたり患側肺の拡張が得られなかった先天性横隔膜ヘルニアの2例(第22回 日本小児外科学会近畿地方会)
- 思春期用日常生活ストレッサー尺度の試作
- 10.先天性気管狭窄症に対する気管環状切除・端々吻合+自家肋軟骨移植術(第22回 日本小児外科学会近畿地方会)
- 9.先天性声門下狭窄症に対するAnterior, Cricoid Split法の経験(第22回 日本小児外科学会近畿地方会)
- 高校生の抑うつ症状と心理社会的関連要因