基于Petri网的规范说明语言

The Specification Language Based on Petri Nets

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。

Formal specification is an important subject in the research area of computer science. Many language systems have been reported recently. In this paper we present a specification language based on Petri Nets. Data types, control procedures and implementation are introduced, and as an example, the language is used to specify connection-oriented service of communication protocols.