基于Petri网的通信网络可靠性评估建模仿真

该文重点研究基于Petri网的建模仿真方法在通信网络可靠性评估中的应用。首先对Petri网和通信网络可靠性进行概述，并在分析通信网络体系结构和失效模式的基础上，引入了基于Petri网建模仿真的递增建模方法；最后将该方法用于通信网络可靠性评估研究，采用不同的模型，评估得到不同的指标值。结果表明该方法在通信网络可靠性分析与评估方面具有一定的可操作性。     

基于XML的生物代谢Petri网模型的标准化

针对分析生物代谢网络的需要，构建了生物代谢Petri网模型建模环境，并采用基于XML的Petri网标记语言PNML为标准，利用DOM实现XML解析，完成Petri网模型的标准化，通过对代谢网络Petri网模型实例的仿真，验证了标准化模型的正确性。     

一种层次化的面向对象CPN模型及其应用

文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网（HOCPN）模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用。     

无线传感器网络LEACH协议的Petri网模型及性能分析

Petri网是分析网络协议一种有效的形式化建模工具,基于对无线传感器网络LEACH协议运行机制的分析,为协议建立广义随机Petri网(GSPN)性能模型,并用SPNP软件对建立的性能模型进行分析,模型数据验证了模型的有效性,同时讨论了性能模型对协议的低功耗改进所起的指导作用。     

基于有色Petri网的SPIN协议建模与分析

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性.     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

基于专家系统和Petri网的网络可靠性评估方法

针对网络系统可靠性建模难的问题,结合专家系统和Petri网理论各自的特点,提出了一种基于知识库系统的Petri网可靠性评估方法。首先引入模糊神经Petri网的定义和适用于网络系统可靠性建模的引发规则,然后在此基础上提出一种学习算法,其既可以表示和处理模糊产生式规则的知识库系统,又具有学习能力。最后以一个无向网络的可靠性评估为例,并通过定性分析和定量计算,验证了算法的合理性和有效性。     

基于OOPN的嵌入式系统的建模研究与实现

本文结合了面向对象和Petri网两种建模方法的优点，提出了一种新的面向对象Petri网的建模方法。主要研究了面向对象Petri网方法在嵌入式系统设计中的具体应用，并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析。该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法，使得复杂的嵌入式系统描述更加模块化，具有可重用性，大大提高了嵌入式系统建模和分析的效率。     

基于扩展合同网协议的无线传感器网络协作方法研究

提出一种适用于无线传感器网络协作的扩展合同网协议.该协议在传统合同网协议中引入了信任度、阈值和优先级等策略,减少了无线传感器网络的通信开销,有效均衡了节点的能量消耗.为确保扩展合同网协议的完整性、正确性和可靠性.利用面向对象Petri网对其进行建模、分析和验证.仿真结果表明,扩展合同网协议有效地延长了网络生命周期,提高了网络的能耗效率,网络完成任务数也有了显著的增加.     

基于粗糙集和Petri网的随机流网络可靠性评价方法

针对随机流网络可靠性建模难的问题,提出一种基于粗糙集和Petri网相结合的随机流网络可靠性评价方法.建立了随机流网络在确定网络状态下的Petri网模型,并利用粗糙集方法求得网络中各边状态对系统状态的重要度;然后以此作为随机流网络的Petri网模型中各变迁的优先因子来控制模型中变迁的激发;最后通过蒙特卡罗仿真求得随机流网络可靠度的估计值.仿真结果表明,该方法是一种计算随机流网络可靠性的有效方法.     

审计缓冲区的形式化模型及其验证

审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序Petri网对审计缓冲区管理的实现方案进行建模,进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了Petri网缺乏描述系统事件之间时序关系的局限性,同时发挥了Petri网对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。     

基于Petri网的信息系统层次结构分析

具有网络通讯结构的信息系统在以Petri网为模型进行描述时可以归结为两类加权有向网络系统的研究,文章首先将Petri网模型描述下的信息系统结构分解为由两类性质不同的系统要素构成的有向网络图,并对这两类有向网络图引进了加权核和加权核度的概念和定义。在此基础上,提出了基于加权有向网络图的信息系统结构层次分析法。     

