-
1
-
-
0003652825
-
Modelling with generalized stochastic petri Nets
-
Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., 1995. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing.
-
(1995)
Wiley Series in Parallel Computing
-
-
Ajmone-Marsan, M.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
2
-
-
0010646794
-
Great SPN 1.7: Graphical editor and analyzer for timed and stochastic petri Nets
-
Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M., 1995. Great SPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1 & 2):47-68.
-
(1995)
Performance Evaluation, Special Issue on Performance Modeling Tools
, vol.24
, Issue.1-2
, pp. 47-68
-
-
Chiola, G.1
Franceschinis, G.2
Gaeta, R.3
Ribaudo, M.4
-
4
-
-
84857464374
-
Solving dynamic reliability problems by means of ordinary and fluid stochastic petri Nets
-
June, Gdansk (Poland)
-
Codetta-Raiteri, D., Bobbio, A., 2005a. Solving Dynamic Reliability Problems by means of Ordinary and Fluid Stochastic Petri Nets. Proceedings of the European Safety and Reliability Conference (ESREL), pp. 381-389. June, Gdansk (Poland).
-
(2005)
Proceedings of the European Safety and Reliability Conference (ESREL)
, pp. 381-389
-
-
Codetta-Raiteri, D.1
Bobbio, A.2
-
5
-
-
84871287689
-
Evaluation of a benchmark on dynamic reliability via fluid stochastic petri Nets
-
September, Turin (Italy)
-
Codetta-Raiteri, D., Bobbio, A., 2005b. Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets. Proceedings of the International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), pp. 52-55. September, Turin (Italy).
-
(2005)
Proceedings of the International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS)
, pp. 52-55
-
-
Codetta-Raiteri, D.1
Bobbio, A.2
-
6
-
-
0036821893
-
The möbius framework and its implementation
-
Deavours, D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J., Sanders, W., Webster, P.G., 2002. The Möbius Framework and its Implementation. IEEE Transactions on Software Engineering, 28(10):956-969.
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.10
, pp. 956-969
-
-
Deavours, D.1
Clark, G.2
Courtney, T.3
Daly, D.4
Derisavi, S.5
Doyle, J.6
Sanders, W.7
Webster, P.G.8
-
7
-
-
34250168669
-
A new approach to model the system reliability: Dynamic reliability block diagrams
-
January, Newport Beach (California, USA)
-
Distefano, S., Xing, L., 2006. A New Approach to Model the System Reliability: Dynamic Reliability Block Diagrams. Proceedings of the Annual Reliability and Maintainability Symposium (RAMS), pp. 189-195. January, Newport Beach (California, USA).
-
(2006)
Proceedings of the Annual Reliability and Maintainability Symposium (RAMS)
, pp. 189-195
-
-
Distefano, S.1
Xing, L.2
-
8
-
-
0026925395
-
Dynamic fault-tree models for fault-tolerant computer systems
-
Dugan, J.B., Bavuso, S.J., Boyd, M.A., 1992. Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems. IEEE Transactions on Reliability, 41:363-377.
-
(1992)
IEEE Transactions on Reliability
, vol.41
, pp. 363-377
-
-
Dugan, J.B.1
Bavuso, S.J.2
Boyd, M.A.3
-
10
-
-
0035131953
-
Fluid stochastic petri Nets augmented with flush-out arcs: Modelling and analysis
-
Gribaudo, M., Sereno, M., Horvath, A., Bobbio, A., 2001. Fluid Stochastic Petri Nets augmented with flush-out arcs: Modelling and analysis. Discrete Event Dynamic Systems, 11(1 & 2):97-117.
-
(2001)
Discrete Event Dynamic Systems
, vol.11
, Issue.1-2
, pp. 97-117
-
-
Gribaudo, M.1
Sereno, M.2
Horvath, A.3
Bobbio, A.4
-
12
-
-
0343453847
-
A concept paper on dynamic reliability via Monte Carlo simulation
-
Marseguerra, M., Zio, E., Devooght, J., Labeau, P.E., 1998. A concept paper on dynamic reliability via Monte Carlo simulation. Mathematics and Computers in Simulation, 47:371-382.
-
(1998)
Mathematics and Computers in Simulation
, vol.47
, pp. 371-382
-
-
Marseguerra, M.1
Zio, E.2
Devooght, J.3
Labeau, P.E.4
-
14
-
-
84944319215
-
Stochastic activity networks: Formal definitions and concepts
-
Sanders, W.H., Meyer, J.F., 2001. Stochastic activity networks: Formal definitions and concepts. Lecture Notes in Computer Science, 2090:315-343.
-
(2001)
Lecture Notes in Computer Science
, vol.2090
, pp. 315-343
-
-
Sanders, W.H.1
Meyer, J.F.2
|