即時発火ACネットによるゼロテストの可能性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。そのような拡張の中に時間の導入, 即時発火がある。本報告では時間つき非対称選択ネットと即時発火非対称選択ネットでゼロテスドが可能であることを示す。
- 1999-07-22
論文 | ランダム
- リオン補聴相談室における両耳装用の検討(第4報) : 両耳装用者の主観と検査結果との比較
- HoNi_2^B_2Cの磁性と超伝導の競合
- リオン補聴相談室における両耳装用の検討(第3報) : 補聴器の装用条件が両耳補聴に及ぼす影響
- YNi_2^B_2Cにおけるフォノンの異常
- 中性子散乱によるPr_Ca_MnO_3, Pr_(Ca_Sr_y)_MnO_3の金属-絶縁体転移