Petri网作为一种适合于描述和分析那些具有并发、同步和冲突等特征的系统的建模机制，由于其直观的图形表现能力和严密的数学基础，在......

提出了一种基于流体随机Petri网的工作流响应时间概率分布计算方法．首先讨论了利用随机工作流网建模的一些相关问题，然后描述了如何......

为了借用一阶混杂Petri网（First-OrderHybridPetriNets）的建模原语和分析方法来分析流体随机Petri网（FluidStochasticPetriNets）以克服......

服务器集群是提高系统QoS和可用性的一种方法，但由于需要长期连续运行提供服务，集群系统仍然会存在软件老化现象，从而造成系统的处理......

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并......

提出了一个基于流体随机Petri网的工作流响应时间评价方法,该方法的主要优点是工作流任务的处理时间可取任意的概率分布,因此与已......

重新定义了一阶流体随机Petri网，其中，流体跳跃弧的跳跃高度取确定值，并被赋予在瞬间内清空与之相联接的连续库所的功能．给出了随机标......

从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法．该方法既可用于建......

为了克服数值分析方法在流体随机Petri网模型检验中的缺点。根据形式化方法．本文提出了借助混杂自动机实现流体随机Petri网模型的分......

模型检测作为一种形式化的自动验证技术,可在设计和开发过程对系统的功能和性能进行分析与验证,从而保证系统在运行过程中的正确性......

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空......

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓......

提出了一个基于流体随机Petri网的工作流响应时间评价方法,该方法的主要优点是工作流任务的处理时间可取任意的概率分布,因此与已......

随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价.综述了随机时间Petri网各主要子类......