Aston Univ., Birmingham, Thesis (Ph. D.), 1987.
Abstract: This thesis addresses the problem of error detection and recovery in distributed systems. Petri nets are used to represent the state and to solve state-reachability problems for concurrent systems. The dynamic behavior of the system can be characterized by a state-change table derived from the state reachability tree.