Sciweavers

176 search results - page 8 / 36
» Modelling with Generalized Stochastic Petri Nets
Sort
View
PNPM
1989
15 years 3 months ago
Stochastic Petri Net Modeling of VAXcluster System Availability
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...
SIGMETRICS
1995
ACM
15 years 3 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 11 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 3 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 11 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