On the Aggregation Techniques in StochasticPetri Nets and Stochastic Process

  • Italye - AlgebrasMarina RibaudoDipartimento di InformaticaUniversit a di TorinoCorso Svizzera 18510149 Torino
  • Published 1995


Stochastic Petri Nets and Stochastic Process Algebras can both be used for the qualitative and quantitative analysis of parallel and distributed systems. However, sometimes the complexity of the system can make such analysis infeasible, due to the large size of the state space underlying the model. To overcome this problem diierent aggregation techniques… (More)

1 Figure or Table


  • Presentations referencing similar topics