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

FORMAL SPECIFICATION LANGUAGE PROTOB USED IN PROCESS CONTROL SYSTEM

作　　者：胡家宝[1] 彭向荣[2] 

机构地区：[1]武汉交通科技大学计算机科学与工程系,武汉430063 [2]武汉水运工业学校计算中心,武汉430063

出　　处：《计算机应用与软件》1998年第1期10-14,22,共6页Computer Applications and Software

基　　金：国家自然科学基金

摘　　要：本文研讨一种适用于过程控制系统建模的形式描述语言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.

关 键 词：形式语言 PROTOB网 形式描述语言 过程控制系统 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构] TP273[自动化与计算机技术—计算机科学与技术]