The Computer-Assisted Analysis of the Semi-Markovian Stochastic Petri Nets and an Application
Anatoli Paul Ulmeanu, Dumitru Cezar Ionescu · Birkhäuser Boston eBooks · 1999
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.