On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras

M. RIBAUDO

Publication date

January 1995

Publisher

The Computer Journal:PO Box 535:Citrus Heights, CA 95611:(800)424-8825, (916)722-8824, Fax: (916)722-7480

Abstract

Stochastic Petri Nets and Stochastic Process Algebras can both be used for the qualitative and quantitative analysis of parallel and distributed systems. However, sometimes and 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 different aggregation techniques have been proposed in both formalisms. Two of them are compared in this paper

Extracted data

We use cookies to provide a better user experience.

Data Protection

On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras

Abstract

Extracted data

On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras

Abstract

Extracted data

Related items

Related items