基于Petri网时间约束工作流的研究与应用

针对目前工作流管理系统中时间管理研究现状,以基于时间Petri网的工作流建模方法为基础,把时态逻辑引入到控制流中,给出其形式化定义.借助相关的理论,全面、系统地分析该模型的时态特性,提出基本模型等效变化规则,对复杂工作流的进行时间约束的等效变换,对存在时间冲突的活动进行动态调整;最后以一个实例对文中提出的方法进行了论证...     

一种基于Ontology的WEB服务时间约束定义及验证方法

针对目前面向服务计算(SCO)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法.该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束.扩展已有的PetIi网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系.根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束PetIi网(TCPN)间的映射关系.该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础.     

资源约束项目时间-成本均衡优化仿真模型

项目时间-成本均衡优化是项目管理学术界研究的热点难点,资源约束下项目时间-成本均衡优化是一类强NP-Hard问题.通过构建基于着色成本时间约束Petri网的项目仿真模型,分析模型变迁激发规则以及时间、成本的累加性,提出基于时间成本状态类的项目时间-成本分析方法.通过实例仿真求解资源受限情况下的工期最短问题和工期一定下的成本最优问题,仿真结果表明,该模型可以很好的表示项目资源约束的同时,实现项目时间-成本均衡优化,同时可以求解项目有效工期-成本曲线.     

基于改进Petri网的复杂产品系统项目规划模型研究

针对复杂产品系统项目的规划方法进行了讨论,提出了一种将图形建模工具与项目管理工具集成运用的改进Petri网模型.该改进模型运用CPM方法对特定项目进行规划,然后对形成的CPM图进行Petri网转换,最后根据仿真结果得到动态的优化规划模型.案例证明了该改进模型的有效性和实用性.     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

行为协调知识的形式化研究

近年来,关于协调已有大量的研究成果,但对于协调问题中依赖关系及协调策略多是作定性的表述,给出的一般都是非形式化的结果,难以实现协调问题的计算机求解.针对这一难题,利用形式化和图形化的建模工具Petri网对协调问题中的依赖关系及协调机制进行研究,提出任务之间基于资源的3种基本依赖关系,并用Petri网对这3种依赖关系相应的协调机制进行了表述,最后用XML语言时Petri网表示的协调机制进行了形式化,为协调问题的可计算化提供了一种新的思考角度.     

弱引发三态加时变迁Petri网动态行为分析

文中提出的弱引发三态加时 Petri网比现有三态加时变迁 Petri网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统 ;给出其动态行为形式化描述与分析框架 ;基于此和受控执行概念 ,并结合实际并发系统的一类调度问题 ,研究其动态行为的一些性质 .有关结果可用于优化并发系统的有限资源的配置     

基于Petri网的底盘总装线人员配置优化研究

客车底盘总装线生产属于离散事件动态系统(DEDS),针对作业任务对作业人员这种资源存在共享、独占等关系,利用自顶向下的建模方式构建时间Petri网模型,对客车底盘总装线的人员配置进行优化,给出了人员配置的方法与步骤.实例分析表明,时间Petri网模型可以用来优化总装线人员配置,提高劳动生产率.     

基于设计信息约束网的产品设计过程建模与仿真

从产品设计过程动态离散系统管理的实际需求出发,以在产品设计信息约束条件下设计活动的管理和优化为中心,提出设计信息约束网的概念,解决了各设计活动间信息约束关系的表达,给出了由设计信息约束网向基于Petri网的工作流模型转换的算法和步骤。最后,以某商用办公楼设备设计过程为例,进行建模和仿真分析,利用CPN Tools仿真软件验证了本文方法的正确性和有效性。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

云计算环境下基于Petri网的流程计费模型

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

Modeling of photolithography process in semiconductor wafer fabrication systems using extended hybrid Petri nets

To describe a semiconductor wafer fabrication flow availably, a new modeling method of extended hybrid Petri nets （EHPNs） was proposed. To model the discrete part and continuous part of a complex photolithography process, hybrid Petri nets （HPNs） were introduced. To cope with the complexity of a photolithography process, object-oriented methods such as encapsulation and classifications were integrated with HPN models. EHPN definitions were presented on the basis of HPN models and object-oriented methods. Object-oriented hybrid Petri subnet models were developed for each typical physical object and an EHPN modeling procedure steps were structured. To demonstrate the feasibility and validity of the proposed modeling method, a real wafer photolithography case was used to illustrate the modeling procedure. dynamic modeling of a complex photolithography process effectively The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.     

基于Petri网的军队院校学籍管理流程优化

针对军队院校教学管理系统中的学籍管理流程进行了分析,在此基础上基于Petri网理论对该流程进行建模,结合Petri网性质,找出了该流程中的弱点和缺陷,对军队院校学籍管理流程进行了改造。理论分析表明了再造后的流程具有良好的特性。     

进程网建模工具的设计与实现

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.     

赋时Petri网的一种符号分析算法

有序二叉决策图(Ordered Binary Decision Disgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现.在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析.实验表明,符号算法能处理较大规模赋时Petri网问题.