oalib
Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
多级保障系统的广义随机Petri网建模与分析  [PDF]
杜宾,邱菀华
北京理工大学学报 , 2009,
Abstract: 针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型.根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间.为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略.采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法.
Petri网连接过程中的行为关系  [PDF]
蒋昌俊, 王怀清, 廖少毅
自动化学报 , 2000,
Abstract: ?先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.
petri网替换运算  [PDF]
吴振寰 吴哲辉?
计算机科学 , 2005,
Abstract: 文中给出了petri的替换运算定义,它是对分层模拟与逐步求精的petfi网建模思想方法的一个形式化描述。文中还通过petri网语言讨论了petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。
A Novel Multilevel Security Petri Net and its Security Analysis
一种新的安全Petri网及其多级安全机制分析

WANG Xiao-Ming ZHAO Zong-Tao YUAN Chong-Yi,
王小明
,赵宗涛,袁崇义

计算机科学 , 2003,
Abstract: Petri Net(PN) is a very important modeling methodology for dynamic concurrent system. Many PN models are available in existing literature,but a little attention has been paid to such a PN that supports multilevel secure policies. In this paper,a novel PN model .named as multilevel secure PN(MLSPN) ,is proposed,and its multilevel security mechanism is analysed formally. MLSPN has of a flexible and strong power to support a dynamic time con. traint.and the security covert channel can also be eleminated. Therefore MLSPN may have practical application in many areas,such as secure workflow development .secure database design,and secure protocol analysis, etc.
petri网的硬件实现  [PDF]
赵不贿?,景亮?,严仰光?
软件学报 , 2002,
Abstract: petri网是异步并发现象建模的重要工具,petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种petri网系统的硬件实现方法,包括带抑制弧和允许弧的c/e系统、p/t系统、t-时延petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种petri网的逻辑电路;然后用abel语言对逻辑电路进行描述;最后给出了一个用解释petri网描述的服务系统的例子,说明如何使用硬件(cpld)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义.
Petri网的并分解  [PDF]
王培良,赵义军,叶志宝
控制理论与应用 , 2001, DOI: 10.7641/j.issn.1000-8152.2001.1.027
Abstract: 给出了Petri网的并分解的定义,并讨论了通过这种分解原网与子网在结构性质方面之间的关系,对用Petri网分析大系统提供了一种有效的方法.
有界petri网的最小化化简  [PDF]
计算机科学 , 2007,
Abstract: 给出了petri网的语言等价性概念和有界petri网的最小化概念;证明了有限状态自动机、有界petri网、正规文法的等价性,给出了它们之间等价转换的算法;分析了有界petri网的化简过程,并给出了有界petri网最小化化简的算法,为有界petri网的自动化化简提供了方法。
petri网的标注可达  [PDF]
蒋昌俊?,吴哲辉?
软件学报 , 1993,
Abstract: 本文基于petri网的可达树的概念,给出标注可达树定义,并且证明网n与其标注可达树是一一对应的,然后,我们给出了网n与相应的标注可达树的相互转换算法。
流体随机petri网的一阶混杂petri网模型  [PDF]
计算机科学 , 2008,
Abstract: 为了借用一阶混杂petri网(first-orderhybridpetrinets)的建模原语和分析方法来分析流体随机petri网(fluidstochasticpetrinets)以克服流体随机petri网数值分析方法的局限性,本文提出了一种流体随机petri网转换成一阶混杂petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机petri网转换成一阶混杂petri网的必要性。
随机时间petri网综述  [PDF]
卢光松 葛运建?
计算机科学 , 2005,
Abstract: 随机时间petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间petri网各主要予类的发展历程与研究现状。首先介绍了随机时间petrl网的一些基本概念,然后回顾了广义随机petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机petri网及其分析技术,最后详细分析了流体随机petri网。
Page 1 /100
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.