基于扩展颜色Petri网的拍卖协议建模与分析

电子商务自动谈判是多主体协商的典型应用.谈判协议的形式化是实现电子商务谈判自动化的关键.给出一种带抑止弧和时间变迁的颜色Petri网模型及其扩展或然状态图分析方法.用该扩展颜色Petri网模型对拍卖谈判协议进行了建模,同时用扩展或然状态图分析方法证明了协议模型的可达性.     

基于Petri网的电子支付安全模型研究

Petri网兼顾了严格定义与图形语言两个方面,具有丰富而严格的模型语义,也是一种图形化的语言,具有直观与易懂的特点。电子支付是客户使用电子账户通过网络实施的支付。针对电子支付过程中的安全风险,给出了电子支付可以实施的安全措施。利用Petri网描述安全电子支付流程,采用一种基于逻辑的Petri网分析方法,探索建立了基于Petri网的电子支付安全模型。该模型对于指导电子支付安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义。对电子支付建立Petri网安全模型的另一个目的,就是为信息安全研究提供新的方法与思路。     

基于时延Petri网的移动电子支付协议模型

时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力。针对移动电子支付中愈加严重的交易安全问题,通过对电子支付系统和移动电子支付流程的分析,发现移动电子商务SET协议存在漏洞,建立基于时延Petri网移动电子支付协议时延Petri网模型,为安全电子交易过程提供进一步的安全保障。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于Petri网的变速器齿轮合件制造过程建模

本文简述了Petri网的基本知识,给出了基于Petri网的制造过程建模与分析的方法及步骤。在此基础上,针对轻型汽车变速器的二档齿轮和锥体合件的制造过程,建立其Petri网模型,并进行了相应分析,分析结果表明该合件的制造工艺过程正确性。     

基于着色Petri网仿真模型的安全协议分析

采取形式化方法验证协议的安全性,Petri网是有效的方法之一,但传统Petri网分析过程中经常会出现状态空间爆炸问题。该文采用了基于着色Petri网建立安全协议及入侵者攻击的仿真模型方法,从而获得仿真数据。该方法利用逆向状态分析和Petri网可达性分析,能有效地发现协议中的安全漏洞。并且,如果能恰当地控制好状态空间,则能有效地克服Petri网分析过程中的状态空间爆炸问题。该文给出的利用着色Petri网建立安全协议仿真模型分析的一般方法,实例说明该方法具有普适性,并且方便利用Petri网自动化分析工具实现自动化分析。     

基于Petri网的五笔画输入法算法优化研究

将Petri网理论和五笔画输入法结合起来,提出了一个较完整的用Petri网建立的笔画输入法算法模型。该模型借助Petri网有关理论成果,完成笔画输入法的建模与并行化分析,便于计算机处理。其实质是在五笔画输入之间和查询过程中加入变迁元素,使其更反映汉字查询的本质。首先给出了基于Petri网的整体输入框架建模的步骤和详细过程,然后利用所建立的模型对五笔画输入法算法过程进行了分析,最后把基于Petri网的五笔画输入法算法与手写、拼音输入算法进行比较,证明本文算法具备更优的检索效率。     

VPML OOPN集成建模方法的设计与实现*

为了支持对企业业务流程进行建模和分析,辅助过程改进,提出了VPML-OOPN集成建模方法.该建模方法是利用可视化过程建模语言VPML建立企业过程模型,然后将该过程模型映射为面向对象Petri网模型.通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计.     

模糊着色Petri网及其在工作流建模中的应用

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

应用Petri网求解事故树最小割集的方法研究

为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标识之间的关系,进而提出了利用Petri网可达图求解事故树最小割集的算法,以及在给定基本事件发生时,中间事件和顶事件发生与否的判断方法。结合实例,借助开源的Petri网工具PIPE实现了事故树最小割集的求解,表明了该算法的有效性和可行性。     

基于Petri 网和语义网络的虚拟维修过程建模与应用

