| 注册
首页|期刊导航|陕西师范大学学报:自然科学版|基于状态方程的Petri网可达性的扩展

基于状态方程的Petri网可达性的扩展

沈继承 刘付显

陕西师范大学学报:自然科学版Issue(S2):P.145-147,3.
陕西师范大学学报:自然科学版Issue(S2):P.145-147,3.

基于状态方程的Petri网可达性的扩展

沈继承 1刘付显1

作者信息

  • 1. 空军工程大学导弹学院,陕西三原713800
  • 折叠

摘要

关键词

Petri网/可达性/状态方程

分类

信息技术与安全科学

引用本文复制引用

沈继承,刘付显..基于状态方程的Petri网可达性的扩展[J].陕西师范大学学报:自然科学版,2007,(S2):P.145-147,3.

陕西师范大学学报:自然科学版

OA北大核心CSCDCSTPCD

1672-4291

访问量0
|
下载量0
段落导航相关论文