基于 Petri 网和 B 语言集成的形式化方法

Formal Method Integrating Petri Nets and B

本文中提出了一种能够描述分布式系统和实时系统的形式化方法-Petri-B 网，Petri-B 网是集成了 Petri 网理论 和 B 语言的形式化方法，它不仅具有了 Petri 网的特点，还具备了 B 语言的长处。本文定义了 Petri-B 网并用它来描述一个座位预 订系统。

In this paper,a formal method with the capability of specifying distributed system and real-time system is presented, named Petri-B Nets,which integrats Petri Nets with B Method.It not only reserves the characteristics of Petri Nets,but also contains the advantages of B Method.In this paper we define the Petri-B Nets and use it to describe a Seat-Reservation System.