基于消息顺序图和Petri网的移动应用监测平台建模分析

随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。     

一种集成U—P的工作流建模方法与正确性分析

Petri网和统一建模语言UML是当前工作流建模领域两种非常流行、功能强大的建模工具。Petri网便于描述,可以动态地运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够,缺乏有效、严密的分析工具与方法。本文整合两种建模方法的优点,提出一种集成U．P建模的方法,该方法能够有效地描述系统,实现系统的模块化和模型重用,还能够对系统进行严密的分析,通过对模型仿真,找出其缺,羔和不足。     

层次建模分析方法在C4ISR系统中的应用

C4ISR系统是一个规模庞大、层次分明的离散动态系统。文章提出了一种面向C4ISR系统的UML和Petri网结合的建模分析方法。该方法采用从上到下的层次分析方法。用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过相应的规则将Petri网模型转化成状态图和序列图。新方法可以对系统要求进行验证,同时还可以编程实现。最后通过该方法,对一个C4ISR系统进行了建模分析。     

电子商务中制造商模式的Petri网建模

Pertri网是一种强有力的建模工具。它能够自动地表示状态随着时间的变化,也可以对实体间的联系和相互作用建模。本文论述了利用Petri网对电子商务的建模和分析。把一个电子商务模型转换成Petri网模型,就可以利用Petri网的建模优势来分析一个电子商务模型的性能,更好地从模型概念层次上验证电子商务模型在实现过程中的动态行为。     

基于Petri网技术的交通信号相位调节研究

提出了一种将Petri网技术应用干交通信号控制系统之中的策略。应用Petri网对典型的交叉路口进行建模分析,通过设定相位次序来提高交通效率。该模型能够有效地描述交通过程中的动态行为,利于分析和验证,并且易于实现。     

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

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

基于on-the-fly的Petri网模型检查技术研究与实现

Petri网是一种应用非常广泛的建模工具,它能深刻、简洁地描述控制系统,特别是能较好地描述并发系统的结构,并能对系统的动态性质进行分析。在探讨了Petri网的模型检查的基础上,采用双DFS算法,对基于Petri网的模型检查的算法进行了改进,提出了针对Petri网的on-the-fly算法,同时给出了基于on-the-fly的Petri网模型检查的实现和测试,从而可以有效地对Petri网表示的系统模型进行模型检查。     

可编程逻辑控制器的平行Petri网设计与实现方法

为了实现可编程逻辑控制器(PLC)的形式化设计, 定义了一种可以感知和执行的新型Petri网, 称为平行Petri 网. 将输入输出变量映射到库所结点上, 描述了PLC的Petri网模型的一般设计方法, 进而给出了其动态演化算法. 通 过C语言和TwinCAT联合编程, 使得Petri网与被控物理对象平行演化, 实现了Petri网对物理过程的平行感知和控制, 并完成了实验验证. 该方法可以缩短控制代码的开发周期, 简化程序复用的复杂性, 为平行系统在PLC工程中的应 用提供了有效工具.     

基于Petri网与萤火虫算法的任务分配可视化建模

为了解决民用飞机故障诊断中任务分配问题,提出了使用新型离散萤火虫算法对任务分配问题进行研究,并在此基础上,使用Petri网进行可视化建模与仿真。新型的萤火虫算法离散方法,使得原本应用于连续问题的萤火虫算法适用于任务分配问题,这样使Petri网建模的复杂性降低,更利于建模。最后,对一实例进行分析并进行可视化建模与仿真,动态的仿真过程及最终结果验证了模型的可行性及算法的正确性。因此,使用该方法可有效地降低建模的复杂性,提高任务分配的效率,同时能够应用于协同可视化诊断平台中的任务分配模块。     

集装箱动态跟踪工作流网模型的建立与实现

集装箱动态跟踪的过程是一类典型的以状态变化为主要特征的、分布的、循环的过程，并且其状态变化满足一定的规则，可以把这类过程看作是一类基于状态的工作流过程。对工作流过程进行建模是实现、仿真、分析工作流过程的前提和基础，工作流网就是—种以Petri网理论为基础、基于状态的工作流过程建模方法。文章提出了集装箱动态跟踪的工作流网模型及其实现方法，探讨了工作流网建模技术。     

Overlapping decompositions and expansions of Petri nets

Overlapping decompositions and expansions are considered to design decentralized controllers for discrete-event systems (DESs) modeled by Petri nets. The inclusion principle for Petri nets is first defined. It is shown that properties like boundedness, reversibility, and liveness (with a mild additional condition) carry over from the including net to the included net. Moreover, a new property called obstruction, is introduced for the including net, and it is shown that if obstruction does not occur in the including net, then deadlock does not occur in the included net. An expansion procedure, which guarantees inclusion for an overlappingly decomposed Petri net, is then introduced     

