即時発火ACネットによるゼロテストの可能性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。そのような拡張の中に時間の導入, 即時発火がある。本報告では時間つき非対称選択ネットと即時発火非対称選択ネットでゼロテスドが可能であることを示す。
- 1999-07-22
論文 | ランダム
- Spontaneous Emission in Coaxial Cylindrical Cavities : Condensed Matter and Statistical Physics
- P18. Geomorphological Features, Flood Characters and Water-use in the Lower Mekong Plain, Cambodia(Abstracts of Papers Presented at the Fall Meeting of the Union, December 2004)
- II-64 腹部血管造影により診断し得た出血性十二指腸腫瘍 (神経線維腫) の1例(第6回日本消化器外科学会総会)
- 260 薄鋼板製品の自動梱包ラインの開発(薄板の表面性状と加工性・工場設備, 加工, 日本鉄鋼協会 第 98 回(秋季)講演大会)
- 溝状粗面ロ-リングにおけるTi-6Al-4V合金の集合組織硬化