即時発火ACネットによるゼロテストの可能性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。そのような拡張の中に時間の導入, 即時発火がある。本報告では時間つき非対称選択ネットと即時発火非対称選択ネットでゼロテスドが可能であることを示す。
- 1999-07-22
論文 | ランダム
- 海水温度差エネルギー活用によるサンポート高松 (小特集 地域熱供給と未利用エネルギーの活用)
- 41558 海水温度差エネルギーを利用した空調用熱源システムに関する研究 : その2 シミュレーションによるシステムの評価(省エネルギー、海洋温度差,環境工学II)
- 41557 海水温度差エネルギーを利用した空調用熱源システムに関する研究 : その1 システム概要及び夏季実測結果(省エネルギー、海洋温度差,環境工学II)
- 452 海水温度差エネルギーを利用した空調用熱源システムに関する研究 : その2 シミュレーションによるシステムの評価
- 451 海水温度差エネルギーを利用した空調用熱源システムに関する研究 : その1 システム概要及び夏季実測結果