Possibilistic Petri nets

This paper presents the possibilistic Petri net model which combines possibility logic with Petri nets with objects. The main feature of this model is to allow one to reason about the aspects of uncertainty and change in dynamic discrete event systems. The paper presents relevant concepts of Petri nets with objects and possibility logic and how imprecision and vagueness are introduced in the marking of a Petri net with objects. The marking of a net is imprecise, or in a more general way, fuzzy, in order to represent an ill-known knowledge about a system state. A new marking updating according to the fuzzy marking such defined is also discussed. An example of shop door monitoring is presented that illustrates our approach.     

支持并行规划和设计的项目管理模型研究

给出了一个交互式的基于Petri网的项目管理模式,该模型利用Petri网描述并发事件的能力,将整个项目管理模式分解为规划网、监控网、预测网和资源管理网,并给出了Petri网表示的转换、项目监控、资源分配和冲突等问题的解决方法,基于以上模型的系统能较好地解决项目管理中系统的并行规划和设计,是一种比较有效的项目管理模型。     

Combining flow control techniques with Petri nets methodologies for real-time control of FMS

This paper focuses on the combination of the flow control techniques with Petri net methodologies. The flow control techniques are improved in order to handle multiple routing. A general and unified Petri net formalism is introduced. The integration of the flow control techniques with an interpreter based on this new Petri net formalism is discussed. Results for simulation of a very flexible manufacturing system are provided.     

Petri net-based process monitoring: a workflow management system for process modelling and monitoring

Nowadays business process management is becoming a fundamental piece of many industrial processes. To manage the evolution and interactions between the business actions it is important to accurately model the steps to follow and the resources needed by a process. Workflows provide a way of describing the order of execution and the dependencies between the constituting activities of business processes. Workflow monitoring can help to improve and avoid delays in industrial environments where concurrent processes are carried out. In this article a new Petri net extension for modelling workflow activities together with their required resources is presented: resource-aware Petri nets (RAPN). An intelligent workflow management system for process monitoring and delay prediction is also introduced. Resource aware-Petri nets include time and resources within the classical Petri net workflow representation, facilitating the task of modelling and monitoring workflows. The workflow management system monitors the execution of workflows and detects possible delays using RAPN. In order to test this new approach, different services from a medical maintenance environment have been modelled and simulated.     

模糊Petri网在油田开发设计领域的应用研究

油田自上世纪开发以来,已经积累了众多的不同类型油田的开发设计方案,借鉴已有的油田开发设计方案是非常必要的。为了使用户能够快速准确地找到所需方案,本文通过研究模糊Petri网的定义和性质,建立一个十元模糊Petri网模型,将模糊Petri网的建模方法应用于此,通过调节方案搜索条件的权值大小,控制该项条件在方案筛选过程中的重要程度,根据模糊Petri网的推理得出方案的相似度。     

Petri网的组合积网及性能分析

Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 ,为复杂大系统的分析提供了新途径     

网络安全组件组合强度研究

介绍了安全组件组合安全强度分析的现实意义,对现有方法进行研究,重点探讨了安全边界已知情况下安全组件组合的安全特性。研究段云所副教授所提出的理论,并以其方法为基础,提出了一种基于Petri网的网络系统安全组件组合强度分析方法,进一步研究了Petri网模型的构造,并利用Petri网仿真工具ExSpect对所提出方法的正确性进行仿真验证。     

A Petri net model for integrated process and job shop production planning

In this paper a new Petri net class (Chameleon systems) for modeling and analyzing joined process planning and job shop production planning is proposed based on the multi-level Petri net model introduced by Valk (1995). Chameleon system is a High-level Petri net extended with time that consists of a High-level Petri net modeling the workshop which is called system net and ordinary Petri net modeling the jobs and setups which act as tokens of the system net and therefore are called token nets. Process plans of the jobs are partial orders of operation groups and alternatives. The uncertainty of operation duration is captured by a new time model. The advantages of this new modeling approach are the following: (i) a modular construction of the joined process and job shop planning is allowed, (ii) classical known Petri net analysis methods can be applied and (iii) the analysis can be done at different levels of abstraction.     

基于模糊神经Petri网的故障诊断模型

Petri网是对具有产生式规则的故障诊断系统的有力建模工具，但其缺乏较强的学习能力．本文以Petri网的基本定义为基础，结合模糊逻辑和Petri网模型，定义了模糊Petri网模型，在此基础上引入人工神经网络技术，给出了人工神经网络的模糊Petri网表示方法，并针对工程机械故障诊断异步、离散等特点，提出并建立了故障诊断的模糊神经Petri网模型及其改进模型．基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点，经过自学习后同时具有很强的推理能力和自适应能力．