基于变迁指标分解的Petri网性质分析*

doi:10.3778/j.issn.1673-9418.2010.08.010

计算机科学与探索 ›› 2010, Vol. 4 ›› Issue (8): 761-768.DOI: 10.3778/j.issn.1673-9418.2010.08.010

• 学术研究 • 上一篇

基于变迁指标分解的Petri网性质分析*

祝军^1,2, 曾庆田¹⁺

1. 山东科技大学信息科学与工程学院, 山东青岛 266510
2. 同济大学电子与信息工程学院, 上海 201804

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-08-10 发布日期:2010-08-10
通讯作者: 曾庆田

Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions*

ZHU Jun^1,2, ZENG Qingtian¹⁺

1. College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong 266510, China
2. School of Electronics and Information Engineering, Tongji University, Shanghai 201804, China

Received:1900-01-01 Revised:1900-01-01 Online:2010-08-10 Published:2010-08-10
Contact: ZENG Qingtian

摘要/Abstract

摘要： Petri网的分解技术是复杂网系统分析的一种重要手段, 基于变迁指标的分解方法将系统分解为一组T-网。通过获得分解子网的结构性质以及子网与原网间的性质保持关系, 得到了判定原网结构性质的一些方法和结论; 同时给出了判定原网系统活性的一个条件。所得结果为结构复杂Petri网的性质分析提供了有效的方法。

关键词: Petri网分解, 变迁指标, 性质分析

Abstract: Decomposition of Petri nets is an important approach to analyze the properties of complex net systems. With the decomposition method of Petri nets by defining an index function on the transition set, a net system can be decomposed into a set of T-nets. The properties of original net are provided by obtaining the properties of the de-composition subnets and the property preservation between the original net and the subnets. A determination condition for the liveness of the original net system is provided. The obtained results offer an effective way for property analysis of some structure- complex Petri nets.

Key words: decomposition of Petri net, indexes of transitions, property analysis

中图分类号:

TP301

祝军1,2 , 曾庆田1+ . 基于变迁指标分解的Petri网性质分析*[J]. 计算机科学与探索, 2010, 4(8): 761-768.

ZHU Jun^1,2, ZENG Qingtian¹⁺. Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions*[J]. Journal of Frontiers of Computer Science and Technology, 2010, 4(8): 761-768.

[1]	甄超, 宋爽, 许洁萍+ . 多模态音乐流派分类研究[J]. 计算机科学与探索, 2011, 5(1): 50-58.
[2]	刘正涛1,2+ , 王建东1 . Web 数据空间边建边用模式集成[J]. 计算机科学与探索, 2011, 5(1): 87-96.
[3]	高纯1,2,3+ , 王睿智1,2,3 . 知识空间理论析取模型下最小技能集的生成[J]. 计算机科学与探索, 2010, 4(12): 1109-1114.
[4]	李兴东+ ; 姜守旭; 张硕 . 一种处理图数据库中超图集合的查询方法*[J]. 计算机科学与探索, 2010, 4(11): 1005-1009.
[5]	任家东1,2 , 周玮玮1+ , 何海涛1 . 高维数据流的自适应子空间聚类算法[J]. 计算机科学与探索, 2010, 4(9): 859-864.
[6]	李佳佳1 , 王波涛1+ , 陈东1 , 喜连川优2 , 王国仁1 . 分组移动对象的区域偏离监视算法*[J]. 计算机科学与探索, 2010, 4(9): 803-811.
[7]	刘伟+ ; 肖建国 . 多Web数据源环境下的重复实体识别方法研究*[J]. 计算机科学与探索, 2010, 4(7): 599-607.
[8]	陶剑文+ . 新颖的离散时间队列系统模型*[J]. 计算机科学与探索, 2010, 4(6): 567-575.
[9]	杜小勇1, 2+ , 王洁萍1, 2 . 数据库服务模式下的数据安全管理研究*[J]. 计算机科学与探索, 2010, 4(6): 481-499.
[10]	袁金平+ , 姚莉, 佟濛. 用于辩证分析的多方对话协议*[J]. 计算机科学与探索, 2010, 4(6): 511-519.
[11]	徐忠华1,2 , 张剡1,2+ , 陈玲1,2 , 柏文阳1,2 . 星型模型的轮廓连接查询算法*[J]. 计算机科学与探索, 2010, 4(5): 410-419.
[12]	夏小玲, 张红+ . 为物化视图选择构造搜索空间的新策略IMVPP *[J]. 计算机科学与探索, 2010, 4(5): 473-479.
[13]	杨静1+ ，郑诣2 ，莫智文1 ，舒兰3 . 模糊Moore型自动机的性质[J]. 计算机科学与探索, 2010, 4(4): 375-383.
[14]	韩敏，唐常杰+，段磊，李川，巩杰. 基于TF-IDF相似度的标签聚类方法[J]. 计算机科学与探索, 2010, 4(3): 240-246.
[15]	刘家红+，朱锐，滕猛，吴泉源. InforSIB事件代数的形式化框架与代数性质[J]. 计算机科学与探索, 2010, 4(3): 265-274.

基于变迁指标分解的Petri网性质分析*

Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions*

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics