近年来随着无线通讯技术的发展和移动终端设备功能的不断提高，LBS（Location Based Service）的动态服务组合成为满足移动服务个性......

引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数，不仅可以对工作流中的活......

时间约束Petri网（TimingConstraintsPetrinets，简称TCPNs）是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足，本文对......

为降低工作流建模和验证的复杂度，提出了一种自顶向下逐步细化的建模与验证方法。首先，引入了层次细化工作流网，实现复杂工作流建模，将......

为解决复杂工作流的时间建模与可调度性验证问题，提出了将简化规则应用到Petri网工作流模型中的方法。首先，给出了时间约束Petri网的......

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过......

设计资源的有限性和设计活动的并发性会导致产品协同设计过程中的资源冲突.针对具有时间属性的产品协同设计过程资源约束的可调度......

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基......

企业过程模型评价效果很难通过简单途径取得定量的对比分析结果，本文提出时间约束Petri网理论，在企业过程模型的主要指标采用Little......

项目时间-成本均衡优化是项目管理学术界研究的热点难点,资源约束下项目时间-成本均衡优化是一类强NP-Hard问题.通过构建基于着色......