摘要
本文中提出了一种能够描述分布式系统和实时系统的形式化方法-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.
出处
《微型电脑应用》
2005年第11期4-6,55,共4页
Microcomputer Applications
基金
上海市自然科学基金项目(启明星计划)(03QG14016) 上海市教委局管基金(04JG05063)