基于Petri网的SOA架构应用研究

针对自动工作流系统使用传统SOA建模工具存在的效率低下等问题,提出了一种基于Petri网思想进行SOA架构应用的方法,并从使用Petri建模进行服务识别和使用Petri中间件进行流程管理这2个方面详细阐述了SOA架构应用的具体内容,为此类工作流系统进行SOA架构应用改造提供了参考。     

基于UML-OOPN的武器装备体系可靠性建模方法

针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法.     

生产者-消费者系统的建模与行为分析方法研究

生产者一消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者一消费者系统建模．借助基于库所指标的Petri网分解方法来分析生产者一消费者的系统行为，利用Petri网语言的同步混排运算给出了生产者一消费者系统的行为描述，对基于Petri网的系统分析提供了有效的方法。     

基于家态的多事务工作流完整性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.     

基于B/S结构的高职院校科研管理系统分析与设计

为了实现科研管理的信息化,结合高职院校的实际情况,提出一种基于B/S结构的科研管理系统方案,系统利用Spring MVC框架,采用三层架构的方式,开发出适用于高职院校实际情况的的科研管理信息系统,提高了科研信息管理人员的工作效率,实现了资源高度共享。     

自适应OFDMA系统无线资源管理的CPN建模与仿真

基于自适应OFDMA系统,对多业务系统中基于总发射功率最小化的无线资源管理问题进行研究,并使用着色Petri网(CPN,coloured Petri nets)以及CPN分析工具CPN Tools对其进行建模。采用Monitor监控器对模型进行仿真分析,并将仿真结果与随机Petri网(SPN,stochastic Petri nets)模型以及基于吞吐量最大化的CPN模型进行比较,验证了该系统模型的正确性和优越性。     

一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

通信

0632630基于无线传输的竞走训练智能裁判系统的研究[刊,中]／洪文学／／电子工程师．-2006．32(9)．-78-80(E) 0632631 TPN在军事通信系统效能分析中的应用[刊,中]／曹强／／火力与指挥控制．-2006,31(9)．-67-69(C) Petri网是系统分析建模的有力工具。时间Petri网(TP-网或TPN)作为一种高级Petri网有着广泛的应用。首先简单介绍了时间Petri网的发展过程、基本组成,军事通信系统的效能评估的典型方法;然后根据Petri网建立了系统效能分析的动态模型和军事通信     

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

基于Petri网的入侵检测技术研究

Petri网是一种非常广泛的建模工具.文中研究了Petri网在入侵检测技术中的应用,分析了基于Petri网的入侵检测系统的主要优势以及随着网络的发展给入侵检测系统带来的问题.基于这些问题,提出了基于Petri网的入侵检测系统的改进方法,设计了一个入侵检测系统的原型并进行了实例分析.     

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

Petri net modeling of gate and interconnect delays for power estimation

Switching activity estimation is an important step in average power estimation of VLSI circuits at the gate level. In this paper, we present a novel approach based on Petri net modeling for real delay switching activity and power estimation of CMOS circuits, considering both gate and interconnect delays. We propose a new type of Petri net called hierarchical colored hardware Petri net (HCHPN), which accurately captures the spatial and temporal correlations in modeling switching activity. The logic circuit is first modeled as a gate signal graph (GSG) which is then converted into the corresponding HCHPN and simulated as a Petri net to obtain the switching activity estimates and the power values. The proposed method is accurate and fast compared to other simulative methods. Experimental results are provided for ISCAS '85 and ISCAS '89 benchmark circuits and compared with the commercial tools, PowerMill, and Prime Power.     

基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。     

基于层次实时有色Petri网的实时系统建模与分析方法研究

Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。     

基于B/S结构的学生信息管理系统

首先简要介绍了MVC模式的基本思想,基于MVC设计模式的B/S结构管理信息系统的工作原理,然后结合学生信息管理系统的具体功能模块讨论了该系统在MVC模式下的设计与实现.     

基于Struts框架的高校开放实验室系统设计与实现

Struts提供了一个非常好的MVC框架,在Web应用开发中把界面和业务逻辑分离,提高了代码的可重用性和灵活性。介绍Struts概念和体系结构,阐述Struts的工作原理。然后介绍了高校开放式实验室系统各个功能模块以及整个系统基于Struts的开发流程。最后,通过一个应用示例,详细介绍Struts框架在系统开发中的应用。     

A Verification-Based Approach to Evaluate Software Architecture Evolution

As the development and wide usage of Soft-ware architecture (SA), SA evolution becomes one of the hotspots of current research in modern software engineer-ing domain. Most current researches concentrate on the modeling of SA evolution and lack the verification and evaluation of SA evolution. We proposed a verification-based approach to evaluate SA evolution. The basic pro-cess includes: 1) using Unified modeling language (UML) sequence diagram to model the interaction of components and study different types of evolution in practical ex-amples; 2) using SPIN-based model checking to model and verify SA evolution; 3) comparing various verifica-tion outcomes and analyzing the influence of SA evolution on SA correctness and temporal properties. Both theory analysis and an experiment on a real evolution example from Model-view controller (MVC) to Spring web MVC (SWMVC) show that the verification-based approach to evaluate SA is significant.     

网格应用模型及方法研究

针对实现资源共享和协同工作的网格技术应用研究与发展现状，文章给出网格应用总体结构；根据Petri网系统特点，提出基于Petri网的服务流网SF—net模型，设计了基于UML的网格工作流程序的一般性开发方法。并在此基础上定义了基于Petri网的网格作业描述语言；讨论了当前工业界Web服务业务过程执行语言BPEL4WS及进程代数CSP与文中所提服务流网的结合，引入服务代数概念，表明了服务流网SF-net的灵活性。