Claire Palmer and Paul W. H. Chung
The motivation for creating and verifying process plant models is briefly described. Verification is defined. Verification techniques for signed directed graphs models of process plants are detailed. Two case studies are presented to evaluate the verification techniques. A limitation with the verification is detailed.