基于位置不变量的Petri网分解方法

Petri网是系统模拟和分析的有效工具,然而对大系统的分析由于变迁和位置的数目大分析起来比较麻烦.文中着重讨论了一种网分解方法,给出了Petri网分解的定义,并讨论了通过这种分解后,原网与子网在结构性质方面之间的关系,对用Petri网分析大系统提供了一种有效的方法.     

基于一阶混和Petri网的混合系统结构分析

文中提出一种分析混和系统结构的新方法,称为一阶混和Petri网.对一阶混和Petri网进行了定义,并描述了其使能和点火规则;运用位置不变量和变迁不变量对一阶混和Petri网的结构进行分析,并通过求解混和状态方程来获得位置不变集和变迁不变集;最后用一个例子来阐明如何运用不变量来进行结构分析.     

一种加速度开关设计

加速度开关又称G开关,是感受加速度并完成致动的一类惯性器件.文中回顾了Rolamite机构的发明过程以及Rolamite机构的用途;介绍了Rolamite开关的工作原理;分析了Rolamite开关的力学特性;详细论述了Rolamite开关的结构设计以及装配工艺;对Rolamite开关原理样机进行了振动、冲击、离心试验;试验表明Rolamite开关具备较高的精度(5 g±0.5 g)和接触可靠性,能够负载较强电流(＞0.5 A),接触电阻小于1 Ω,具备一定的抗冲击 (20 g/8 ms不闭合)能力.     

基于Petri网的系统故障率分析

对于复杂系统的建模和分析,Petri网是一个非常有效的工具.由于Petri网对系统的动态行为建模方面的能力很强,所以Petri网和故障树分析技术联合可以对系统的故障率进行定量的分析[1].文中提出了故障树的Petri网模型,分析了系统的故障率,并利用一个实例来论证了该方法于系统的故障率分析.     

造纸生产过程控制集散系统

介绍了造纸生产过程控制集散系统的结构、特点、工作原理及其软件设计。实际应用表明 :本系统具有使用可扩展性好、可靠性高、社会效益和经济效益明显等特点。     

神光Ⅲ控制系统的故障建模与分析

应用混合随机Petri网对神光Ⅲ控制系统的故障进行了建模,并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征;神光Ⅲ控制系统就是网络化控制技术在武器装备上的一个典型应用;对于复杂系统的建模和分析,Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,混合随机Petri网是Petri网的一个扩展,具有强大的建模功能。仿真结果表明,所建立的模型是正确的。     

神光III控制系统的故障建模与分析

应用混合随机Petri网对神光III控制系统的故障进行了建模,并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征;神光III控制系统就是网络化控制技术在武器装备上的一个典型应用;对于复杂系统的建模和分析,Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,混合随机Petri网是Petri网的一个扩展,具有强大的建模功能。仿真结果表明,所建立的模型是正确的。     

分布式控制系统的混合Petri网建模和分析

分布式控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征,Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,而混合Petri网是用于混合系统建模和分析的一个主要工具.基于混合Petri网描述了分布式控制系统的混合Petri网模型,并且能够进行故障检测.并运用VisObjNet对模型实例进行了仿真分析.     

用混合Petri网对微开关加工系统建模和仿真

半导体加工系统是一个非常复杂的、离散事件和连续时间相结合的混合动态系统,离散Petri网不能很好地对这样的系统进行建模和分析,混合Petri网可以很好地描述半导体加工系统的静态属性及动态行为.实际上,运用离散Petri网将面临状态爆炸以及仿真的高消耗的问题.混合Petri网用来对半导体加工系统进行建模和仿真,这类模型用于微开关加工流程的建模和仿真,证明结果很精确并且仿真速度很快.     

混和系统Petri网模型的行为特性及判定方法

近年来,混和系统已经引起广泛的注意,为了建立能够处理离散事件和连续变量的理论框架,提出了许多种混和系统的模型.文中关注的是混和Petri网,对混和Petri网的行为特性做出了确切的定义,并给出了一些相应的判定方法.利用这些结论,可以对混和Petri网模拟的混和系统进行性能分析.