论文研究基于Petri网语言的程序设计 .pdf

基于面向对象的Petri网建模研究，沙婷婷，陈金水，一个工作流系统成功的关键在于向其输入的工作流的质量。因此，工作流的建模非常的重要。本文将面向对象的技术融入到Petri网中，提�

基于模糊Petri网的服务发现框架研究.pdf 论文

预警作战是一种与“时间窗口”因素密切相关的作战样式。采用DoDAF规范化描述方法，建立了预警作战体系的部分体系结构产品，包括作战高级概念图、作战节点连接关系图、作战活动模型图等。针对一个典型的预警作战

为了向用户推荐结构相似且时间效率较高的流程，提出了一种基于流程中活动发生的概率和时间的流程推荐方法。定义了一个模型PTN（probabilistictimePetrinet）来表示流程，改进了一个现有

在Petri网的验证中，代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统，提出了自动生成不变式的算法，该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为

码率控制是视频压缩编码技术的一个重要部分。在许多应用中，视频序列都要求在恒定比特率的信道中传输，而压缩后的视频序列中的数据量通常是变化的，因此，需要通过码率控制技术来解决。对JVT-G012提案中的码

基于Petri网的多Agent行为协进化模型研究，罗杰，段建民，协进化方法是解决多Agent控制系统在动态、开放环境下行为协调协作自适应问题的新途径。针对多Agent行为协进化过程的实现,采用Petr

Petri网模型，有利于学习Petri网。内容丰富近几年，无论是顾客还是市场，都需要铁路 物流中心对基本业务流程进行优化，以此来提高 工作效率，可范德萨发斯蒂芬

论文研究-基于网结构压缩技术的Petri网监控器综合.pdf,  针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将

面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义，构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网，提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网