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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.