Stochastic Petri Nets have been developed to model and analyze systems involving concurrent activities. However, the firing times of a Stochastic Petri Net model are always exponentially distributed. This paper presents an aggregate approach on how to analyze Stochastic Petri Net model with non-exponential distributions using a generalized Markov Renewal Process. Therefore, the modeling flexibility of Petri Net and the analyzing power of Markov Renewal Process are fully exploited. Moreover, an Abstract Partial Reachability Graph is introduced to simplify the Markov solution. Furthermore, the aggregate approach is applied to evaluate performance of a parallel operation system.
ASJC Scopus subject areas
- Control and Systems Engineering
- Electrical and Electronic Engineering