即時発火ACネットによるゼロテストの可能性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。そのような拡張の中に時間の導入, 即時発火がある。本報告では時間つき非対称選択ネットと即時発火非対称選択ネットでゼロテスドが可能であることを示す。
- 1999-07-22
論文 | ランダム
- 今にして思うこと
- ハンス・ヨアヒム・ヒルシュ「過失犯の不法について」
- 86 胸腔内結石症の一例(興味ある症例)
- マフムード・ガーワーン・マドラッサの占める様式史上の位置について
- 中世アナトリアにおけるマドラッサ建築の二類型に関する歴史的考察