基于微分方程的程序性能分析

基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态爆炸问题。     

连续Petri网的死锁和陷阱结构性态分析

连续Petri网是用来分析和描述具有连续变量的系统,被证明是有效的建模工具。本文主要讨论连续Petri网死锁和陷阱结构的性质,并结合算例对此进行了说明。     

Petri网死锁的分析与检测

本文在讨论Petri网静态结构和动态运行特性的基础上,给出了死锁的定义,描述了死锁的物理意义,并且给出了死锁的分析方法和检测算法.本文的研究对Petri网的工程应用具有基础性的重要作用.     

分布式锁的Petri网建模及死锁检测

分布式锁管理DLM细化了锁模式的粒度,使得分布式系统具有更高的并发性,但死锁检测等锁的管理过程却更加复杂了,Petri网的应用能很好地解决该问题。为分布式锁建立Petri网模型,通过化简和合成建立系统的Petri网模型,借助Petri网的可达标识图实时检测出分布式系统的死锁状态,并查找死锁进程。     

基于随机Petri网的信息系统工作流建模

工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低.文章提出了一种通用Petri网工作流建模和验证方法.以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象.研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆炸问题、便于进行性能评价,如果从语义验证和结构验证两方面对随机Petri网工作流模型进行验证,可以提高模型正确率.     

具有多项式时间复杂性的避免制造系统死锁控制策略

基于系统 Petri 网模型, 研究自动制造系统的避免死锁问题. 对不含中心资源的制造系统, 证明了它只包含安全和死锁两类可达状态. 通过一步向前看的方法, 给出了系统多项式时间复杂性的最佳避免死锁策略. 对一般系统定义了一种辅助 Petri 网. 利用辅助网的最佳避免死锁策略, 提出了综合一般制造系统多项式复杂性的避免死锁策略的方法.     

一类FMS的最佳活Petri网模型的综合

利用Petri网为一类柔性制造系统建模,并讨论避免系统死锁问题.通过Petri网模 型的结构分析,证明了系统产生死锁的一个充分必要条件.给出了避免死锁的最佳控制器,它 可以通过给系统的Petri网模型增加一些新的位置与相应的弧来实现.从而导出了这类制造 系统的最佳活Petri网模型.     

部分可控Petri网分布式死锁监控器设计

研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间。最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁。     

基于随机Petri网的SysML状态机图的验证

针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法。主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换。最后通过数字证书系统的一个实例说明该方法的可行性。     

基于着色Petri网仿真模型的安全协议分析

采取形式化方法验证协议的安全性,Petri网是有效的方法之一,但传统Petri网分析过程中经常会出现状态空间爆炸问题。该文采用了基于着色Petri网建立安全协议及入侵者攻击的仿真模型方法,从而获得仿真数据。该方法利用逆向状态分析和Petri网可达性分析,能有效地发现协议中的安全漏洞。并且,如果能恰当地控制好状态空间,则能有效地克服Petri网分析过程中的状态空间爆炸问题。该文给出的利用着色Petri网建立安全协议仿真模型分析的一般方法,实例说明该方法具有普适性,并且方便利用Petri网自动化分析工具实现自动化分析。