Petri网Ontology：定义与类型

Petri网Ontology是关于库所、变迁和弧的概念模型,其意义在于它定义了用XML描述Petri网结构所采用的全面标记,从而规范了Petri网结构的交换格式。对应基本Petri网、库所/变迁网和高级Petri网分别是基本Ontology、分页Ontology和标签Ontology。PNML性质上就是标签Ontology。作为标准型的标签Ontology,既可给出Petri网Ontology的统一解释,也是对其进一步研究的基础。     

基于高级Petri网的RED改进算法研究

扩展Petri网对逻辑运算结果为互斥时的图形表示方法。建立基于高级Petri网的随机早期预测(RED)算法模型,通过分析该模型,从理论上证明了RED算法存在缺陷的主要原因是不同网络、不同链路的往返响应时间(RTT)差异大。由此改进RED的模型并提出相应的改进算法,定期监测各队列平均长度的变化率,当其值大于阈值时增加丢弃概率,提前通知源端降低发送速率,否则转发队列中的数据包,以此缩小不同网络、不同链路的RTT差异,达到避免网络拥塞的目的。用NS-2仿真平台进行仿真实验,结果表明改进模型及其算法能有效改善丢包率、端到端的延时等性能指标,验证了改进算法的有效性。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

计算网格任务调度的随机高级Petri网模型与分析

针对一种包含全局调度器和本地调度器的分布式计算网格体系结构,建立了该系统的随机高级Petri网（SHLPN）模型,并进行了模型精化设计以降低模型求解的复杂性,使用基于SHLPN的性能分析技术,对一种基于优先级的任务调度综合控制策略进行了性能分析与评价,数值结果显示了基于SHLPN的建模和分析方法的有效性。     

广域Web集群的随机高级Petri网模型及性能分析

广域Web服务器集群是由多个局域Web服务器集群在Intemet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段.基于随机高级Petri网的性能建模与分析技术,提出了一种广域Web服务器集群的随机高级Petri网模型;对模型进行了精化设计以简化模型求解的复杂性;研究了广域Web服务器集群的多级负载均衡综合方案,包括广域集群级的集群站点选择算法、局域集群级的请求分配算法和服务器级的请求调度算法,这些算法可以一致地综合在随机高级Petri网模型中;并且利用随机高级Petri网的性能分析技术对负载均衡综合策略进行了性能分析与评价.     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

基于Petri网的多Agent系统建模的研究

多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向.     

基于Petri网运算的系统范例分析

文献［１］中首次提出了Ｐ／Ｔ网的加法运算与笛卡尔积运算的概念，并对这两种运算的代数性质进行了研究。本文基于文献［１］的结果，对柔性制造系统、资源共享系统、控制系统中若干范例进行分析，从而显示了Ｐｅｔｒｉ网运算的背景及其意义。     

基于Petri网的Web个性化服务

Web站点的个性化服务功能,可以帮助用户快速找到其所需的信息。基于推荐系统是当前实现个性化服务的主要方法。这种个性化服务方法存在显示不直观和重复计算的缺点。本文给出了基于Petri网的Web个性化服务方法,克服了基于推荐方法的缺点,并讨论了进一步的研究工作。     

基于Petri网的交通信号控制系统

用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。     

基于ISO9001:2000的企业物流系统整合参考模型

建立良好的企业物流系统参考模型是整合企业物流系统和物流系统仿真的基础。分析比较ISO9001:2000标准、IDEF9000、GERAM和Zachman企业体系结构的基础上,提出了一种基于ISO9001:2000标准的企业物流整合参考模型。并依据理想企业建模框架应具备的条件对该模型做了评价。研究结果将对整合企业物流系统和物流系统仿真具有较好的指导作用。     

信息系统结构可扩展性分析

要素是组成系统的基本单位,任何一个复杂系统的构成,往往涉及到大量的组成要素,如何从这些众多的组成要素中筛选出影响系统功能和性能的关键要素是信息系统分析和设计中的一项重要的工作内容。针对信息系统 Ｐｅｔｒｉ网模型中结点间的相互关系和相互作用,引入了结点耦合强度的概念,在此基础上,给出了系统关键组成要素的定义和确定方法,并定性地提出了信息系统结构调整的方针和原则。     

自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

基于事件调度的随机Petri网仿真

当随机Petri网时间变迁的延迟时间分布为非指数分布时，随机Petri网就不再与马尔可夫链同构，不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法，该算法适用于任意时间变迁延迟时间分布随机Petri网性能的解算，实例分析证明该仿真算法的有效性。     

基于Petri网的工艺路线优化建模技术

主要探讨计算机集成系统环境下产品开发中工艺路线的优化问题,在Petri工艺网的基础上引入机床、夹具、刀具等工装的子网对工艺规程进行建模,并对仿真模型的初始、终结状态给出明确定义,使得Petri网仿真模型评估工艺路线更为准确。通过分析网络的可及图,按加工成本对工艺路线进行了优化安排。由于对加工过程建立了数学模型,故其解算可以很方便,可靠。这种分层建模的方法使得工艺决策的每一个阶段都能采用更适合的模型和分析方法,降低了系统实现的难度。     

基于模糊时间Petri网的协同工作流模型研究

为了准确描述复杂产品协同工作过程,提出了一种基于模糊时间Petri网(FTPN)的工作流建模和性能分析方法.首先,给出了协同开发任务链接关系的形式化定义,将工作流模型的关键路径计算转化为一个基于FTPN状态方程的求解问题.并在此基础上,结合实例计算了某工程项目在约束条件下完成的可能性.结果表明,该方法可以方便确定产品协同开发过程中的关键环节,为产品协同工作的组织和管理提供指导.     

基于时间Petri网的实时多任务调度方法研究

Petri网是一种模拟和分析的系统工具，能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理，并以水下航行器制导仿真系统为例，将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务，在建立和分析时间Petri网模型的基础上，给出资源的束双处理器条件下的最佳调度方案。仿真结果表明，通过该方法完成的多任务调度，能使水下航行器制导仿真系统多任务协调地在双处理器计算机环境下运行，满足水下航行器制导仿真系统分析研究的需求。     

基于语义的Petri网自动共享合成方法研究

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。     

组合逻辑电路的Petri网仿真分析

本文定义了一类扩展基本ｐｅｔｒｉ网及其迁移的引发规则，给出了其在极大代数意义下的状态转移方程。在此基础上。给出了组合逻辑电路的扩展基本ｐｅｔｒｉ网仿真分析法。     

基于着色Petri网的GEO-RBAC策略验证

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。