即時発火ACネットによるゼロテストの可能性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。そのような拡張の中に時間の導入, 即時発火がある。本報告では時間つき非対称選択ネットと即時発火非対称選択ネットでゼロテスドが可能であることを示す。
- 1999-07-22
論文 | ランダム
- 390 結核菌によるchemokinesの産生
- 481 結核菌菌体成分によるサイトカインの産生
- 361 気管支喘息患者における入浴と肺機能
- 43 気管支鏡検査に於けるジャクソン型噴霧器及び超音波ネブライザーを用いた麻酔法の臨床的比較検討(検査 1)
- 510 マスク装着時に於ける運動負荷中の気管内温度と酸素飽和度の推移について