摘要
本文研讨一种适用于过程控制系统建模的形式描述语言PROTOB。文中首先阐述了PROT网的基本概念及其实例,在此基础上讨论了PROTOB网,结合一个过程控制系统的控制流程,给出了它的PROTOB模型。
This paper makes the study on formal specification language for modeling of process control system. It first describes the basic concept and instance of the PROT nets, and then discusses the PROTOB nets, finally a PROTOB nets model is given by using a process control system.
出处
《计算机应用与软件》
CSCD
1998年第1期10-14,22,共6页
Computer Applications and Software
基金
国家自然科学基金
