| Budget Amount *help |
¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 2004: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2003: ¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 2002: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Research Abstract |
In order to analyze and design systematically the large scale concurrent systems connected by networks, we investigate theoretically and develop the CAD programs as follows.
Investigation:
The problem of system control can be solved by using reachability of Petri nets and the problem of system deadlock can be solved by using liveness of Petri nets.
Therefore, first, in order to deal with the fuzzy information in the networks and the large scale concurrent systems, we introduced new extended Petri nets which can use the complex number as parameters.
Next, in order to show the usefulness of this extended Petri net (Quantum Petri net), we derived more useful condition for checking its structural properties and behavioral properties in subclasses. In particular, these conditions can be checked easily because they are presented in terms of the initial token distribution, the final token distribution, and the net structure.
Development of CAD Programs:
We prepared to analyze and design systematically the large scale concurrent systems by using the above theoretical results and its program packages (boundedness, reachability, liveness, etc.).
Results:
These results are appeared in the following papers (11. REFERENCES).
|
