任务间依赖关系的分类及形式化表达

协调作为一个重要的概念广泛地出现在多个学科和社会经济领域，成为广大学者共同关注的一个研究课题。目前对于协调问题中依赖关系及协调策略的研究，多是做定性的表述，给出的一般都是非形式化的描述，这样不利于协调问题在计算机上的表述，难以实现协调问题的计算机求解。针对这一问题，利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系进行研究，提出任务之间的依赖关系可以分为两类，基于资源的依赖关系和基于时间的依赖关系，并用Petri Nets对这些依赖关系进行了表述，为协调问题的可计算描述提供了一种新的思考角度。     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

一种基于Petri网的构件特征干扰检测方法

为了检测和解决构件组装过程中的特征干扰问题,提出了构件的Petri网模型,给出了构件3种组装机制的形式化定义,并在分析了各种组装机制下可能出现的特征干扰的基础之上,提出了一种基于Petri网的特征干扰检测方法.该方法根据构件的不同组装机制,采用不同的规则检测特征干扰.实例研究表明,该方法能有效和准确地检测特征干扰,有助于解决构件组装过程中的特征干扰问题.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于O-PPN的装备体系任务线程建模与分析

针对当前武器装备体系(weapon system of systems,WSoS)任务建模分析方法难以描述各装备系统多态性的问题,结合Petri网与Markov过程提出了一种基于O-PPN的装备体系任务线程建模与分析方法.在定义武器装备体系的基础上,对装备体系的使命任务进行形式化描述.改进传统Petri 网,构建一种行...     

Petri网的动态行为研究方法分析

Petri网是适应于形式化软件开发的很好的描述工具.Petri网理论研究分为建模与验证两个方面,结构技术是Petri网的验证技术的基本方法之一,其主要核心是基于死锁,基于这一方法的研究已取得一些很好的结果,但死锁的个数足网规模的指数阶的.这就意味着目前有关网的理论研究结果与实用的验证方法有着一条难于逾越的鸿沟.本文对Petri网的动态行为研究方法给出了一个较为详尽的概述.     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

基于GPGP机制的物联网任务协调机制

为解决物联网的多重依赖问题,在传统的GPGP机制中引入了图论思想,通过建立有向图,标识每个完整的依赖关系,进而解决物联网零结构条件下的任务协调问题,并对传统GPGP机制的“探测协调关系”过程进行了改进,以传递改进GPGP机制所需的额外信息。与传统GPGP相比,尽管改进GPGP机制需要传递更多的间接协调关系信息,但不会明显增加通讯代价。     

MAS行为协进化Petri网模型构建

为对复杂的多Agent行为协进化过程进行建模,给出了行为协进化的MAS智能控制系统的组织构造,引入Petri网方法构建了系统行为协进化过程的Petri网模型,并对模型进行了特性分析及仿真验证.所建模型较好地描述了协进化及其控制过程的流程结构、动态行为规律及多Agent间的交互机制.     

Petri网的总线型DCS的通信机制

为了使总线型DCS(Distributed Control System)系统多设备并发通信活动保持有序性、正确性,提出基于Petri网模型对其通信协同关系进行研究.利用Petri网模型对DCS系统中上位机和下位设备在工业网络环境中的协同关系、协同机制进行形式化的描述、分析,用控制进程并发的理论观点来实现这种协同机制.实验测试表明,基于该模式实现的总线型DCS系统比Common DCS平均通讯延迟比小于97/10000,信息发送接收平均误码率低52.5%,平均故障恢复时间大约少6.6ms,体现了较高的实时性、高效性.