The Study of Intelligent Analysis Technology for Command Information Systems Based Petri Net

Aim To research the application of Petri nets theoretical method in the concurrent asynchronous communications control, find out the detect arithmetic of systems deadlock, and analyze the systems liveness. Methods A detect method of deadlock for information net based Petri net is proposed in this paper. The main method is as follows: After standardize the information systems and extract its mathematical model used the Petri net theory, and then standardize this model. On the basis of models analysis, find out the loca where system is deadness. Results After the statistical analysis of application result, this method can be effectively applied in the information systems plan, it will reduce the times of deadlock number above 89%. Conclusion This method can be applied in the system which have the transmission of concurrent asynchronous information, provide the theory basis which have important reference value for finding the fault and repair system. The main problem is the search ergodic process of Petri nets data structure is quite time consuming, so it can be combined with experience and man-machine interactive in application, to improve the efficiency.
intelligent analysis technology dynamic property analysis command-control net Petri net
Zhang Li Mu Xiao-dong Wang Xian-meng
Xian Research Institute of Hi-Tech Xian, China
国际会议
太原
英文
10-13
2010-10-22(万方平台首次上网日期,不代表论文的发表时间)