80 search results - page 7 / 16 » Stochastic Petri Net Modeling of VAXcluster System Availabil... |
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
WSC
2004
13 years 9 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
HICSS
1995
IEEE
13 years 11 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...