即時発火ACネットによるゼロテストの可能性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。そのような拡張の中に時間の導入, 即時発火がある。本報告では時間つき非対称選択ネットと即時発火非対称選択ネットでゼロテスドが可能であることを示す。
- 1999-07-22
論文 | ランダム
- 改憲して自主防衛体制 (1970年代日本財界の目標)
- 中国人の養生観とその文化・宗教的背景
- 噴門側胃切除後の膵液,胆汁分泌ならびに消化吸収における幽門前庭部の意義に関する実験的研究
- 造船の生産管理におけるコンピューターの適用(第2報)
- 船殼内業工程における合理化の二三の具体例