COMPOSITIONAL CONSTRUCTION OF SWN MODELS

Authors
ROJAS I
Citation
I. Rojas, COMPOSITIONAL CONSTRUCTION OF SWN MODELS, Computer journal, 38(7), 1995, pp. 612-621
Citations number
15
Categorie Soggetti
Computer Sciences","Computer Science Hardware & Architecture
Journal title
Computer journal → ACNP
ISSN journal
00104620
Volume
38
Issue
7
Year of publication
1995
Pages
612 - 621
Database
ISI
SICI code
0010-4620(1995)38:7<612:CCOSM>2.0.ZU;2-#
Abstract
In this paper we investigate how a Petri net based formalism can take advantage of the notion of compositional construction of systems borro wed from Stochastic Process Algebras. A set of operators for the compo sitional construction of Stochastic Petri net models is presented, usi ng Stochastic Well-formed Nets to take advantage of their reduced repr esentation and solution of the system modelled.