一种适用于过程控制系统建模的形式描述语言PROTOB

本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。文中首先阐述了PROT网的基本概念及其实例,在此基础上讨论了PROTOB网,结合一个过程控制系统的控制流程,给出了它的PROTOB模型。