SYSTEMATIC ANALYSIS AND DESIGN OF LARGE SCALE INFORMATION SYSTEMS BY USING AUTONOMOUS DISTRIBUTED NET MODEL

为了对网络连接的大型信息系统进行系统的分析和设计，我们进行了理论研究，并开发了如下的CAD程序。理论研究：利用Petri网的可达性可以解决系统控制问题，利用Petri网的活动性可以解决系统死锁问题。因此，首先，在子类中，例如AC， EMG，POC等。，得到了检验其结构性能和行为性能更有用的条件。其次，我们推导了这些子类的可达性和活动性的充分必要条件。特别是，这些条件可以很容易地检查，因为它们以初始令牌分布、最终令牌分布和网络结构的方式呈现。最后，为了处理网络和大型信息系统中的模糊信息，我们引入了以复数为参数的扩展Petri网。此外，为了证明它的实用性，我们证明了这种扩展的Petri网（量子Petri网）可以表示量子图灵机的量子比特。CAD程序的开发：我们准备利用上述理论成果及其程序包（有界性、可达性、活跃性等）对大型信息系统进行系统的分析和设计。结果：这些结果出现在以下文献（11.参考文献）。

In order to analyze and design systematically the large scale information systems connected by net-works, we investigate theoretically and develop the CAD programs as follows.Theoretical 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 subclasses, e.g. AC, EMG,POC,etc., we derived more useful condition for checking its structural properties and behavioral properties. Next, we derived the necessary and sufficient conditions for reachability and liveness in these 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. Finally, in order to deal with the fuzzy information in the networks and the large scale information systems, we introduced new extended Petri nets which can use the complex number as parameters. Furthermore, in order to show its usefulness, we showed that this extended Petri net (Quantum Petri net) can represent qubits of a quantum Turing machine.Development of CAD Programs :We prepared to analyze and design systematically the large scale information 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).