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

Marina Ribaudo | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Marina Ribaudo

Publication year - 1995

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/38.7.600

Subject(s) - rotation formalisms in three dimensions , stochastic petri net , petri net , process architecture , computer science , state space , process (computing) , stochastic process , state (computer science) , theoretical computer science , stochastic modelling , process calculus , distributed computing , algorithm , mathematics , programming language , statistics , geometry

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 different aggregation techniques have been proposed in both formalisms. Two of them are compared in this paper.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research