协同业务过程的相容性检测及修正

随着经济全球化的发展,企业的业务活动已从企业内单独的业务过程发展成为跨企业多个协同业务过程的模式,为了确保协同业务过程实施的正确性,协同业务过程相容性及修正是一个不可或缺的研究问题。为此,结合Petri网及过程挖掘的相关理论,提出了一种跨组织协同业务过程的相容性检测及修正方法。首先基于Petri网对业务过程及协同业务过程进行建模;然后对业务过程和协同业务过程的相容性进行定义,并分别给出了相应的检测算法;最后以现实中的购买过程为案例,检测出该购买过程中存在的不相容的协同业务过程,并予以修正。结果表明,在不改变局部业务过程的情况下,对本来不相容的协同业务过程进行修正,并最终达到一种好的满足相容性的协同业务过程模型。     

基于改进Petri网的作战指挥协同模型

在系统分析雷达旅(团)指挥协同过程特点的基础上,结合着色Petri网和时间融合函数发展了一类综合有色Petri网方法,并融入CSCW技术建立了相应的雷达旅(团)指挥协同模型.通过对作战指挥协同系统的建模,发现综合着色Petri网可以有效的降低系统模型的规模和复杂性.     

协同设计环境下的任务分配方法的研究

介绍一种基于辅助Agent的合同网模型的任务分配方法,并给出了协作过程中的任务选择策略和Agent选择策略,改进基本合同网模型的缺点和不足,以解决多Agent的协同设计系统中分布合作求解问题和任务分配,达到全局最优化,产生高质量的设计及有效的资源利用,并减少协商时间和信息流量,提高系统效率。     

应急预案流程的Petri网建模方法研究

为了提高应急信息系统模型的语义基础,提出了一种基于Petri网的应急预案流程的建模方法。以ABC模型为上位本体建立了应急预案流程本体,提出了应急预案流程的Petri网建模过程,并定义了应急预案流程中本体和层次Petri网的映射规则。使用该方法对某公路桥梁抢修应急预案流程进行Petri网建模,并通过仿真分析验证了建模方法的有效性。     

基于多Agent视频事件协同检测系统的设计与实现

Agent是人工智能领域中一种新兴的技术,在监控系统中的应用具有很大的优越性.设计实现了一种基于多Agent视频事件协同检测系统VECON.论述了VECON的结构与工作原理,并重点讨论了VECON中单个Agent模型和检测事件的方法,并为视频事件检测技术构建了一个智能的通用框架,使得该系统具有较好的自治性、可移植性和扩展性.最后通过实验,验证了VECON.     

免疫多 Agent 协同的教育管理系统模型研究

为了满足学校办学的智能化需求,设计了基于免疫多 Agent 协同的教育管理系统模型。研究了免疫多 Agent 协作 处理模型, 通过对话式扩充合同网协议完成了多 Agent 协作。采用免疫多 Agent 的协同进化算法提高了免疫进化算法的全 局搜索能力和收敛速度,使教育管理系统模型具有良好的最优解搜索能力。     

面向企业战略的ERP自动协同决策一致性系统

首先,定义面向企业战略的ERP自动协同决策概念;其次,提出战略自动协同决策一致性模型,并构造由战略决策个体感知Agent、战略决策协同感知Agent、多库协同管理Agent及数据挖掘者Agent组成的多Agent系统结构;最后,用自主开发的ERP协同决策系统,举例说明自动一致性系统应用。     

基于多代理系统的软硬件协同设计

为使软硬件协同设计过程更具分布性、自主性及并行性,在软硬件协同设计中引入多代理(MAS)技术,提出软硬件协同设计的MAS模型,包括系统描述Agent、软硬件划分及映射Agent、软硬件设计Agent、协同通信Agent、性能评估Agent和硬件系统测试Agent的构建和应用。采用多个目标代理映射、协商的方法协调整个协同设计过程。实际应用表明,该方法能优化系统级芯片设计方案、软硬件结构和功能,并提高系统整体性能。     

基于TCPN的产品协同设计过程时序逻辑推理研究

针对具有动态、并发、不确定性特点的协同设计过程的设计活动模糊时间推理问题,基于时间约束Petri网理论,建立一种产品协同设计过程模型及其时间约束关系模型.通过分析协同设计过程的时间约束类型,提出了协同设计活动间的时间约束触发规则与推理机制,以及不同触发规则下的时间运算关系;最后通过一个链式输送机协同设计过程实例,验证了文中模型的相关结果,并开发了一个基于时间约束Petri网的协同设计过程时序推理仿真系统.     

基于对象的扩展Petri网协同设计过程分析

针对协同设计中任务的执行流程缺乏柔性,不利于分析实际设计过程的现状,提出一种单元调用变迁对与决策变迁相集成的基于对象的扩展Petri网,扩展了Petri网的可达图以适应分析OEPNs模型.采用OEPNs中的过程网和单元阿对协同设计过程楚模,利用模型中的单元调用变迁对和决策变迁对过程本身和可能状态进行分析.最后与相关的研究工作进行比较并给出了结论.     

Modeling of emergency response decision-making process using stochastic Petri net: an e-service perspective

In this paper, we address the emergency response decision-making process based on stochastic Petri net from an e-service perspective. The emergency response decision-making process is modeled and designed considering service management. The process is modeled based on stochastic Petri net and a solution methodology is proposed to solve the model. In addition, an isomorphic Markov Chain model and a service performance model are developed for measuring and evaluating the service performance of emergency response decision-making process. Finally, a case study is presented to show the viability of our method.     

