弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

一种基于PNML的工作流模型的实现

讨论一种用PNML(Petri网标记语言)实现工作流过程模型的方法,采用面向对象的设计思想描述了工作流网的基本组件、工作流触发机制的实现,并在此基础上进一步探讨了模块化实现工作流实例的策略。     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

非线性随机微分方程的Euler-Maruyama方法均方稳定性

对随机微分方程的数值方法的讨论已经有了一定的结论,尤其是关于数值方法的收敛性方面的结论,但对于数值方法的收敛性的讨论却很少.将Euler—Maruyama方法应用于非线性随机微分方程,证明了此数值方法是均方稳定的,同时给出了方法满足均方稳定性的条件.     

基于对象函数Petri网的关联区域VOCs危害成因解析

为了找出排放并扩散挥发性有机物(volatile organic compounds, VOCs)到目标区域的污染源,防止目标区域受到进一步的污染,提出基于对象函数Petri网的关联区域VOCs危害成因解析方法。网结构描述了各潜在污染源和受危害目标区域之间的联系,网系统的运行反映了目标区域VOCs危害程度的变化情况,并将危害程度的计算融入到Petri网系统的运行中。通过实际案例研究解析,结果表明:该Petri网模型适用于关联区域VOCs危害成因解析的建模和计算。     

基于Petri网的皮带机控制模型分析

文章以Petri网理论为基础,构建了煤矿井下皮带机顺序控制系统的网络模型,并根据皮带机控制系统的设计要求,分析了控制模型的组织结构和行为特征。利用该模型对皮带机控制系统的设计进行了探讨,并得到符合控制要求的逻辑规则表达式。     

基于Petri网的保密性策略建模与验证

为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程.     

基于CPN的小灵通业务建模及在业务冲突的应用

运用着色Petri网建模分析工具CPN Tools对小灵通彩铃和双振业务建模,提出分层网络结构,将电信网络以网元为基础建模。通过对模型结构和网元参数的调整将多个业务集成,为电信业务的建模和检测业务冲突提供了一种方便和快捷方法。     

A GMRP Approach for Reliability Analysis of Repairable Systems

We propose here a mathematical approach for the study of repairable systems with arbitrary distributions. The idea is to define a new type of stochastic process, called a generalized Markov renewal process (GMRP). which may describe the transition behavior of the stochastic process at non-regenerative points. In the paper an analytical method for the GMRP is put forward and the formulas are then presented for reliability analysis of repairable systems which can be described by a GMRP with finite states. A signal flow graph technique for system modeling is also summarized here. Finally- an analytical model to evaluate the reliability of a m-out-of- n.G system with general repair-time distribution is developed by means of the GMRP approach.