Automating Mason's rule and its application to analysis of stochastic Petri nets
Automating Mason's rule and its application to analysis of stochastic Petri nets
复制标题
DOI：
10.1109/87.388133
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
Mengchu Zhou;Chi-Hsu Wang;Xiaoyong Zhao
中科院分区：
文献类型：
--
作者：
Mengchu Zhou;Chi-Hsu Wang;Xiaoyong Zhao
离散事件系统的符号性能分析方法可以基于 Petri 网和矩生成函数概念的集成来制定。该方法的关键步骤包括用随机Petri网对系统进行建模、用传递函数生成状态机Petri网、等效传递函数的推导以及传递函数的符号推导以获得性能测量。为了使上述过程自动化，梅森规则的计算机实现对于符号解决方案变得非常重要。本文提出并实现了评估 Mason 规则的算法，并描述了它们在推导状态机 Petri 网的传递函数以提高系统性能方面的应用。分析了算法的复杂度。最后，讨论了构建用于离散事件系统设计的 CAD 工具的未来研究。 >
A symbolic performance analysis approach for discrete-event systems can be formulated based on the integration of Petri nets and moment generating function concepts. The key steps in the method include modeling a system with stochastic Petri nets, generation of state machine Petri nets with transfer functions, derivation of equivalent transfer functions, and symbolic derivation of transfer functions to obtain the performance measures. To automate the above procedure, computer implementation of Mason's rule becomes very important for a symbolic solution. This paper proposes and implements the algorithms to evaluate the Mason's rule and describes their applications to deriving transfer functions of a state machine Petri net for system performance. The complexity of the algorithms is analyzed. Finally, future research toward construction of a CAD tool for design of discrete-event systems is discussed. >