CorPN: managing instance correspondence in collaborative business processes

Driven by the booming global business, organisations are required to align their business processes into an inter-connected network. The sophisticated nature of collaboration results in dynamic and complex interactions and correlations between participating business processes. This inevitably poses challenges to business process management in terms of recognising the instance correspondence and analysing the interaction behaviours of collaborative business processes. Nevertheless, this issue has received very limited attention from inter-organisational workflow research. In this paper, a novel correspondence Petri net model called CorPN is developed to specify instance correspondence with extensions to classical WF-Nets. In addition, a method is established to analyse the behavioural properties of CorPN nets for the purpose of process verification and examination.     

Process planning for collaborative product development with CD-DSM in optoelectronic enterprises

Coupled activities are the main reasons to cause collaboration in product development (PD) process. Previous modeling approaches such as Petri net, IDEF and DSM fail to represent the collaboration characteristic of PD process well. Considering the characteristics of optoelectronic PD process especially for demand of collaborative development, this paper proposes the process planning framework, establishes the three-dimensional collaboration model, and analyzes nine collaboration types among activities. The Process Collaboration Degree (PCD) and Activity Collaboration Degree (ACD) considering information delivery times and probability are defined to strengthen the modeling ability of DSM, and then the Collaboration Degree Design Structure Matrix (CD-DSM) is constructed to model the collaborative development process of optoelectronic products. In order to decrease the coupled complexity, PCD is applied to decompose the nested activities into atomic activities based on the information input/output points and ACD is used to express the value of the elements in the CD-DSM. Furthermore, the upstream and downstream relationship of atomic activities is optimized based on the CD-DSM to plan the collaborative PD process. Finally, the proposed framework is realized in a prototype system, and an example of LED display module development process is carried out in an optoelectronic company to illustrate the application. And the results show that the proposed method improves the process planning of collaborative PD effectively.     

基于面向对象Petri网的无人机协同追踪系统建模*

从离散事件系统角度出发,基于动态角色配置的思想,提出了协同追踪过程中无人机在搜索、协助者、领导者和空闲四个角色之间切换,动态构建团队追踪地面移动目标的协同追踪策略,采用面向对象Petri网对无人机、移动目标以及协同追踪策略组成的协同追踪系统进行建模研究。利用改进的人工势场法作为无人机的追踪算法,设计了一种协同追踪的情景对协同追踪系统进行了仿真,仿真结果表明了系统建模的可行性。     

基于Petri网的分布式系统并发进程的死锁检测

分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件.     

无界公平Petri网的进程表达式

Ｐｅｔｒｉ网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式．它用有限形式给出了网系统的所有（无限多个）进程的集合．作者于１９９５年给出了对任意给定的有界Ｐｅｔｒｉ网求其进程表达式的一个算法．这个算法对无界Ｐｅｔｒｉ网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义．对此,作者通过定义进程段行为等价的概念,导出了无界Ｐｅｔｒｉ网的进程表达式的一般形式,并借助无界公平网的特征     

基于知识Petri网的确定性和不确定性联合推理

知识推理是人工智能的核心领域,旨在研究如何从已知(知识库和推理规则)推理出未知,以帮助智能体做出科学决策.而智能体所处的环境存在不可观性和不确定性,因此知识库通常不仅包含确定性知识,还包含不确定性知识,而且推理过程需要两类知识紧密协作.然而,目前的推理方法无法将两类知识统一表示,常常将两者对应的推理过程割裂进行.基于此,为了实现在统一的模型架构下完成确定性和不确定性联合推理,给出了一种知识Petri网推理方法.首先,定义了一种新的知识Petri网,使其不仅能够描述确定性的知识规范,也可以描述先验概率知识;其次,根据知识Petri网的网结构,给出了一种知识Petri网概率独立剪枝算法,能够指数级地降低不确定性推理的计算复杂性;最后,利用知识Petri网及其概率独立剪枝算法,给出了一种新型推理算法,实现了确定性和不确定性的联合推理,并利用Wumpus世界进行了演示和验证.     

虚拟制造企业的Petri网建模/仿真

为降低Petri网建模难度并增强模型的可读性,提出一种通过消息序列表（Message Sequence Chart,MSC）模型对虚拟制造（Virtual Manufacturing,VM）企业的生产经营过程进行Petri网建模的新方法．建立冲突消解机制,给出从MSC模型到Petri网模型的转换算法,在不改变Petri模型活性、安全性和有界性等特性的基础上对其进一步优化,并对Petri网模型进行分析与评估．     

基于Petri网的网络学习流程模型研究

网络学习流程是一个学习流程业务过程的全部或部分自动执行。通过分析现实世界学习流程业务过程,提出了一套符合教学活动特性和要求的、针对网络学习的学习流程摔制模型,并采用Petri网对其进行动态建模。文中详细论述了学习活动中各环节的相互协作关系,并使其在ELS网络学习平台中得以具体实现。     

Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets

Holonic manufacturing systems (HMS) can be modeled as multi-agent systems to which contract net protocol can be effectively and robustly applied. However, the lack of analysis capability of contract nets makes it difficult to avoid undesirable states such as deadlocks in HMS. This paper presents a framework to model and control HMS based on fusion of Petri net and multi-agent system theory. The main results include: (1) a multi-agent model and a collaboration process to form commitment graphs in HMS based on contract net protocol, (2) a procedure to convert commitment graph to collaborative Petri net (CPN), and (3) feasible conditions and collaborative algorithms to award contracts in HMS based on CPNs.