代谢网络结构与功能的Petri网分析

发展基因组尺度代谢网络模型的模拟和分析方法有助于学习这些网络的结构与功能关系,是当前计算系统生物学领域的一个重要研究主题。由于具备严格的数学描述,直观的图形表达,外加存在众多的算法和工具,Petri网可能成为代谢网络模拟和分析的有力工具。应用位置/变迁网来分析代谢网络的结构与功能特征,首先建立了巴斯德毕赤酵母代谢的Petri网模型,随后计算了该模型中的P、T不变量,并讨论了它们的生物学意义。     

基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析

基于模型的分析技术在系统研究和设计中发挥着重要作用,它具有简单灵活、可扩展性强、高效等优点,其中随机Petri网在性能评价方面得到了广泛的应用.使用随机Petri网为高性能计算机的作业调度系统进行抽象和建模,并将其与InfiniBand网络互连结构相结合来整体分析用户作业的延迟等性能指标.实验表明,该方法是可行的,且具有相对较高的精度.     

Petri网系统的功能划分及其并行算法

针对Petri网系统的并行控制与执行,提出Petri网系统的功能划分及其并行算法。采用库所不变量技术对Petri网系统进行功能划分,给出非负库所不变量的功能划分算法。对进程内和进程间的并行性进行分析,给出消息传递环境下Petri网并行算法及应用示例。实验结果表明,该算法能较好地体现Petri网系统的实际运行过程,是实现Petri网系统并行控制和运行的有效方法。     

基于C＋＋的城市报建工作流petri网的算法设计

城市报建工作是一个阳光工程,在信息技术发展的今天,实现城市报建工作的网络化管理,通过建立城市报建工作流的petri网,设计相应的计算机算法来实现计算机程序化管理。文中重点设计了报建审批工作流的Petri网,依据工作流的Petri网,应用C＋＋语言设计报建工作主控模块的算法。     

Diagnosability of Petri nets with observation graphs

This paper addresses the problem of diagnosability for dynamic discrete event systems modeled with bounded or unbounded Petri nets that are deadlock-free and monitored with sensor configurations with marking and event measurements. The proposed method gives necessary and sufficient conditions for diagnosability. It is based on the transformation of the coverability graph into an observation graph that encodes all observation sequences of measured markings and events with respect to the sensor configuration. This graph also encodes all sequences of transitions that may fire from any reachable marking of the Petri net. Diagnosability is determined by analyzing the paths and circuits in the observation graph. The method is illustrated with several examples of bounded or unbounded Petri nets.     

Risk assessment and management for supply chain networks: A case study

The aim of this study is to show how a timed Petri nets framework can be used to model and analyze a supply chain (SC) network which is subject to various risks. The method is illustrated by an industrial case study. We first investigate the disruption factors of the SC network by a failure mode, effects and criticality analysis (FMECA) technique. We then integrate the risk management procedures into design, planning, and performance evaluation process of supply chain networks through Petri net (PN) based simulation. The developed PN model provides an efficient environment for defining uncertainties in the system and evaluating the added value of the risk mitigation actions. The findings of the case study shows that the system performance can be improved using risk management actions and the overall system costs can be reduced by mitigation scenarios.     

基于Matlab环境的Petri网的仿真方法

该文介绍了佩特利网(Petri网)和Statefow的基本概念，给出Petri网在Matlab环境下的仿真方法．并以单水箱系统的混合Petri网模型为例进行说明，结合仿真结果对Peri网的性能进行了初步分析。     

基于时间Petri网的事件关联检测机制研究

网络事件的关联检测是网络管理急需解决的一个关键问题,基于Petri网的事件关联检测机制,提出基于时间Petri网的事件关联检测机制,该机制充分考虑了事件关联时间窗口的起始和大小,有效地提高了事件关联检测的准确率。