论文部分内容阅读
为了借用一阶混杂Petri网（First-OrderHybridPetriNets）的建模原语和分析方法来分析流体随机Petri网（FluidStochasticPetriNets）以克服流体随机Petri网数值分析方法的局限性，本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法，并对其转换的正确性进行了证明，最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性。