MPI通信函数的增广Petri网模型

MPI是目前最流行的并行编程消息传递标准之一,它提供了多种点到点通信函数和集群通信函广Petri网模型,有利于解决此问题,并更好地利用它们编写并行程序.     

π-网--一类新型的模块化高级Petri网

π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题,在π-网中,任一π-网都可由四类基本π-网Tau网、输入网、自由输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使得π-网自身具有了极大的可操作性和可计算性.     

现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

一种状态自维护机制的建模与分析

提出了一种用户广域网环境下的客户服务器系统的资源使用状态自维护机制，使客户在保存自身对资源的使用状况和有关状态的同时定时地将其通知服务器，从而达到应用系统的健壮性和状态参数的一致性。在此基础上，利用Perti网对具备该机制的客户服务器系统进行了建模，对正常和各种异常情况下系统的自维护特性进行了分析，最后介绍了该机制在一个实际的客户服务器系统中的应用情况。     

UniNet Description of Dining Philosopher Problem

The UniNet specification of Dining Philosopher Problem we presents not only is graphic and intuitionistic but also explicitly indicates the In the specification, static semantics and the the static properties are dynamic semantics. the recorder of the dynamic properties, and the dynamic properties are the track of the static properties change. Accordingly, Dining Philosopher Problem is formally verified by UniNet. Furthermore, the procedure of properties＇ verification is implemented through the graphic-related computing style.     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

一类扩展Petri网的建模与仿真分析

本文定义了一类禁止弧／容许弧基本Ｐｅｔｒｉ网及其变迁的引发规则，构造了它的三个标志矩阵（禁止弧、容许弧、自环），给出了它的关联矩阵和状态方程；基于此，形式化分析了该网模型，并由此构造出适于计算机仿真分析的启发式算法；最后给出了仿真算例     

基于增广Petri网带封锁机制的数据库并发控制模型

用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。     

基于Petri网的航运业务流程的仿真优化

论文利用Petri网理论及相关的仿真软件，对航运业务流程进行了模拟优化分析。通过研究，得出的主要结论是：航运业务流程的优化对提高航运企业的管理效率和水平是十分重要的。在这方面，Petri网理论和相应的仿真软件（ExSpect）提供了一个非常有效的优化分析工具；航运业务流程作为物质流和信息流的紧密结合，其优化管理的关键在于引入信息技术，以提高业务信息传递和处理的效率。     

基于Petri网的光学专家系统体系结构设计的研究

用Petri网本身表示知识,Petri网的标识来表示光学专家系统的内存工作区,达到以Petri网为工具描述整个专家系统的体系结构的目的,也使得Petri的并发运行过程可以规范刻画光学专家系统的并行推理过程.使得透镜组的设计可以规范化,将丰富的镜头人工设计经验应用在人工智能专家系统上.通过Petri网知识分析论证能否保证该人工智能专家系统的鲁棒性.