Skip to Main Content
Aim To research the application of Petri net's theoretical method in the concurrent asynchronous communications control, find out the detect arithmetic of system's deadlock, and analyze the system's 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 model's 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 net's data structure is quite time consuming, so it can be combined with experience and man-machine interactive in application, to improve the efficiency.
Computer Application and System Modeling (ICCASM), 2010 International Conference on (Volume:1 )
Date of Conference: 22-24 Oct. 2010