微型电脑应用2005，Vol.21Issue(11)：4-6,55,4.
基于Petri网和B语言集成的形式化方法
Formal Method Integrating Petri Nets and B
摘要
关键词
形式化方法/Petri网/B语言/Petri-B网分类
信息技术与安全科学引用本文复制引用
姜梦稚,李海刚,张桂戌..基于Petri网和B语言集成的形式化方法[J].微型电脑应用,2005,21(11):4-6,55,4.基金项目
上海市自然科学基金项目(启明星计划)(03QG14016),上海市教委局管基金(04JG05063). （启明星计划）
