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

• 作者: 姜梦稚 张桂戌
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 形式化方法 Petri网 B语言 Petri-B网
• 年，卷（期）: 2005,（11）
• 所属期刊栏目: 研究与设计
• 页码范围: 4-6,55
• 页数: 4页
• 分类号: TP312B
• 字数: 2505字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2005.11.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张桂戌	华东师范大学计算机系	21	148	6.0	11.0
2	姜梦稚	华东师范大学计算机系	2	2	1.0	1.0