Budget Amount *help |
¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2022: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2021: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2020: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2019: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2018: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
Outline of Final Research Achievements |
We have formalized several problems around reachability for vector addition systems or their equivalent state transition systems. Concretely, boundedness and termination for Petri nets, and reachability-preserving transformation from a vector addition system with states to a vector addition system are formalized. Although formalization of the decidability of the reachability problem for vector addition systems could not be completed, some insight into promising approach to formalization is obtained by investigating several methods for proving the decidability.
|