文件名称:基于P/T系统化简方法的工作流过程模型验证
文件大小:181KB
文件格式:KDH
更新时间:2012-11-02 04:49:16
P/T 工作流
根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.
文件名称:基于P/T系统化简方法的工作流过程模型验证
文件大小:181KB
文件格式:KDH
更新时间:2012-11-02 04:49:16
P/T 工作流
根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.