SYSTEMATIC ANALYSIS AND DESIGN OF LARGE SCALE CONCURRENT SYSTEMS BY USING QUANTUM NET MODEL
| Project/Area Number |
14550403
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
System engineering
|
|---|
| Research Institution | AICHI PREFECTURAL UNIVERSITY |
|---|
Principal Investigator |
TSUJI Kohkichi Aichi Prefectural University, Professor, 情報科学部, 教授 (00197675)
|
|---|
| Project Period (FY) |
2002 – 2004
|
| Project Status |
Completed (Fiscal Year 2004)
|
| 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)
|
|---|
| Keywords | PETRI NET / AUTONOMOUS DISTRIBUTED SYSTEM / DISCRETE EVENT / CONCURRENT SYSTEM / QUANTUM PETRI NET / NET THEORY / QUBIT / GRAPH THEORY |
|---|
| 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).
|
Report
(4 results)
Research Products
(29 results)
