首页> 中文期刊> 《长春大学学报（自然科学版）》 >基于Petri网的电梯系统规格说明

基于Petri网的电梯系统规格说明

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明.Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统.

著录项

来源
《长春大学学报（自然科学版）》 |2011年第3期|19-21|共3页
作者
邵丽丽;
展开▼
作者单位

菏泽学院计算机与信息工程系;

山东菏泽274015;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.02;
关键词
Petri网;

相似文献

中文文献
外文文献
专利

1. 基于Petri网的电梯系统规格说明 [J] . 邵丽丽 . 长春大学学报（社会科学版） . 2011,第006期
2. 基于形式化技术的电梯系统规格说明 [J] . 邵丽丽 . 牡丹江大学学报 . 2011,第006期
3. 基于时间-有色Petri网的电梯系统的建模与分析 [J] . 宗群 ,窦立谦 ,程义菊 . 中国工程科学 . 2004,第012期
4. 自动制造系统规格说明语言的Petri网语义设计 [J] . 李志武 ,贾建援 . 西安电子科技大学学报 . 1996,第003期
5. —种基于状态规格说明的OBDD测试用例生成方法 [J] . 吴夕 ,杨秋辉 . 数字技术与应用 . 2013,第001期
6. 基于三菱通用变频器的双匀速电梯系统设计 [C] . 臧华东 . 中国仪器仪表学会2010年学术产业大会 . 2010
7. 基于物联网技术的智慧电梯系统设计 [A] . 周辰飞 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号