基于TCPN的产品协同设计过程时序逻辑推理研究

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.     

TCPN 的可调度性及调度区间的约束分析

时间约束Petri网（TCPN）通过引入时间因素，增强了对网的时间约束的描述能力。但由于TCPN网拓扑结构的多样性以及时间约束的复杂性，使得网的可调度性及调度区间的分析十分困难，针对常见的如顺序，并发，同步，冲突等拓扑结构，对变迁的可成功调度与否以及影响调度区间的约束条件进行了分析和研究，简化了TCPN网的可达性与可调度性的分析方法。     

时间约束工作流的可调度性分析

提出一种时间约束工作流的可调度性分析方法。针对时间约束Petri网（Timing Constraint Petri Nets,TCPN）为普通Petri网无法建模多参与资源的不足,给出了扩展的时间约束Petri网（w-TCPN）的定义;结合w-TCPN的拓扑结构,从模型和实例两个层次,给出了w-TCPN变迁可调度的判定定理;提出了时间约束的调整策略。w-TCPN的研究使得时间约束工作流的建模和可调度性分析更加合理。     

基于时间约束Petri网的工作流可调度性分析

引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。     

基于时间约束Petri网的工作流可调度性分析

引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数，不仅可以对工作流中的活动进行时间约束，而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上，提出了对工作流可调度性分析验证方法及其相应的算法，最后通过一个实例说明了分析验证的过程。     

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

具有多品种晶圆混合加工的单臂组合设备调度

为了提高晶圆制造中组合设备的生产效率,在考虑晶圆驻留时间约束条件下,研究没有共享加工模块的多品种晶圆混合加工的单臂组合设备调度问题.首先,采用面向资源的Petri网模型描述多种晶圆产品的混合加工过程,引入控制变迁避免模型的死锁,采用赋时库所和赋时变迁模拟系统资源的活动时间.其次,通过虚拟加工的方法平衡工序的负载,基于系统Petri网模型和拉式调度策略,推导出单臂组合设备在多品种晶圆混合加工情形下的可调度性判定条件,并以解析形式描述.最后,提出了系统稳态调度求解算法并以实例验证了算法的有效性和可行性.     

时间Petri网的可调度分析及在FMS中的应用

在实时系统中,检查任务执行的计划是否满足要求的时间约束称为可调度分析.通过把时间特性与其他行为特性分离,提出了一种以时间Petri网建模的实时系统调度分析方法.如果特定任务的执行是可调度的,则可以计算任务执行的时间跨度,否则确定出不可调度的变迁以便于调整时间约束和纠正设计错误.提出了一种通过把复杂的任务序列分解成一些子序列来进行可调度性分析的综合时序分析技术,它不仅提高了效率,也有助于关于调度的可达性问题的讨论.讨论了柔性制造系统FMS中的车间装配子系统的可调度性.     

时间约束Petri网及其可调度性分析与验证

时间约束Petri网(timing constraint Petri nets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值.     

TCPN的组合可调度分析

时间约束Petri网(Timing Constraints Petri nets,简称TCPNs)是一类重要的时间Petri网系统.针对TCPNs中变迁可调度原始语义的不足,本文对相关定义重新定义,丰富并完善了TPCNs理论.本文首先给出了新的针对单个变迁或变迁序列的可调度分析策略.如果一个特定的变迁序列是可调度的,则相应的活动序列也同样可以顺利地完成自身的执行;否则,不可调度的变迁需要调整自己的时间约束;然后提出了组合式的可调度分析策略以分析复杂变迁序列,最后提出时序一致性的概念.