A reliability analysis of distributed programs with colored Petri nets
Seungwoo Hong, Kapsu Kim · 2002
The paper focuses on a modeling approach based on colored Petri nets to estimate the reliability of programs in a distributed computing system environment. The procedure of analyzing the system reliability is as follows. First a distributed program model is described. Second, a resource allocation table and PES must be constructed. Third, a colored Petri net is constructed. Lastly, we estimate the system reliability. This method is very simple, and is very useful for developing distributed programs.