流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.

Comparison of Fluid Stochastic Petri Nets and Hybrid Petri Nets

Fluid Stochastic Petri nets and Hybrid Petri nets have been introduced as extension of classical Petri nets to model hybrid systems with both continuous components and discrete components, and to deal with the possible state space explosion of discrete models. Since the two modeling formalisms are still evolving, a comparison between them is helpful for the future development of both of them, and is also helpful for choosing an appropriate formalism for the application considered. In this paper, the definitions, continuous marking, analyses, and possibilities of conversion from one to the other of the two modeling approaches are discussed. The conclusion is that the best model depends on the particular application, and the two modeling approaches are complementary.