基于Petri网的半导体生产线建模

总结了Petri网在半导体生产线建模中的应用,着重针对半导体生产线大规模,可重入,可靠性,混合加工方式,不确定性等特殊复杂性,对多种扩展Petri网模型进行了分析和比较,并进一步探讨了基于Petri网模型和扩展Petri网模型的半导体生产线建模方式,指出了存在的问题,并探讨了可能的研究方向。     

基于扩展混合Petri网的晶圆制造系统建模

提出了一种扩展的面向对象混合Petri网（EOHPN）的建模方法：针对晶圆制造系统的复杂性，在EOHPN模型中融入了面向对象的抽象机制；为了减少系统建模的复杂性，引入混合Petri网并用面向对象建模技术作了扩展。在定义EOHPN模型的基础上，作了对象模型的拓展。用实例描述了基于EOHPN的晶圆制造系统的建模过程，验证了模型在处理系统建模时的有效性。     

基于分层Petri网的半导体生产线建模

论文提出了一种分层Petri网模型用于半导体生产线建模。首先,总结了Petri网在半导体生产线建模中的应用,继而给出了分层Petri网的定义及其建模过程。最后以一个典型的半导体生产线为例,进行该方法的应用研究。     

基于MATLAB/SimEvents的网络仿真研究

为实现网络仿真,从网络属于离散事件系统入手,参考一般网络仿真工具NS2的建模原理.并利用离散事件仿真工具SimEvents对节点、链路等网络构件进行建模,实现了包含UDP及流量发生器等的网络仿真.仿真实例说明在MATLAB单一平台上可以实现有效的网络仿真.     

基于MATLAB／SimEvents的网络仿真研究

为实现网络仿真，从网络属于离散事件系统入手，参考一般网络仿真工具NS2的建模原理。并利用离散事件仿真工具SimEvents对节点、链路等网络构件进行建模，实现了包含UDP及流量发生器等的网络仿真。仿真实例说明在MATLAB单一平台上可以实现有效的网络仿真。     

离散事件仿真及其在半导体生产线建模中的应用

详细阐述了离散事件仿真技术的原理及其关键技术,并将其应用于半导体生产线建模。在分析半导体生产线系统的仿真需求的基础上,以单进程为离散事件处理机制,对12个加工中心、40台机器组成的半导体生产线进行了建模研究,验证了半导体生产线仿真的正确性。     

晶圆制造单元的Petri网建模和性能分析

晶圆制造是半导体制造过程中的一个重要环节,晶圆制造单元的性能直接影响晶圆制造的成本。为了有效地分析晶圆制造单元的动态性能,分别对加工设备存在瓶颈和搬运机器人存在瓶颈的两种情况,进行了赋时Petri网建模研究,建立了晶圆制造单元的赋时Petri网模型。在此基础上,进行了稳态生产率分析,同时用实例验证了模型的有效性和实用性。     

基于Petri网的工作流建模及仿真

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

基于Petri网的非集中式电子商务平台建模与仿真

随着Internet的普及和网络安全性的提高,电子商务得到了迅速的发展.为了更好地满足网络环境下电子交易发展的需求,详细分析了电子商务的业务流程,设计了一个具有交易约束机制的电子商务系统框架.首先,基于Petri网这一建模分析工具,建立了电子商务系统业务流程的Petri模型,并设计了有界Petri网可达树生成算法,用于分析所设计的电子商务系统Petri网模型的性质;然后,运用Petri网系统动态仿真工具--CPNTools,对所设计的电子商务系统模型进行了仿真运行,并分析了实验结果.从静态和动态两个方面检验了所设计的电子商务平台框架的可行性,该框架可以用来指导下一步的系统开发工作.     

基于Petri网的通信网络可靠性评估建模仿真

