即時発火ACネットによるゼロテストの可能性
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルの一つである。ペトリネットのモデル化能力はチューリング機械のそれよりも真に小さいことが知られている。その原因は(非有界な)プレースのゼロテストができないことにある。一方, ゼロテストを可能とする拡張を行うことによってペトリネットはチューリング機械と等価になることが知られている。そのような拡張の中に時間の導入, 即時発火がある。本報告では時間つき非対称選択ネットと即時発火非対称選択ネットでゼロテスドが可能であることを示す。
- 1999-07-22
論文 | ランダム
- 建設業による水田農業への参入と周年就業の実現 : 大分県北部地域の事例分析より
- カント「道徳の形而上学」における徳の義務
- Improving protein secretion of a transglutaminase-secreting Corynebacterium glutamicum recombinant strain on the basis of ^C metabolic flux analysis(BIOCHEMICAL ENGINEERING)
- Monascus pigment production by solid-state fermentation with corn cob substrate(ENVIRONMENTAL BIOTECHNOLOGY)
- 29P-A-7 U字型曲線をつないだ音声波モデル(人間の感覚と損傷に対する生物工学的アプローチ(2),一般講演)