针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述 混乱等问题,论文提出一种Petri 网和语义网络结合的过程建模方法——TJ(Training Join)网。 TJ 网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻辑互联; 下层运用Petri 网的变迁和触发规则提炼出Petri 网元素模型,提高模型的通用性和建模效率。 同时模型中的状态收集模块可实现部件属性状态间信息共享。最后,以虚拟维修平台中飞机 电子设备架的维护为例,验证了TJ 网的有效性。     

基于Petri网的电子商务安全控制模型

文章对电子商务的安全体系进行了分析,从过程控制角度探讨了电子商务的安全问题。根据电子商务系统的安全控制体系结构,构造了一个基于Petri网的电子商务安全控制模型。     

基于Petri网的企业用户模型

Petri网是一种有效的模型描述语言，能进行系统性能分析，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。本文介绍一种面向用户的工作流模型，讨论将工作模型转化为Petri网模型，建立企业的资源及经营管理过程建立模型和资源模型，并利用Petri网进行系统模型消解，以便对系统性能进行分析。     

基于人员-时间Petri网的气象业务保障流程模型

针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模.     

Petri网仿真模型改造为HLA邦元的理论和方法

该文从改造建立在其他平台 (如OPMSE)上的Petri网仿真模型为HLA邦元的意义入手 ,给出了改造的可行性、理论和方法。通过对Petri网仿真模型和HLA邦元运行机制的比较 ,采用模型代理的思想解决原模型与外界交互的封装 ,从而实现Petri网仿真模型和RTI运行支撑环境的无缝连接。同时在此基础上 ,探讨了开发基于RTI环境下Petri网仿真模型的集成环境的理论和方法     

结合UML和Petri Net技术的工作流建模的研究

工作流输入和输出的质量是工作流管理系统成功的关键因素,因此对工作流的建模尤为重要。本文以汽车租赁流程为例,研究如何把UML和PetriNet两大工具结合起来对工作流进行建模和系统仿真的方法。UML能够有效地描述系统,但缺乏精确的语义描述;而PetriNet能对系统进行仿真和严密地分析,形式化程度较高。将两者结合,可实现优势互补,为改进模型、促进业务流程管理提供有效途径。     

限制期条件下的应急过程可靠性建模及仿真

应急过程本身可靠性是应急任务完成的基础,过程的不同任务阶段必须在相应的应急限制期内启动。利用UML建立限制期条件下的应急过程模型,并建立了应急过程可靠性模型,提供了将UML模型转化为Petri网可靠性仿真模型的具体方法,最后对实例通过计算机仿真进行了大量的计算,对仿真结果进行了分析。     

基于多类别信息量的模糊Petri网故障推理策略

针对模糊Petri网推理模型膨胀、推理过程繁琐的问题,研究基于信息论方法的推理过程简化策略;利用自信息和熵函数的概念,提出了一种多类别故障特征信息量准则,给出了多类别故障特征信息量的具体计算方法;制定系统的故障推理策略时,首先选择故障信息量最大的故障特征进行测试,然后依据故障特征的测试顺序建立模糊Petri网模型,最后根据模糊Petri网模型进行故障推理;结论证明,该方法能够有效地进行故障推理,实现系统故障的动态和快速搜索。     

基于Petri网的人力资源管理的模型设计

讨论了工作流管理系统中Petri网建模技术的基本特点，并利用Petri网建立了企业生产管理中人力资源管理的模型。该模型可作为工作流管理系统中的一个子模型，一旦企业的业务过程发生了变化，用户可通过面向对象的Petri网对业务过程的流程进行修改，修改后的流程将自动地应用在工作流管理系统中。此模型满足了企业建立特定资源模型的需要，实现了业务流程重组的要求，具有适用性和灵活性，为人力资源的自动化办公提供了方便。     

工作流过程定义中的分层结构与正则Petri网

The abstract level problem and the classification of the abstract level problem in the workflow process model are discussed. The formalized problem of the abstract level problem in the process model is researched. The concept and definition of the petri net with end-transition and normal petri net according to the control abstract level problem are put forward and discussed. The equivalence of general Petri Net and general Petri Net is proved by the petri net with priori relationship.