该文重点研究基于Petri网的建模仿真方法在通信网络可靠性评估中的应用。首先对Petri网和通信网络可靠性进行概述,并在分析通信网络体系结构和失效模式的基础上,引入了基于Petri网建模仿真的递增建模方法;最后将该方法用于通信网络可靠性评估研究,采用不同的模型,评估得到不同的指标值。结果表明该方法在通信网络可靠性分析与评估方面具有一定的可操作性。     

基于Matlab环境的Petri网的仿真方法

该文介绍了佩特利网(Petri网)和Statefow的基本概念，给出Petri网在Matlab环境下的仿真方法．并以单水箱系统的混合Petri网模型为例进行说明，结合仿真结果对Peri网的性能进行了初步分析。     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

Modeling and Analysis of Workflows Using Petri Nets

A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of a task is a set of constraints that reflect the applicable business rules and user requirements.In this paper we present a Petri Net (PN) based framework that (1) facilitates specification of workflow applications, (2) serves as a powerful tool for modeling the system under study at a conceptual level, (3) allows for a smooth transition from the conceptual level to a testbed implementation and (4) enables the analysis, simulation and validation of the system under study before proceeding to implementation. Specifically, we consider three categories of task dependencies: control flow, value and external (temporal).We identify several structural properties of PN and demonstrate their use for conducting the following type of analyses: (1) identify inconsistent dependency specifications among tasks; (2) test for workflow safety, i.e. test whether the workflow terminates in an acceptable state; (3) for a given starting time, test whether it is feasible to execute a workflow with the specified temporal constraints. We also provide an implementation for conducting the above analyses.     

基于有色网的多Agent计划建模

有色网能够描述资源和操作的具体语义。首先,由于计划中的操作和状态的个数的有限性,与有色网的元素个数有限性约束完全一致。另外,计划中的动作与有色网中的变迁语义类似,以及计划中的操作和状态和有色网中的库所语义非常类似。因此,有色网应用到计划的形式化中,有其独特的优势。本文根据约定的前提条件,计划建模从操作、状态和交互3个方面来具体实现,并给出了建模方法。计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术。     

基于Petri网的离散系统仿真方法研究

将Ｐｅｔｒｉ网（Ｐ网）的概念和方法应用于离散系统仿真的方法论研究中。提出了基于Ｐ网的系统化的离散系统仿真建模方法，重点研究了基于Ｐ网的仿真策略，探讨了Ｐ网仿真策略的实现方式，并对其特点进行了分析和讨论。     

基于时间Petri网的嵌入式系统中断建模与验证

嵌入式系统为中断驱动系统,但中断触发的随机性和不确定性导致中断缺陷很难被追踪发现,并且一旦发生中断故障,往往会使整个嵌入式系统陷入崩溃。因此必须保证中断系统软件的可信性,但是目前缺乏有效的中断系统资源冲突检测方法。针对上述问题,文中首先提出了一种基于时间Petri网的中断系统建模方法,其能够对中断的并发性和时间序列进行有效建模。然后,为方便后续形式化验证,将时间Petri网模型转化为与之等价的时间自动机模型,并提出一种符号编码方法对时间自动机进行形式化编码,将系统模型与所需验证性质编码为一阶谓词逻辑公式,从而能够通过SMT对时间自动机的不变属性进行BMC验证。最后,通过SMT求解器Z3进行实验,实验结果证明了所提方法的有效性。     

基于Petri网的APT攻击模型生成方法

在严峻的APT(Advanced Persistent Threat)攻击防御背景下,针对现有网络攻击建模方法无法反映APT攻击的攻击特点,建立了基于Petri网的APT攻击模型。借助Petri网,首先针对APT攻击的特点及生命周期,建立APT攻击的基本Petri网模型;然后设计并实现APTPN(Advanced Persistent Threat Petri Nets)模型的生成算法,针对具体的APT攻击生成其完整的攻击路径;最后,实验通过模拟极光攻击验证了算法的有效性及正确性。     

流体随机Petri网的一阶混杂Petri网模型

为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性.