基于时间Petri网的潜在定时分析

针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为五种基本模式,并分别定义了五种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

基于模糊时间Petri网的网络计划模型

针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。     

基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性.     

主从任务调度的T-时间Petri网

任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运行的并发可达图的构造算法,最后,在并发可达图中得到了最优调度策略,该策略实现了稳定状态的最优调度,有效地缩短了调度的初始化及清除阶段的时间.     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

基于模糊时间Petri网的协同工作流模型研究

为了准确描述复杂产品协同工作过程,提出了一种基于模糊时间Petri网(FTPN)的工作流建模和性能分析方法.首先,给出了协同开发任务链接关系的形式化定义,将工作流模型的关键路径计算转化为一个基于FTPN状态方程的求解问题.并在此基础上,结合实例计算了某工程项目在约束条件下完成的可能性.结果表明,该方法可以方便确定产品协同开发过程中的关键环节,为产品协同工作的组织和管理提供指导.     

基于Petri网的作战系统时间与精度分析

为了分析整个舰载作战系统中时间与精度之间的相互关系,利用Petri网原理对舰载作战过程的整个流程进行了建模。通过对作战系统中各阶段时间的重新定义,并结合已有的舰载作战系统时间和精度估算法,对系统各个阶段的精度和时间进行了估计,分析了系统时间、最高精度和前期阶段精度之间的相关性。试验结果表明,最高精度要求越高,系统时间越长;最高精度一定时,前期精度越高,系统时间越短。     

基于时间Petri网的航班延误链式反应模型构建

由于一架飞机一天要执行多个航班,使得航班之间存在前后衔接关系,因而一个航班的延误会波及到与之衔接的下游航班,造成航班延误链式反应。基于时间Petri网理论,对单架飞机执行多个航班提出了时间Petri网链式模型,并给出了具体算法,用于在初始延误时间已知的条件下,判断初始延误机场的下游机场是否出现航班延误并计算航班延误的时间。实例仿真及分析表明,航班延误链式反应波及的机场个数与飞机的初始延误时间存在一定的量化关系,机场可以参考这个量化关系,根据初始延误时间建立航班延误预警机制。     

基于时间Petri网的装备体系可靠性建模与仿真

针对装备体系规模大、层次多、成员彼此分离、不断演化的特点,以及体系可靠性预计与分配困难的问题,在充分研究体系内涵的基础上,结合美国国防部体系结构框架（Department of Defense Architecture Framework, DoDAF）和流程分析研究方法,提出了一种基于时间Petri网流程分析的装备体系可靠性建模与分析方法,详细分析了体系结构和使用流程的建模过程,构建了装备体系的可靠性计算模型。以某机场航空保障体系为例,说明了基于流程的体系可靠性建模分析的详细过程,通过ExSpect（Executable Specification Tool）仿真软件,得出了装备体系流程的执行时间和可靠度仿真结果。     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。     

一个基于时间petri网的多处理机静态调度的方法

讨论了把任务图转换成Petri网的方法,因为所得到的Petri网是出现网,所以可以通过添加辅助变迁把其转换为强连通T-图,通过求解极小s-不变量便可以找到原出现网的所有的变迁发生序列.最后利用计算结果把任务分配到处理机上.得到的多处理机的任务调度方法所需要的时间最短,处理机数最少.     

某类有界时序Petri网的原型网形式的转化

时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.     

基于时间Petri网的星载海量存储器动态仿真

星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真。在采用UML对系统进行建模的基础上,本文提出一种通用算法将状态图自动转化为时间Petri网。同时根据系统约束和Petri网化简规则化简,分析其可调度性并给出星载海量存储器的时间性能评估。该方法适用于周期任务的静态、有限级调度系统,具有较广的适用性。     

离散事件系统的面向对象实时时态着色Petri网模型

提出了由记时面向对象着色Petri网为被控对象建模,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色Petri网模型.     

基于延迟Petri网的信息系统开发风险评估方法

信息系统建设是企业信息化建设的一个重要组成部分 ,在开发过程中出现的各种不确定因素导致企业信息系统中建设中存在着多种风险 ,对这些风险的管理和控制是信息系统开发管理的一个重要步骤。提出信息系统开发的风险管理和决策模型以及风险管理计划的制定策略 ,然后引入延迟时间模糊Petri网的概念并将其用于建立信息系统开发风险管理计划执行效果评估模型 ,重点论述应用延迟时间模糊Petri网对企业信息系统开发的各种风险进行评估的算法以及该算法的时间复杂度分析。     

Petri网的公平分解和守恒分解

给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质.     

Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。