流体随机Petri网相关论文
Petri网作为一种适合于描述和分析那些具有并发、同步和冲突等特征的系统的建模机制,由于其直观的图形表现能力和严密的数学基础,在......
提出了一种基于流体随机Petri网的工作流响应时间概率分布计算方法.首先讨论了利用随机工作流网建模的一些相关问题,然后描述了如何......
为了借用一阶混杂Petri网(First-OrderHybridPetriNets)的建模原语和分析方法来分析流体随机Petri网(FluidStochasticPetriNets)以克服......
服务器集群是提高系统QoS和可用性的一种方法,但由于需要长期连续运行提供服务,集群系统仍然会存在软件老化现象,从而造成系统的处理......
混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并......
提出了一个基于流体随机Petri网的工作流响应时间评价方法,该方法的主要优点是工作流任务的处理时间可取任意的概率分布,因此与已......
重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标......
从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法.该方法既可用于建......
为了克服数值分析方法在流体随机Petri网模型检验中的缺点。根据形式化方法.本文提出了借助混杂自动机实现流体随机Petri网模型的分......
模型检测作为一种形式化的自动验证技术,可在设计和开发过程对系统的功能和性能进行分析与验证,从而保证系统在运行过程中的正确性......
流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空......
二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓......
提出了一个基于流体随机Petri网的工作流响应时间评价方法,该方法的主要优点是工作流任务的处理时间可取任意的概率分布,因此与已......
期刊
随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价.综述了随机时间Petri网各主要子类......