半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件 /事件 (C/E)系统建立半双工通信协议模型 ,并应用Petri网工具对协议模型进行分析 ,使用电子设计自动化 (EDA)技术 ,对基于C/E系统的协议模型进行高速硬件描述语言 (VHDL)程序设计 ,并由现场可编程门阵列 (FPGA)器件实现该模型 ,为协议的验证和实现提供了一种方法     

基于C／E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件（CPLD）实现离散事件动态系统（DEDS）监控器的方法。首先用Petri网中的条件／事件系统（C／E系统）对DEDS建模,然后用Petri网工具对模型进行分析,并根据控制要求设计出Petri监控器,最后用CPLD实现之。这不仅使Petri网有了硬件支持,而且也为逻辑控制器的设计提供了一种新的方法。文中给出了猫和老鼠迷宫问题基于C／E系统监控器实现的例子。     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

网络协议工程中的Petri网技术

按照OSI／RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析．     

Petri网维修事件仿真系统的HLA兼容性改造研究

通过对基于Petri网的维修事件仿真系统运行过程分析,确定其与外界的信息交换能力。开发了仿真对象模型（SOM）,并对其信息接口进行了改造。从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接。探讨了Petri网仿真模型改造为HLA成员的关键技术,为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。     

高级 Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网（ Place/Transition Net）的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。     

两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

一种数字家庭即插即控协议栈的Petri网描述与分析

对数字家庭即插即控协议栈构造基于Petri网的协议模型,并在模型的基础上对协议的完备性、科学性、实用性进行探讨分析,为该协议的应用以及进一步的研究提供参考.     

基于Petri网的保险工作流系统建模及验证

提出基于Petri网的工作流系统业务模型.该模型将Petri网的理论和性质应用于业务工作流系统当中,从系统的运行过程和形式化的图形描述方式两方面实现对工作流系统的快速建模和分析.通过工作流Petri网的语义性质,对所建立的中国人民保险公司的索赔业务工作流系统模型的正确性进行验证和分析,表明此模型有较好的应用效果.     

基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

基于LabVIEW的Petri网控制器实现

为使Petri网更易应用于测控系统,提出一种基于图形化编程工具LabVIEW、组件化的时延C/E Petri网系统实现方法.在LabVIEW中,用布尔控件表示Petri网的库所(布尔控件值为TRUE表示库所中有token),用子VI控件表示Petri网的变迁.变迁被触发时,变迁VI控件通过布尔控件的控件引用修改库所的值...     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析,用在系统可编程逻辑器件实现Petri网的方法,这种密码系统的设计方法简单、直观,由于Petri能够对复杂系统进行建模和分析,因此,采用这一方法能够十分容易地构造出复杂的密码系统,并确保系统的安全、可靠,文中给出了几种密码系统的Petri网模型,并给出了硬件实现的实例。     

一种新型卫星网管协议的Petri网描述与验证

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·     

基于Petri网的迁移工作流模型研究

利用扩充Petri网对迁移工作流进行抽象描述并建立模型，对Petri网的位置、转移、令牌等要素进行扩充描述，使扩充Petri模型能够体现迁移工作流的迁移特性；还分别对照迁移工作流和弱迁移工作流的广义点火规则进行描述。运用Petri网模型设计出一个迁移工作流实例，用以阐明Petri网模型的建模方法。其中着重说明（1）位置模型与实例中的停靠站和工作域之间的映射关系；（2）如何使工作域内各站点对于停靠站具有位置、功能透明性。     

基于着色Petri 网(CPN)在案例推理(CBR)中的应用研究

案例推理（CBR）是人工智能的一种新求解方法,其中案例检索（case retrieval）是案例推理过程的一个重要环节。在CBR基础上引入了Petri网理论,建立了眼科疾病诊治基于案例推理的着色Petri网（CPN）模型,研究探讨了该模型在CBR系统的案例检索中的实际应用。     

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法（简称EPN）将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统。由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模。同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真。本文主要对列车控制系统中的连挂和解编过程进行建模。通过模型验证采用EPN分析系统的有效性和便捷性。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.