随机Petri网部分性质定量分析

本文对用Petri Net建模的系统进行活性性质的定量的分析，随后利用随机Petri Net和连续时间的马尔可夫链同构的性质，应用所获得的同构马尔可夫链对求得稳定状态概率的子系统的后继状态转移概率进行了详细的定量分析．从而为入侵检测系统的设计提供理论根据。     

分层有色Petri网在物流配送系统仿真建模中的应用

研究了如何使用分层有色Petri网在减少模型复杂性的基础上来建立物流配送模型, 并使用Colored Petri Net工具中的monitor机制, 对关键库所中托肯的变化情况以及关键变迁的发生次数得到 Simulation Performance Report和Message Sequence Chart来对模型进行全方位的定量定性分析, 准确模拟了实际系统完成物流配送的整个过程, 仿真过程表明该系统具有良好的适应性. 在确保物流配送流程合理性的同时,也为物流仿真软件体系结构的模块化及层次化设计建立了良     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。     

将扩展UML与Petri网应用在嵌入式系统设计中的研究

随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.本文研究了一种将时间约束Petri网和扩展UML相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性.     

远程数据采集系统通信协议设计与实现

数据传输是远程数据采集系统重要功能．要求精简高效的通信协议支持。本文根据《水情数据采集系统》通信结构与流程分析。使用Petri Net模型进行协议定义的形式化描述和可达树验证。设计一种适应PSTN远程数据传输的专用数据链路层通信协议，并给出协议编码规范、帧结构和基于组件的实现框架。     

基于Petri网的企业用户模型

Petri网是一种有效的模型描述语言，能进行系统性能分析，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。本文介绍一种面向用户的工作流模型，讨论将工作模型转化为Petri网模型，建立企业的资源及经营管理过程建立模型和资源模型，并利用Petri网进行系统模型消解，以便对系统性能进行分析。     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

.Net平台上Firebird嵌入式应用研究

Firebird数据库是一个跨平台的开源关系数据库系统,其嵌入式版本在设计和开发单机中小型业务系统中具有诸多优势和特性.Firebird也是一个全功能、轻量级、免维护、易部署的关系数据库.分析Firebird嵌入式数据库的优势,给出了Firebird数据库在.Net平台上的开发、设计和部署的策略和方法.     

扩展UML与Petri网应用在嵌入式系统设计中的研究

随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML,在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.文章研究一种将时间约束Petri网和扩展UML,相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML,的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性.     

Petri网的可达树分析法及其应用研究

一、引言 Petri网的理论是使用数学和图形进行研究系统的工具。它不仅能适用于计算机科学和技术这样的研究领域,而且也能适用于社会、物理等研究领域,具有较广的适应性。应用Petri网首先要对系统建模(Modeling),建模的重要作用是能使用Petri网的分析方法对系统进行分析,这些分析能揭示系     

双层变迁定时Petri Net抽象化

该文对双层变迁定时PetriNet进行了抽象化，抽象化的双层变迁定时PetriNet可用于嵌入式系统设计过程的中间态模拟。     

基于扩展Petri网的虚拟维修作业过程模型

维修作业过程模型是进行装备虚拟维修性分析与维修训练的基础。维修作业过程属于典型的离散事件,Petri网方法相对于其他过程建模方法,更适合于描述具有冲突、并发关系的离散事件系统,且模型具有直观性。利用时间-有色Petri网对装备的维修作业过程进行建模,分析讨论了维修作业过程中逻辑关系的表达与维修保障资源的描述;引入对象概念对资源库所进行了扩充,定义了维修作业变迁的触发条件及触发延时的确定方法,增强了模型的描述能力。最后通过一个维修作业实例,说明了该模型可以很好地应用于装备维修作业过程建模。     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于时间Petri网的综合航电系统时序验证分析

综合航电系统是一种对可靠性、实时性要求非常高的嵌入式应用系统。为了解决针对复杂应用场景下综合航电系统的处理时间和工作时序预估较困难、且计算自动化程度不高等测试验证问题,提出了一种基于时间约束Petri网的综合航电系统时序验证和分析方法。给出了时间约束Petri网的形式化定义,分析了综合航电系统工作流程中各节点的时间属性,通过引入时序约束路径的概念,并提出了时序推理算法。通过在仿真算例中进行计算并对比实际运行数据,结果表明该方法在针对综合航电系统运行时序的验证分析方面具有有效性。     

Petri网语言的Pumping引理

Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重耍的工具．Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言,已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并小适用于所有的Petrl网语言．文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且＋正规语言的Pumping引理是此引理的一种特殊形式．利用此Pumping引理可以证明某些语言是不能由Petri网产生的。     

Petri网关联矩阵与PNML描述之间的转换

PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径。文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOMAPI解析PNML文件及实现转换过程的技术细节。     

Petri网的正向推理算法

提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理。该算法充分利用了petri网的并行处理能力,缩小了后续应用的范围,加速了后续应用的效率。     

非确定Petri网

根据描述工作流模型的实际应用背景，提出了非确定变迁，非确定Petri网等概念，并定义了Petri网的等价关系，证明了在这种等价关系的意义下，非确定Petri网与传统的确定Perti网的等价性。     

Petri Net Plans

Programming the behavior of multi-robot systems is a challenging task which has a key role in developing effective systems in many application domains. In this paper, we present Petri Net Plans (PNPs), a language based on Petri Nets (PNs), which allows for intuitive and effective robot and multi-robot behavior design. PNPs are very expressive and support a rich set of features that are critical to develop robotic applications, including sensing, interrupts and concurrency. As a central feature, PNPs allow for a formal analysis of plans based on standard PN tools. Moreover, PNPs are suitable for modeling multi-robot systems and the developed behaviors can be executed in a distributed setting, while preserving the properties of the modeled system. PNPs have been deployed in several robotic platforms in different application domains. In this paper, we report three case studies, which address complex single robot plans, coordination and collaboration.