基于扩展Petri网的ECA规则集表示及终止性分析

张立臣; 王小明; 窦文阳

doi:10.3969/j.issn.1000-436x.2013.03.020

您当前的位置：

首页 >

文章列表页 >

基于扩展Petri网的ECA规则集表示及终止性分析

技术报告 | 更新时间：2024-06-05

- 基于扩展Petri网的ECA规则集表示及终止性分析
- Representation and termination analysis for ECA rules based on extended Petri net
- “在ECA规则集可终止性分析领域，专家建立了扩展Petri网模型，提出了判定算法，提高了准确性和效率。”
- 通信学报 2013年34卷第3期页码：157-164
- 作者机构：
  
  陕西师范大学计算机科学学院，陕西西安710062
  陕西师范大学计算机科学学院，陕西西安710062
- 作者简介：
  
  [ "张立臣（1979-），男，河北邢台人，博士，陕西师范大学讲师，主要研究方向为知识系统、Petri网理论、网络信息安全、普适计算。" ]
  [ "王小明（1964-），男，甘肃天水人，博士，陕西师范大学教授、博士生导师，主要研究方向为网络信息系统安全、普适计算、无线传感器网络和Petri网理论等。E-mail: wangxm@snnu.edu.cn。" ]
  [ "窦文阳（1979-），男，陕西咸阳人，陕西师范大学博士生，主要研究方向为网络与信息安全、普适计算、智能访问控制、知识系统等。" ]
- 基金信息：
  
  国家自然科学基金资助项目(60773224);国家自然科学基金资助项目(60970054);国家自然科学基金资助项目(61173094);教育部留学回国人员科研启动基金资助项目
- DOI：10.3969/j.issn.1000-436x.2013.03.020
  中图分类号： TP311
- 网络出版日期：2013-03，
  
  纸质出版日期：2013-03-25
- 稿件说明：
移动端阅览
张立臣, 王小明, 窦文阳. 基于扩展Petri网的ECA规则集表示及终止性分析[J]. 通信学报, 2013,34(3):157-164.

Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU. Representation and termination analysis for ECA rules based on extended Petri net[J]. Journal on communications, 2013, 34(3): 157-164.
张立臣, 王小明, 窦文阳. 基于扩展Petri网的ECA规则集表示及终止性分析[J]. 通信学报, 2013,34(3):157-164. DOI： 10.3969/j.issn.1000-436x.2013.03.020.

Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU. Representation and termination analysis for ECA rules based on extended Petri net[J]. Journal on communications, 2013, 34(3): 157-164. DOI： 10.3969/j.issn.1000-436x.2013.03.020.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据

基于扩展Petri网的ECA规则集表示及终止性分析

Representation and termination analysis for ECA rules based on extended Petri net

DOI：10.3969/j.issn.1000-436x.2013.03.020