|
|||||
|
|
| 一种离散时间区间Petri网 | |
| 引用本文： | 杨正磊,宋建社,叶庆,沈涛,王连锋.一种离散时间区间Petri网[J].计算机集成制造系统,2012,18(2). |
| 作者姓名： | 杨正磊 宋建社 叶庆 沈涛 王连锋 |
| 作者单位： | 西安高科技研究所,陕西西安,710025 |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | 运用Petri网对实际系统进行建模时，事件的发生往往必须在一个时间区间序列内。针对此问题，提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析，给出模型的合法变迁序列判定算法，并在此基础上提出模型的状态可达性判定算法。通过实例分析，验证了所提的离散时间区间Petri网模型的可行性和有效性，该模型可用于工作流分析、业务过程建模等领域，能够进一步增强Petri网对离散事件系统的模拟与分析能力。 |
| 关 键 词： | Petri网 离散时间区间 合法变迁序列 可达性 建模 |
Time Petri net with discrete time span |
|
| Abstract: | |
| Keywords: | Petri net discrete time spare valid transaction sequencer attainability modeling |
| 本文献已被 万方数据 等数据库收录！ | |