Compositional Construction of SWN models | Zendy

Isabel Rojas | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Compositional Construction of SWN models

Author(s) -

Isabel Rojas

Publication year - 1995

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/38.7.612

Subject(s) - formalism (music) , stochastic petri net , petri net , computer science , process architecture , representation (politics) , stochastic process , set (abstract data type) , stochastic modelling , theoretical computer science , mathematics , distributed computing , programming language , statistics , art , musical , politics , political science , law , visual arts

In this paper we investigate how a Petri net based formalism can take advantage of the notion of compositional construction of systems borrowed from Stochastic Process Algebras. A set of operators for the compositional construction of Stochastic Petri net models is presented, using Stochastic Well-formed Nets to take advantage of their reduced representation and solution of the system modelled.

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