An analysis of parallel program by utilizing high-level nets

The authors present procedural analysis methods of a program described in Flat Guarded Horn Clauses (FGHC). FGHC is a parallel programming language based on Horn logic. The program processes execute in parallel, so debugging is very difficult. In the analysis methods the FGHC program is modeled by means of HL (high-level) nets, a kind of Petri net model. The modeling is based on the computation rules of FGHC to analyze the behavior of the program. In the modeling rules, reduction of the FGHC program corresponds to firing of a transition. Therefore, the analysis methods calculate firing sequences to detect program deadlock, compute parallelism and evaluate the success or failure of the program