时间Petri网模拟能力的研究

模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri网的模拟能力比传统Petri网要强,并首次证明了时间Petri网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外一种含时间因素的时延Petri网向时间Petri网的转换方法,这说明了时间Petri网虽然形式上较为简单,但其模拟能力却并不比其它含时间因素的Petri网逊色,同时为时延Petri网的研究提供了另外一种有效方法。     

转移具有确定性时延的随机Petri网近似算法

本文对含有确定时延的随机Ｐｅｔｒｉ网提出了一种进行解析分析的近似算法。     

基于时延Petri网的双重数字签名技术研究

时延Petri网是在一般Petri网的基础上,在变迁上引入相应的时间函数,使其具有很强的描述能力与性能分析能力.论文利用时延Petri网对安全电子交易的双重数字签名技术进行建模,通过对所建模型进行描述与分析,指出问题所在,找到问题的解决方案,为安全电子交易过程提供进一步的安全保障.     

时延Petri网分布式模拟的先行值研究

先行值计算是提高时延Petri网并行模拟性能的一个好的方法。给出了时延Petri网的先行值计算的四种基本结构,对于存在循环的复杂的Petri网结构给出了预测图算法,通过预测图,能够很容易求出静态和动态先行值,在并行模拟中利用先行值可以分析出存在并发和阻塞的结构,从而为网分块在并行机的结点上运行奠定了基础。     

基于时延库所Petri网的动态联盟任务调度研究

针对动态联盟中任务调度的特点,提出了采用时延库所Petri网对动态联盟任务调度进行建模.给出了模型的形式化描述及变迁规则,对动态联盟中的产品加工类型进行了分类,并建立了各种加工类型的时延库所Petri网模型,分析了通过模型中零时差的库所求解关健路径和利用可达图求解合理调度方案的方法.最后,以实例表明了该方法的可行性和有...     

基于时延Petri网的DEDS的代数模型

用一种新的算子建立了结构无竞争时延Petri网和资源分配型时延Petri网的动态方程,为该类系统的分析和控制提供了研究工具.     

基于时延Petri网数据并行问题的分析

Petri网作为一种直观的图形建模工具和一种具有丰富数学基础的形式模型,非常适合描述具有并发、异步和分布特征的系统。数据并行即将相同的操作同时作用于不同的数据,利用时延变迁Petri网来分析数据并行问题,可以找出具有相同操作的结构,这对于数据并行问题在并行机上进行模拟有很大好处。     

基本图灵机的Petri网建模研究

该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。     

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

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

基于时延Petri网建模的主从自适应协调控制方法

为了保证城市道路"绿波带"的通行效率,合理协调主从道路的车流量,通过利用时延Petri网建模,提出了一种主从自适应协调控制方法。该方法可以根据干线主路口的车流量自动调整其相位时间,也可根据主路口的相位及车流量自动协调变换从路口的相位时间。通过案例分析,该方法可以有效实现主从路口的自适应协调控制,在保证绿波带畅通的同时,使通过支路的车辆数尽可能大,有助于提高交叉口的通行效率。     

基于Stateflow的赋时Petri网仿真实现方法

以合理配置和优化内外资源为目的的生产调度问题已成为制造业的研究热点.通过利用赋时Petri网建模方法对Job Shop生产调度问题建立模型,采用Matlab环境下的Stateflow工具箱实现了对所建Petri网模型的动态可视化仿真,获得了网运行的变迁序列并构建出Petri网的可达图,同时分析了各机器生产效率.该仿真方法降低了Petri网理论分析的难度,仿真结果为制造系统的实际流程设计提供了依据.     

Invariants of Timed Petri Nets

A linear fundamental equation for a timed Petri net is constructed. Full and partial invariants of state and behavior of a timed Petri net are introduced. Properties of invariant nets are analyzed. Interrelations of full and partial invariants are shown. Examples of analysis of net models of production systems and processes are described.     

随机时间Petri网综述

随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。     

基于时间Petri网的离散事件仿真方法研究

本文总结了现有离散事件仿真的实现方法,探讨了并行处理对仿真系统的要求,提出并建立了一种基于时间Petri网的面向对象模型。在该模型中引入仿真对象并将其作为仿真处理的基本单元;引入事件发生的时间属性并将其作为时序的依据,使并行执行的事件能被正确有效地处理。此外,该方法很好地解决了仿真过程中出现的异常等问题。     

A Simulation Engine for Stochastic Timed Petri Nets and Application to Emergency Healthcare Systems

In many service delivery systems, the quantity of available resources is often a decisive factor of service quality. Resources can be personnel, offices, devices, supplies, and so on, depending on the nature of the services a system provides. Although service computing has been an active research topic for decades, general approaches that assess the impact of resource provisioning on service quality matrices in a rigorous way remain to be seen. Petri nets have been a popular formalism for modeling systems exhibiting behaviors of competition and concurrency for almost a half century. Stochastic timed Petri nets (STPN), an extension to regular Petri nets, are a powerful tool for system performance evaluation. However, we did not find any single existing STPN software tool that supports all timed transition firing policies and server types, not to mention resource provisioning and requirement analysis. This paper presents a generic and resource oriented STPN simulation engine that provides all critical features necessary for the analysis of service delivery system quality vs. resource provisioning. The power of the simulation system is illustrated by an application to emergency health care systems.      

离散时间Petri网的模糊模型

离散时间Petri网是一种系统模拟和分析的有效工具，它可以结合图形和分析描述评估离散事件系统的动态执行．基于T—S模糊模型，提出用于描述离散时间Petri网的模糊模型，讨论该模型适应于TtPNs的情况，用以推广文章结论，并且给出用于TtPNs的线性模糊控制规则．同时，文章还给出TtPNs聚合的结论．     

基于Uppaal的时延Petri网到时间自动机等价模型验证*

时延Petri网和时间自动机都可以有效地对实时系统的行为进行模拟和性能分析。利用时延Petri网到时间自动机等价转换算法（简记作TPN-to-TA 转换）,将一个描述实时系统的时延Petri网模型转换成与其语义等价的一组时间自动机模型。使用时间自动机中成熟的模型验证工具Uppaal对此时延Petri网的模型进行验证。     

Optimal Model Predictive Control of Timed Continuous Petri Nets

This paper addresses the optimal control problem of timed continuous Petri nets under infinite servers semantics. In particular, our goal is to find a control input optimizing a certain cost function that permits the evolution from an initial marking (state) to a desired steady-state. The solution we propose is based on a particular discrete-time representation of the controlled continuous Petri net system, as a certain linear constrained system. An upper bound on the sample period is given in order to preserve important information of the timed continuous net, in particular the positiveness of the markings. The reachability space of the sampled system in relation to autonomous continuous Petri nets is also studied. Based on the resulting linear constrained model, the optimal control problem is studied through model predictive control (MPC). Implicit and explicit procedures are presented together with a comparison between the two schemes. Stability of the closed-loop system is also studied.      

基于时间Petri网的企业铁路作业系统模型的研究

由于企业自备铁路作业现场比较混乱,作业类型相当复杂,好多因素难以从数学模型的角度加以考虑,因此,寻找一种有效的建模方法来描述系统的数学模型是很有意义的。Petri网具有易于描述系统的并发、竞争、同步等特征,很好地满足了系统建模、验证及实现方面的众多需求。文中利用时间Petri网描述了企业铁路的作业系统的模型,并对产生的冲突提出了解决方案。