首页> 中文期刊> 《计算机学报》 >论高级Petri网系统的等价谱系

论高级Petri网系统的等价谱系

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

高级网系统简洁明了，在Petri网系统的应用中是非常有效的．本文讨论了高级网系统的等价变换，提出了高级网系统的两种极端形式——最高网系统和最低网系统，并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统．此外，还提出了高级网系统的等价谱系，旨在从理论上分析清楚高级网系统的本质．

著录项

来源
《计算机学报》 |1993年第7期|553-558|共6页
作者
郝克刚; 葛玮;
展开▼
作者单位

西北大学计算机科学系;

西安710069;

展开▼
原文格式 PDF
正文语种 CHI
中图分类软件工程;
关键词
Petri网系统; 等价变换; 最高网系统; 最低网系统; 软件工程;

相似文献

中文文献
外文文献
专利

1. 论高级Petri网系统的等价谱系 [J] . 杨洁 . 管理观察 . 1994,第005期
2. DEDS对象化高级Petri网模型研究—对象化高级Petri网上的一致性网络 [J] . 姜旭升 . 自动化学报 . 1995,第003期
3. DEDS对象化高级Petri网模型研究：柔性生产线对象化高级Petri网模型 [J] . 姜旭升 . 自动化学报 . 1994,第005期
4. 多出口petri网与petri网的等价性 [J] . 郝克刚 ,段振华 . 计算机学报 . 1989,第005期
5. 子网行为等价的特殊网系统的同步距离 [J] . 王丽丽 ,方贤文 ,张苗苗 . 安徽理工大学学报（自然科学版） . 2014,第001期
6. 袋自动机与Petri网模型之间的等价转化 [C] . 巩君华 ,张继军 ,范昊 . 第十二届全国petri网理论与应用学术年会 . 2009
7. Pi演算对有界Petri网系统的模拟 [A] . 李欢 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号