Petri网结点精化及其应用

doi:10.3969/j.issn.1006-2475.2014.07.028

计算机与现代化

Petri网结点精化及其应用

（中国人民银行西宁中心支行，青海西宁 810001）

收稿日期:2014-03-14 出版日期:2014-07-16 发布日期:2014-07-17
作者简介:祁方民(1979-),男,青海平安人,中国人民银行西宁中心支行工程师,硕士,研究方向：Web服务，形式化方法,信息安全。

Petri Nets Node Refinement and Its Application

(Xining Central Sub-branch, The People’s Bank of China, Xining 810001, China)

Received:2014-03-14 Online:2014-07-16 Published:2014-07-17

摘要/Abstract

摘要： 在Petri网精化概念的基础上，给出一种解决Petri网结点爆炸问题的方法，该方法针对精化的定义，从库所和变迁的约束条件入手，分析结点精化的可行性和方法，并给出证明。该方法的建立为今后利用Petri网进行建模提供了必要帮助。

关键词: Petri网, 精化, 建模

Abstract: A solution of Petri nets node explosion problem is given based on the concept of node refinement on Petri nets, and from this definition and the bound condition of place and transition, we analyze the feasibility and methods of node refinement on Petri net, which is helpful on modeling and verification with Petri net later.

Key words: Petri nets(PN), refinement, modeling

中图分类号:

TP301.2

祁方民 . Petri网结点精化及其应用[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2014.07.028.

QI Fang-min. Petri Nets Node Refinement and Its Application[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2014.07.028.

参考文献 17

[1]	郝克刚. Petri网的分层[DB/OL]. http://www.ccf.org.cn/web/resource/haokegang.pdf, 2007-08-01.
[2]	祁方民,鱼滨,史立军,等. 基于Petri网的软件项目管理建模方法[J]. 系统仿真学报, 2007,19(S1):75-78.
[3]	袁崇义. Petri网原理与应用[M]. 北京:电子工业出版社, 2005.
[4]	Van der Aalst W M P. Workflow verification: Finding control-flow errors using Petri-net-based techniques[C]// Business Process Management, Models, Techniques, and Empirical Studies. 2000:161-183.
[5]	Stork D G, Van Glabbeek R J. Token-controlled place refinement in hierarchical Petri nets with application to active document workflow[C]// Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets. 2002:394-413.
[6]	夏传良,焦莉,陆维明. Petri网共享PP-型子网合成性质分析[J]. 软件学报, 2007,18(1):22-32.
[7]	Fehling R. A concept of hierarchical Petri nets with building blocks[C]// Proceedings of the 12th International Conference on Application and Theory of Petri Nets. 1993:148-168.
[8]	倪悦,范玉顺. 基于着色Petri网的语义Web服务组合形式化验证[J]. 清华大学学报(自然科学版), 2010,50(5):714-717.
[9]	Liu Yongshan, Hao Zhongxiao. Petri net based spatio-temporal relationships for moving objects[J]. Journal of Computer Science, 2005,1(4):510-514.
[10]	何炎祥,沈华. 一种基于随机Petri网的Web服务组合性能瓶颈定位策略[J]. 计算机学报, 2013,36(10):1953-1966.
[11]	高翔,祝跃飞,刘胜利. 一种基于广义随机着色Petri网的网络攻击组合模型[J]. 电子与信息学报, 2013,35(11):2608-2614.
[12]	童晓阳,谢红涛,孙明蔚. 计及时序信息检查的分层模糊Petri网电网故障诊断模型[J]. 电力系统自动化, 2013,37(6):63-68.
[13]	Houhamdi Z, Athamena B. A Petri net based agent behavioral testing[J]. American Journal of Applied Sciences, 2012,9(11):1876-1883.
[14]	陈曦,周彦,乐晓波,等. Petri网化简新技术研究[J]. 计算机工程与应用, 2012,48(5):47-50.
[15]	汤志伟,殷静. 基于扩展Petri网的仿真建模与分析[J]. 电子科技大学学报, 2012,41(1):131-135.
[16]	Qudsiya A A, Rangarajan K. Modelling performance monitoring of it infrastructure components using timed Petri nets[J]. Indian Journal of Computer Science and Engineering, 2012,3(1):94-103.
[17]	Ding Zuohua, Ma Jiaying, Kandel A. Petri net representation of switched fuzzy systems[J]. IEEE Transactions on Fuzzy Systems, 2013,21(1):16-29.

Petri网结点精化及其应用

Petri Nets Node Refinement and Its Application

可视化

摘要/Abstract

引用本文

使用本文

参考文献 17

相关文章 2

编辑推荐

Metrics

本文评价

[1]	杜康, 郭鲁钰, 徐啟蕾, 单宝明, 张方坤. 基于模型种群分析变量选择的红外光谱建模方法[J]. 计算机与现代化, 2023, 0(12): 48-52.
[2]	刘林武，张弛. 模型检测中虚假反例检测方法[J]. 计算机与现代化, 2017, 0(9): 29-32,44.