基本Petri网:模型、特性和分析方法

对Petri概念、基本模型、特性和分析方法等进行了讨论,介绍了基本Petri网模型的应用以及所能模拟的一些系统特性,对系统建模和分析有一定的指导意义.     

城市交通网络的混杂Petri网建模

针对城市交通网络中的动态车流具有连续时间特性而动态信号灯具有离散事件特性的情况, 采用混杂Petri网建立了一个四相位信号交叉口模型，该模型包含了城市交通网络中的连续车流动态和离散信号灯动态.在此基础上分析了交叉口各个方向的输入、输出车流动态，并与四相位信号交叉口的物理模型相对比，结果表明该混杂Petri网模型能够较好地描述城市交通网络的混杂特性.仿真结果表明了混杂Petri网模型的有效性.     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

基于改进Petri网的电网故障诊断方法

为了获取精确的电网故障诊断结果,根据Petri网的基本理论,对已有的电网故障诊断Petri网模型进行改进,提出了基于改进Petri网的电网故障诊断方法.改进后Petri网模型同时考虑主保护、后备保护和失灵保护的影响,能够充分模拟实际故障中各个保护的优先级别,且该建模方法大大简化了模型数学推理的复杂程度.算例分析表明,该...     

使用控制授权策略的一种形式化表示方法

使用控制模型是一个包含传统访问控制、可信管理、数字权限管理的综合框架,是下一代数字资源使用控制模型.Petri网能够描述使用控制模型的分布、并发、同步等特征,又具有严格的数学基础以及易于理解和使用的图形表示,也有成熟的模型验证和模拟工具,是建立和研究使用控制模型的有效技术.定义了使用前和使用中授权使用控制模型及其连续性和可变性特性,然后采用有色Petri网进行了表达,并详细分析了有色Petri网模型能够表达授权使用控制模型的使用授权策略.     

基于UML状态图和Petri网的冷却水实时控制系统建模与分析

实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法.通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用.     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于Petri网下递归关系的自控网模型

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。     

基于Petri网的生产车间物料运输系统建模与仿真

提出了一种基于Petri网的生产车间物料运输系统Petri网模型,可以将该系统的物理过程通过网系统形象地表示出来,并反映出系统的动态特性。同时用ARENA仿真软件对该系统进行了模型仿真研究,仿真结果表明该模型是合理的。     

高性能网络协议的Petri网模型

Petri网是协议形式化描述的优选模型．本文对高性能协议进行了深入的研究．并针对高性能协议更高的形式化描述要求．分别从语文、同步特征、模块化．层次比、对象化等方面进行了Petri同的特性分析．最后给出了用Petri网描述的快捷运输协议（XTP）的实例．