首页> 中文期刊> 《微型电脑应用》 >基于Petri网和B语言集成的形式化方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《微型电脑应用》 |2005年第11期|4-655|共4页
作者
姜梦稚; 李海刚; 张桂戌;
展开▼
作者单位

华东师范大学计算机系;

上海交通大学管理学院;

上海;

200030;

华东师范大学计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP312B;
关键词
形式化方法; Petri网; B语言; Petri-B网;

相似文献

中文文献
外文文献
专利

1. 基于Petri网和B语言集成的形式化方法 [J] . 姜梦稚 ,张桂戌 . 计算机仿真 . 2005,第0z1期
2. Petri网和Z语言的集成形式化方法 [J] . 胡劲松 ,赵保华 ,郭雄辉 . 小型微型计算机系统 . 2004,第008期
3. 基于Petri网的列控系统形式化分析方法 [J] . 刘建昆 ,宋文 ,周涛 . 计算机应用 . 2013,第004期
4. 基于形式化方法的网络业务流Petri网模型的仿真分析 [J] . 李金春 . 工业控制计算机 . 2013,第010期
5. 一种基于Petri网的RFID事件检测的形式化方法 [J] . 孙基男 ,黄雨 ,黄舒志 . 计算机研究与发展 . 2012,第011期
6. 基于Petri网和B语言集成的形式化方法 [C] . 姜梦稚 ,张桂戌 . ’05全国仿真技术学术会议 . 2005
7. 基于B语言与TPN集成的形式化方法 [A] . 姜梦稚 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号