|
|||||
|
|
| 基于时间Petri网的建模与分析 | |
| 引用本文： | 姜彬.基于时间Petri网的建模与分析[J].硅谷,2009(18). |
| 作者姓名： | 姜彬 |
| 作者单位： | 北京交通大学,北京,100044 |
| 摘 要： | 介绍一种Petri网——时间Petri(TPN)。用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题。 |
| 关 键 词： | 时间Petri 有效性 线性时间推理 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |