一种离散时间区间Petri网

• 论文 •

一种离散时间区间Petri网

杨正磊，宋建社，叶庆，沈涛，王连锋

西安高科技研究所，陕西西安710025

出版日期:2012-02-15 发布日期:2012-02-25

Time Petri net with discrete time span

YANG Zheng-lei，SONG Jian-she，YE Qing，SHEN Tao，WANG Lian-feng

Xi'an Research Institute of HighTechnology，Xi'an 710025，China

Online:2012-02-15 Published:2012-02-25

摘要/Abstract

摘要： 运用Petri网对实际系统进行建模时，事件的发生往往必须在一个时间区间序列内。针对此问题，提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析，给出模型的合法变迁序列判定算法，并在此基础上提出模型的状态可达性判定算法。通过实例分析，验证了所提的离散时间区间Petri网模型的可行性和有效性，该模型可用于工作流分析、业务过程建模等领域，能够进一步增强Petri网对离散事件系统的模拟与分析能力。

关键词: Petri 网, 离散时间区间, 合法变迁序列, 可达性

Abstract: In the modeling of real system by using Petri net，the implementation of event must be in a series time span sometimes.To deal with this problem，a Discrete Time Span Petri Net(DTSPN) based on time Petri net was proposed.Model's attainability was analyzed with great emphasis，and the algorithm of distinguishing model's valid transaction sequence was given.On this basis，a new algorithm about state attainability aimed at DTSPN was proposed.By the analysis of example，the proposed DTSPN model was feasible and valid.It could be applied in workflow analysis and business process modeling，and the simulated and analyzing capability of Petri net could also be improved.

Key words: Petri net, discrete time span, valid transaction sequence, attainability, modeling

中图分类号:

TP301

杨正磊，宋建社，叶庆，沈涛，王连锋. 一种离散时间区间Petri网[J]. .

YANG Zheng-lei，SONG Jian-she，YE Qing，SHEN Tao，WANG Lian-feng. Time Petri net with discrete time span[J]. .

[1]	鲁法明,曾庆田,段华,彭延军,包云霞. Petri网不可达标识的判定方法研究及其在死锁检测中的应用[J]. 计算机集成制造系统, 2016, 22(第2期): 465-475.
[2]	杨春辉，魏军，姚路. 基于质量功能展开和证据理论的复杂装备维修可达性综合评价[J]. , 2009, 15(11): 0-0.
[3]	陶泽,，肖田元，　郝长中. 具有混合约束的离散事件系统的Petri网控制器的研究[J]. , 2007, 13(08): 0-0.