Petri网在Web服务组合中的应用研究综述

Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。     

基于Petri网的语义Web服务组合建模研究

近年来,随着Internet上的Web服务数量激增,单个Web服务已不能满足用户需求,开展语义Web服务的组合问题研究具有重要的现实意义。文章在前期Ontology的语义Web服务组合框架研究基础上,围绕Petri网在Web服务的应用展开工作,提出一种Petri网的服务组合建模方法,并通过实例仿真对其有效性、可行性进行了验证。     

基于Petri网的最大流-最小割问题建模与求解

给出了任意流网络及其残留网络Petri网模型的构造流程;通过对模型中各元素的实际意义进行分析,指出如何得到最大流的各个分布;从理论上证明达到最大流的条件并给出通过活性分析可以得到一个最小割的结论;将残留网络和流网络Petri网模型结合起来给出最大流-最小割问题完整的解决方案。Petri网图形化的仿真过程为研究网络流从局部到整体的变化提供了直观的描述。仿真结果证实该方法准确、有效。     

有色Petri网在web服务组合建模中的应用

以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。     

故障Petri网方法在惯性导航系统温控回路故障诊断中的应用

基于故障Petri网方法对惯性导航系统温控回路故障进行建模,并结合关联矩阵和状态方程对故障进行诊断推理,查找故障原因。实验证明,故障Petri网方法可以实时快速地对故障进行诊断,方法实用有效。     

面向对象Petri 网的研究及其在柔性制造单元中的应用(英文)

本文探讨了面向对象的Ｐｅｔｒｉ 网（ＯＯＰＮ） 系统,并将ＯＯＰＮ用于柔性制造单元动态行为的建模,以进行控制和调度．ＯＯＰＮ将面向对象技术与Ｐｅｔｒｉ 网结合,增强了Ｐｅｔｒｉ 网中对象的可维护性和可重用性,具有更强的描述和分析能力     

基于Petri网的混杂控制方法在锅炉燃烧系统中的应用研究

锅炉燃烧系统是典型的复杂被控对象,常规的控制方案难以取得满意的控制效果.将基于Petri网的混杂控制方法引入锅炉燃烧系统,给出了锅炉燃烧系统的混杂控制模型,利用Petri网建立了离散事件系统的模型.     

新建构主义在ASP.NET MVC Web程序设计课程中的应用

ASP.NET MVC Web程序设计课程以网页设计和网站开发为主要授课内容,与实践结合紧密。传统的教学方式通过独立案例逐步对各个知识点进行讲解,使得学生对所教知识点理解孤立且不能创新融合,影响学生应用能力的培养。新建构主义教学法能够对知识点的整合创新提供一种有效方法。探讨基于新建构主义下ASP.NET MVC Web程序设计课程的教学研究,对于学生创新能力的培养可起到积极作用。     

基于Petri网的GSM/GPRS性能分析

首先介绍了数字蜂窝移动通信中的语音通信业务,分析了语音通信各种行为所满足的分布函数.接下来建立基于Petri网的语音通信业务的模型,研究在3种通道共享机制控制下语音通信的性能.最后利用TimeNET工具时模型加以分析和讨论.     

基于 Petri 网的分布式协同办公智能模 型简

介绍了Petri网的基本理论,分析了基于网络服务的分布式协同办公应用的特征,在此基础上提出了基于Petri网的分布式协同办公的通用智能模型,该模型具有语义明确、易于修改,并且易于验证的优点,最后以文档审批工作流为例给出了具体的模型实现过程．     

基于Petri网的学校公文管理系统的建模与分析

以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中.结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能.     

基于Petri网的高校设备采购工作流建模分析和优化

高校设备采购本身是一项复杂的活动,是一个多任务、多角色参与的流程化执行过程。在该过程中,如何合理设计所涉及到的各个环节,以及如何对各个环节进行优化和合理的资源配置是需要解决的重要问题。本文采用基于Petri网的工作流技术对高校设备采购流程进行工作流建模,并提出一种工作流合理性验证算法和工作流的优化算法。通过实践表明,这一方法取得了较好的应用效果,同时这将为采购软件的开发提供很好的理论支持。     

UML在Web CAI系统建模中的应用

提出基于UML的建模设计方法，通过对《大学计算机信息技术》CAI系统的需求分析，利用UML给出了该CAI系统的开发设计的应用实例。实践证明，使用这种方法提高了系统设计和维护的效率。     

基于Petri网可达性的外卖流程建模优化分析

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析变得更加重要。对于建模工具Petri网,其可达性是研究系统动态性质的基础,主要分析系统可能达到的状态和状态间的关系。针对具体的外卖流程,利用可达性树判断其合法引发序列和状态并结合活动间的交互关系对模型增加活动变迁和库所进行优化。     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。