基于精炼操作的Petri网建模及其分析方法

针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.     

基于CPEBSDL通信协议的Petri网建模方法

结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。     

基于Petri网的混合安全策略建模与验证*

提出了一种基于有色Petri网的建模方法,在系统的Petri网模型中可以对中国墙策略进行分析和验证.给出了基于有色Petri网的混合安全策略的形式化定义;并通过一个系统实例阐述了如何利用该方法对系统的混合安全性进行分析和验证.无论是在系统的设计阶段还是实现阶段,该方法都能够有效地提升系统的混合安全性.     

基于Petri网的监控系统通信机制的研究

实时监控系统中各种状态数据和控制信息的传输要求高可靠性和强实时性,制造报文规范(MMS)由于其独立性和互操作性,被电力系统通信机制用作底层协议基础并得到了广泛的研究.Petri网由于能够描述系统动态并发行为并能通过建立数学模型来管理系统行为而被用于MMS的建模和分析.目前,基于Petri的MMS的研究仅限于MMS的建模、分析和验证.缺少从Petri网到代码的自动转换.本文将利用面向对象方法建立Petri网工具,通过图形用户接口实现MMS的Petri网建模和分析,并在此基础上通过映射规则和组件技术实现代码的自动转换.     

面向对象双变迁Petri网及应用研究

针对Petri网数据流描述能力的不足,引入了数据变迁的概念,给出了双变迁Petri网的定义和图形表示,详细分析了双变迁Petri网的行为规则;定义了面向对象双变迁Petri网,使复杂系统的网模型易于分析理解;实例建模表明,该方法对控制流和数据流共存的复杂系统建模十分有效.     

基于Petri-All-P-Uses的BGP4+可执行测试序列生成

首先介绍将BGP4+的互连行为FSM模型转换为Petri网,然后基于Petri网给出数据流标准Petri-All-P-Uses的定义,并将该标准运用到Petri网模型上,最后对BGP4+的Petri网模型直接进行可执行测试序列的自动生成,同时给出生成算法。     

面向Agent的Petri网及其应用

为了更好地刻画单个Asent的行为和多Asent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型.首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题.     

基于Petri网的自动售货机销售系统建模及验证

提出了一种层次Petri网建立多媒体自动售货机销售系统模型。首先给出了层次Petri网在该系统中的形式化定义及描述,运用分层设计、逐步细化的思想降低系统复杂度,使该系统设计直观、清晰。然后,利用SNOOPY仿真工具和Petri网可达图分别从定性和定量两个方面加以分析,验证了该模型的合理性和有效性。研究表明,层次Petri网是多媒体自动售货机销售系统建模的一种有效途径。     

可重构制造系统的Petri网建模和分析方法

提出一种针对可重构制造系统的Petri网建模和分析方法．根据生产流程图可以得出制造系统的基本网模型,扩展基本网模型即可得到系统的Petri网模型．当生产任务发生改变并建立新的生产流程图时,可直接从原来的基本网模型构造出新构形的基本网模型．此外给出了系统重构代价的评价方法．仿真研究验证了该方法的有效性。     

CPN原理及其在人工智能中的应用

Petri网理论是由联邦德国的Carl Adam Petri于１９９２年在其博士论文中提出的一种建模方法。最初的网理论称为条件／事件网（ＣＥ－nets).在随后的几年中,人们对新的网模型、网的基本概念有分析方法等进行了大量的研究。其中最有影响的是位置／变迁网（PT－nets),PT-nets后来命名为Petri网（Petri Net)。这些早期的网模型在理论上都归结为基本网（EN－nets)。这些早期的网模型在理论上都归结为基本网（EN－nets)。研究者通过对PT－nets进行了扩展,在风中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求,并在此基础上形成了比CE－nets和PT－nets更加通过化的高级网（High-level Nets)理论。最早的高级网是谓词／变迁网（PrT-nets),此后又产生了广义随机Petri网（GSPN）、着色Petri网（CPN）等较有影响的建模方法。CPN是由丹麦的Jensen Kurt于1981年在Petri网基础上定义的一种高级网系统。CPN理论不仅在描述系统静态模型方面进行了完备的形式化定义,例如支持在网模型中标记（token)的类型定义、模型的全程时钟、建立分层子模型等,而且对系统模拟的动态行为的仿真分析也具有形式化定义和描述。此外在Linux、Solaris和MacOS等多种平台上都有CPN的建模分析工具。利用CPN的建模工具,可以建立描述系统的CPN静态模型,还可以对系统模型的动态行为进行仿真,分析系统的分布、并发、同步异步等特性,以及建立系统模型的状态空间并分析系统模型中的活性问题、可达性问题等。