首页> 中文期刊> 《暨南大学学报：自然科学与医学版》 >基于Petri网的规范说明语言

基于Petri网的规范说明语言

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。

著录项

来源
《暨南大学学报：自然科学与医学版》 |1989年第3期|22-29|共8页
作者
徐志农; 苏运霖;
展开▼
作者单位

暨南大学计算机科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序语言、算法语言;
关键词
Petri网; 规范说明语言; 规范说明;

相似文献

中文文献
外文文献
专利

1. 自动制造系统规格说明语言的Petri网语义设计 [J] . 李志武 ,贾建援 . 西安电子科技大学学报 . 1996,第003期
2. 一积基于Ada的规范说明语言 [J] . 殷建平 ,陈火旺 . 计算机工程与科学 . 1992,第001期
3. 基于Petri网的电梯系统规格说明 [J] . 邵丽丽 . 长春大学学报（社会科学版） . 2011,第006期
4. 基于Petri网的电梯系统规格说明 [J] . 邵丽丽 . 长春大学学报（自然科学版） . 2011,第003期
5. 基于语言体悟的说明文课堂教学建构例谈——以教学八年级上册第五单元的三篇说明文为例 [J] . 高和鸣 ,张原 . 语文教学通讯·B刊 . 2019,第010期
6. 基于药品说明书的规范化开展藏成药标准化研究--以七十味珍珠丸为例 [C] . 黄宇 ,陈彦 ,王张 . 2011全国藏医药学术研讨会 . 2011
7. 基于UML的形式化规范说明研究 [A] . 王帆 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号