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

为了系统地分析和设计由网络连接的大型信息系统，我们从理论上进行了研究，并开发了相应的CAD程序。理论上的研究表明：利用Petri网的可达性可以解决系统控制问题，利用Petri网的活性可以解决系统死锁的问题。因此，首先，在AC、EMG、POC等子类中，我们推导出了检验其结构属性和行为属性的更有用的条件。其次，我们得到了这些子类的可达性和活性的充要条件。特别是，可以容易地检查这些条件，因为它们以初始令牌分布、最终令牌分布和网络结构的形式呈现。最后，为了处理网络和大规模信息系统中的模糊信息，我们引入了一种新的扩展的以复数为参数的Petri网。CAD程序的开发：利用上述理论结果及其程序包(有界性、可达性、活性等)，对大规模信息系统进行了系统的分析和设计。

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).