基于Petri网的供需链设计优化研究

供需链设计优化问题由于其自身的复杂性而成为一个极具挑战性的研究课题。本文把Petri网与遗传算法结合起来，用于研究供需链设计优化，构建一个供需链原型测试系统，并对小汽车制造供需链系统进行了实例分析。     

基于扩展染色Petri网的工作流过程模型

尽管已有广泛领域应用,但工作流系统在处理业务流程不确定的和动态的参数规格表时存在局限性。为此,本文提出基于扩展染色petri网的CPWF-net以及定义变迁行为和原子过程作为CPWF-net工作流模式结构的支持。这些工作流模式是从微观上进行处理,并可应用于动态不稳定的与时间和数据相关的环境中。本文通过CPWF-net执行程序检测工作流错误或异常执行状态,评估动态业务流程的整体执行时间,证实所提方法的有效性。     

组合Web服务事务的补偿语义研究

Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。     

电子商务中制造商模式的Petri网建模

Pertri网是一种强有力的建模工具。它能够自动地表示状态随着时间的变化,也可以对实体间的联系和相互作用建模。本文论述了利用Petri网对电子商务的建模和分析。把一个电子商务模型转换成Petri网模型,就可以利用Petri网的建模优势来分析一个电子商务模型的性能,更好地从模型概念层次上验证电子商务模型在实现过程中的动态行为。     

自动测试系统的随机Petri网模型及性能评价

提出了一种基于随机Petri网的自动测试系统建模方法,通过这种方法可以根据测试指标的要求生成最优的测试任务序列,节约测试时间,提高测试设备利用率,还可以预防自动测试系统出现死锁或资源冲突的情况.     

基于MAS和Petri-net技术的新能源电网协调控制策略

为提高新能源微电网电力供应的安全性和经济性,提出了一种基于Multi-Agent和Petri-net技术的协调控制策略。微电网是一个典型的混合系统,包括多种分布式发电和储能单元,它们具有不同行为特征和多种运行模态。考虑到这些分布式单元模态运行和逻辑切换的复杂性,构建了Multi-Agent系统(MAS),通过多Agent的交互作用来实现分布式协调控制策略。由于Petri-net模型是表述多模态运行系统的最有效工具之一,所以采用petr-net模型来描述各分布式单元的模态切换行为并以此设计其单元Agent模态切换控制策略。在此基础上,基于Multi-Agent系统框架在上层中心Agent中构建各分布式能源单元之间的模态协调切换控制策略,来实现整个微电网运行模态的有效切换。最后仿真验证了所提出的控制策略的有效性。     

Petri-net based modelling approach for ALFRED reactor operation and control system design

In this work, the Petri-net modelling approach applied to the control system design of the Advanced Lead Fast Reactor European Demonstrator (ALFRED) is presented, paying particular attention to the startup procedure. The reactor startup is the operational transient in which all the systems of the plant are brought from the cold shutdown condition to the full power mode, close to load-frequency control. In this phase, the several control actions to be taken need to be properly coordinated. To this end, the operational sequence which constitutes the reactor startup procedure has been described by adopting the Petri-nets approach, i.e., a useful formalism for the modelling and the analysis of Discrete Event Systems. Thanks to this quantitative representation, it is possible to easily derive the corresponding control scheme. In addition, the Petri-nets approach has been also exploited for the two-level control system architecture, namely a master system coordinates the operation of the plant by sending suitable signals to the slave system, in which feedback controllers are implemented. As a major outcome of this work, the procedure for the reactor startup and the transition to the full power mode has been simulated in order to assess the control system performance.     

支持软件演化的扩展SDDM软件过程模型

软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行改进,引入时间Petri网和有色Petri网的思想,同时在标准化、角色模型、资源模型三个方面对其进行扩展,得到一个新的支持软件演化过程的扩展SDDM软件过程模型。     

基于Petri网的工作流建模技术分析与应用

介绍了Petri网的基本知识,结合公文管理中收文、发文部分工作流应用环境,运用不变量的分析方法和工作流网的理论,提出了相对完整的基于Petri网的工作流模型,并对模型的可靠性进行了分析.     

Automated guided vehicle systems and their Petri-net properties

This paper defines clearly and presents the fundamental properties of automated guided vehicle systems (AGVS) and their relationship to Petri nets. The objective is to develop an intelligent modelling tool to allow the design of robust AGVS models using some invariant Petri-net properties. The Petri-net properties of the system are presented in terms of safeness, boundedness, strict conservation, reachability and liveness. The robustness of the system at floor-level is embedded into the model by introducing system traffic collision-free, constant numbers of vehicles and traffic control signals, path reachability, and system traffic deadlock-free. Two different merge structures are presented to illustrate the effectiveness of the present approach. The result shows the strength of Petri-net theory in the modelling of complex AGVS. The AGVS models thus built are robust.