机器人足球射门算法研究

为提高足球机器人的射门成功率，在分析了基本射门算法存在不足之处的基础上，引入了射门区的概念．通过计算射门区及射门角，提出了一种改进的射门算法，并给出了射门过程的Petri网模型．仿真结果证明该算法能优化射门机器人的运动路径，提高射门成功率．     

通用网在模拟无序信息传输中的应用

传输信息常涉及到不同的难题。当保护信息免受非控制访问时，一个新的似然性可能得以应用，即无序。由于在安全通信中实施无序的兴趣日见增加，已经提出许多设计方案。本文提出了建立非线性动态无序系统模型的方法，并进行了通用网的设计与访真。     

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

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

离散时间Petri网的模糊模型

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

Analyzing User-Perceived Dependability and Performance Characteristics of Voting Algorithms for Managing Replicated Data

User-perceived dependability and performance metrics are very different from conventional ones in that the dependability and performance properties must be assessed from the perspective of users accessing the system. In this paper, we develop techniques based on stochastic Petri nets (SPN) to analyze user-perceived dependability and performance properties of quorum-based algorithms for managing replicated data. A feature of the techniques developed in the paper is that no assumption is made regarding the interconnection topology, the number of replicas, or the quorum definition used by the replicated system, thus making it applicable to a wide class of quorum-based algorithms. We illustrate this technique by comparing conventional and user-perceived metrics in majority voting algorithms. Our analysis shows that when the user-perceiveness is taken into consideration, the effect of increasing the network connectivity and number of replicas on the availability and dependability properties perceived by users is very different from that under conventional metrics. Thus, unlike conventional metrics, user-perceived metrics allow a tradeoff to be exploited between the hardware invested, i.e., higher network connectivity and number of replicas, and the performance and dependability properties perceived by users.     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

基于流随机Petri网模型的可重入生产线稳定性分析

可重入生产线是作为芯片制造生产线模型被研究的，其特点是具有“可重入性”。该文基于流随机Petri网(Fluid Stochastic Petri Net,FSPN)对可重入生产线进行建模，并得到了一些相关的稳定性结论。     

基于Petri网的交互式双机容错模型

传统的服务器容错模型大多采用复制和冗余机制，给系统造成大量垃圾．本文分析了数据库的体系结构，给出一个具有三层交互式的Petri网容错模型．实现了客错机制和容错策略的分离，体现了系统的动态特性．     

ATM网络基于队列长度阀值的传输调度

本文提出了ATM网络的一种实时传输调度和信元丢失控制的综合方案.这种方案是基于队列长度阀值而设计的,它适应于ATM网络面向连接的特性.本文给出了这种方案的随机Petri网性能模型,并给出模型分解和迭代的近似求解方法.     

Formal methods integration for the specification of dependable distributed systems

This paper describes a real-world case study in the specification and analysis of dependable distributed systems. The case study is an automated transport system with safety requirements. In order to manage the complexity of the problem of specifying the dynamic behavior of the whole system, a compositional approach is used, based on the integration of the trace logic of the Communicating Sequential Processes (CSP) theory, and stochastic Petri nets (SPNs). It is argued that the integration of different formal methods is a useful approach in the definition of practical engineering methodologies for the specification, design and analysis of complex dependable distributed systems.