%0 Journal Article
%T 一种离散时间区间Petri网
%A 杨正磊
%A 宋建社
%A 叶庆
%A 沈涛
%A 王连锋
%J 计算机集成制造系统
%P 0-0
%D 2012
%X 运用Petri网对实际系统进行建模时，事件的发生往往必须在一个时间区间序列内。针对此问题，提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析，给出模型的合法变迁序列判定算法，并在此基础上提出模型的状态可达性判定算法。通过实例分析，验证了所提的离散时间区间Petri网模型的可行性和有效性，该模型可用于工作流分析、业务过程建模等领域，能够进一步增强Petri网对离散事件系统的模拟与分析能力。
%K Petri
%K 网
%K 离散时间区间
%K 合法变迁序列
%K 可达性
%U http://www.cims-journal.cn/CN/abstract/abstract3303.shtml