Sciweavers

176 search results - page 8 / 36
» Modelling with Generalized Stochastic Petri Nets
Sort
View
PNPM
1989
15 years 1 months ago
Stochastic Petri Net Modeling of VAXcluster System Availability
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...
SIGMETRICS
1995
ACM
15 years 1 months ago
Modeling A Fibre Channel Switch with Stochastic Petri Nets
Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Ko...
ENTCS
2006
131views more  ENTCS 2006»
14 years 9 months ago
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Oliver Shaw, L. Jason Steggles, Anil Wipat
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
15 years 1 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
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...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
TSE
2002
107views more  TSE 2002»
14 years 9 months ago
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...
Marco Gribaudo, András Horváth