The Computer-Assisted Analysis of the Semi-Markovian Stochastic Petri Nets and an Application

A semi-Markovian Stochastic Petri Net is a powerful tool modelling a wide class of applications. Correspondingly, increasing its flexibility, it is more difficult to solve the mathematical model associated. Performance algorithms are proposed in order to develop an automated-computer state space generation and to perform the stochastic analysis of the large systems.