Petri网Ontology：定义与类型

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

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间.用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能.     

基于约束组合CTPN的带式输送机系统建模

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现＂节点爆炸＂问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。     

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

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

双变迁Petri网的电路模拟技术研究

介绍了双变迁Petri网的基本理论,探讨了Petri网模型的逻辑电路描述方法;针对逻辑电路模拟双变迁Petri网所遇到的问题,提出了采用硬件描述语言模拟双变迁Petri网的方法,详细讨论了用Verilog语言实现双变迁Petri网的技术;通过一个双变迁Petri网模型实例,在模拟软件中进行了模拟分析,验证了方法的可行性。研究表明,使用硬件描述语言描述Petri网模型,利用现有的设计模拟工具,可以模拟模型运行,分析模型的特性,方法简便,适用范围广,为双变迁Petri网模拟分析提供了一种新途径。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

Petri网化简技术的研究

Petri网是系统建模和行为分析的有力工具,在很多领域得到广泛应用。但＂节点过多,状态爆炸＂是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。化简Petri网一直是Petri网工作者研究的重点,将Petri网分解为若干子网是一种非常有效的化简方法。对Petri网的并分解技术进行了研究,依据并分解定义提出了一种将无环路、多输出库所网分解为若干个单一输出库所子网的新技术。     

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

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

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

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

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Enterprise resource planning implementation decision & optimization models

To study the uncertain optimization problems on implementation schedule, time-cost trade-off and quality in enterprise resource planning (ERP) implementation, combined with program evaluation and review technique (PERT), some optimization models are proposed, which include the implementation schedule model, the timecost trade-off model, the quality model, and the implementation time-cost-quality synthetic optimization model. A PERT-embedded genetic algorithm (GA) based on stochastic simulation technique is introduced to the optimization models solution. Finally, an example is presented to show that the models and algorithm are reasonable and effective, which can offer a reliable quantitative decision method for ERP implementation.