-
1
-
-
0003652824
-
-
Wiley, New York
-
M. Ajmone-Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York, 1995.
-
(1995)
Modelling with Generalized Stochastic Petri Nets
-
-
Ajmone-Marsan, M.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
2
-
-
0001704301
-
Numerical solution methods based on structured descriptions of Markovian models
-
G. Balbo, G. Serazzi (Eds.), Elsevier, Amsterdam
-
P. Buchholz, Numerical solution methods based on structured descriptions of Markovian models, in: G. Balbo, G. Serazzi (Eds.), Computer Performance Evaluation - Modelling Techniques and Tools, Elsevier, Amsterdam, 1992, pp. 251-267.
-
(1992)
Computer Performance Evaluation - Modelling Techniques and Tools
, pp. 251-267
-
-
Buchholz, P.1
-
3
-
-
84957655091
-
Iterative decomposition and aggregation of labelled GSPNs
-
J. Desel, M. Silva (Eds.), Application and Theory of Petri Nets 1998, Springer, Berlin
-
P. Buchholz, Iterative decomposition and aggregation of labelled GSPNs, in: J. Desel, M. Silva (Eds.), Application and Theory of Petri Nets 1998, Lecture Notes in Computer Science, vol. 1420, Springer, Berlin, 1998, pp. 226-245.
-
(1998)
Lecture Notes in Computer Science
, vol.1420
, pp. 226-245
-
-
Buchholz, P.1
-
4
-
-
0032666239
-
Hierarchical structuring of superposed GSPNs
-
Buchholz P., Hierarchical structuring of superposed GSPNs. IEEE Trans. Software Eng. 25(2):1999;166-181.
-
(1999)
IEEE Trans. Software Eng.
, vol.25
, Issue.2
, pp. 166-181
-
-
Buchholz, P.1
-
5
-
-
0033338997
-
Structured analysis approaches for large Markov chains
-
Buchholz P., Structured analysis approaches for large Markov chains. Appl. Numer. Math. 31(4):1999;375-404.
-
(1999)
Appl. Numer. Math.
, vol.31
, Issue.4
, pp. 375-404
-
-
Buchholz, P.1
-
6
-
-
0000800371
-
Complexity of Kronecker operations and sparse matrices with applications to the solution of Markov models
-
Buchholz P., Ciardo G., Donatelli S., Kemper P., Complexity of Kronecker operations and sparse matrices with applications to the solution of Markov models. INFORMS J. Comput. 12(3):2000;203-222.
-
(2000)
INFORMS J. Comput.
, vol.12
, Issue.3
, pp. 203-222
-
-
Buchholz, P.1
Ciardo, G.2
Donatelli, S.3
Kemper, P.4
-
7
-
-
0012245276
-
New features in the APNN toolbox
-
P. Kemper (Ed.), Forschungsbericht Nr. 760, Universität Dortmund, Fachbereich Informatik
-
P. Buchholz, M. Fischer, P. Kemper, C. Tepper, New features in the APNN toolbox, in: P. Kemper (Ed.), Tools of Aachen 2001 International Multiconference on Measurement, Modeling and Evaluation of Computer-Communication Systems, Forschungsbericht Nr. 760, Universität Dortmund, Fachbereich Informatik, 2001, pp. 62-68.
-
(2001)
Tools of Aachen 2001 International Multiconference on Measurement, Modeling and Evaluation of Computer-communication Systems
, pp. 62-68
-
-
Buchholz, P.1
Fischer, M.2
Kemper, P.3
Tepper, C.4
-
8
-
-
0002378592
-
On generating a hierarchy for GSPN analysis
-
Buchholz P., Kemper P., On generating a hierarchy for GSPN analysis. ACM Perform. Eval. Rev. 26(2):1998;5-14.
-
(1998)
ACM Perform. Eval. Rev.
, vol.26
, Issue.2
, pp. 5-14
-
-
Buchholz, P.1
Kemper, P.2
-
9
-
-
0032657859
-
Structured solution of asynchronously communicating stochastic modules
-
Campos J., Silva M., Donatelli S., Structured solution of asynchronously communicating stochastic modules. IEEE Trans. Software Eng. 25(2):1999;147-165.
-
(1999)
IEEE Trans. Software Eng.
, vol.25
, Issue.2
, pp. 147-165
-
-
Campos, J.1
Silva, M.2
Donatelli, S.3
-
10
-
-
84967699997
-
A data structure for the efficient Kronecker solution of GSPNs
-
P. Buchholz, M. Silva (Eds.), IEEE CS-Press, Silverspring, MD
-
G. Ciardo, A.S. Miner, A data structure for the efficient Kronecker solution of GSPNs, in: P. Buchholz, M. Silva (Eds.), Proceedings of the Eighth International Workshop on Petri Nets and Performance Models, IEEE CS-Press, Silverspring, MD, 1999, pp. 22-31.
-
(1999)
Proceedings of the Eighth International Workshop on Petri Nets and Performance Models
, pp. 22-31
-
-
Ciardo, G.1
Miner, A.S.2
-
11
-
-
0012239865
-
Using the exact state space of a model to compute approximate stationary measures
-
J. Kurose, P. Nain (Eds.), ACM Press, New York
-
G. Ciardo, A.S. Miner, S. Donatelli, Using the exact state space of a model to compute approximate stationary measures, in: J. Kurose, P. Nain (Eds.), Proc. ACM Sigmetrics, ACM Press, New York, 2000, pp. 207-216.
-
(2000)
Proc. ACM Sigmetrics
, pp. 207-216
-
-
Ciardo, G.1
Miner, A.S.2
Donatelli, S.3
-
12
-
-
0027628134
-
A decomposition approach for stochastic reward net models
-
Ciardo G., Trivedi K., A decomposition approach for stochastic reward net models. Perform. Eval. 18:1994;37-59.
-
(1994)
Perform. Eval.
, vol.18
, pp. 37-59
-
-
Ciardo, G.1
Trivedi, K.2
-
13
-
-
0033709988
-
Comparison of partitioning techniques for two-level iterative solvers on large, sparse Markov chains
-
Dayar T., Stewart W.J., Comparison of partitioning techniques for two-level iterative solvers on large, sparse Markov chains. SIAM J. Sci. Comput. 21:2000;1691-1705.
-
(2000)
SIAM J. Sci. Comput.
, vol.21
, pp. 1691-1705
-
-
Dayar, T.1
Stewart, W.J.2
-
14
-
-
84896313272
-
State space exploration for Markov models
-
de Souza e Silva E., Ochoa P.M., State space exploration for Markov models. Perform. Eval. Rev. 20(1):1992;152-166.
-
(1992)
Perform. Eval. Rev.
, vol.20
, Issue.1
, pp. 152-166
-
-
De Souza e Silva, E.1
Ochoa, P.M.2
-
15
-
-
0027626274
-
Superposed stochastic automata: A class of stochastic Petri nets amenable to parallel solution
-
Donatelli S., Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution. Perform. Eval. 18:1994;21-36.
-
(1994)
Perform. Eval.
, vol.18
, pp. 21-36
-
-
Donatelli, S.1
-
16
-
-
0029223547
-
Matrix-geometric solution of infinite stochastic Petri nets
-
IEEE CS-Press, Silverspring, MD
-
B.R. Haverkort, Matrix-geometric solution of infinite stochastic Petri nets, in: Proceedings of the Conference, IPDS'95, IEEE CS-Press, Silverspring, MD, 1995, pp. 72-81.
-
(1995)
Proceedings of the Conference, IPDS'95
, pp. 72-81
-
-
Haverkort, B.R.1
-
17
-
-
0001189029
-
Numerical analysis of superposed GSPNs
-
Kemper P., Numerical analysis of superposed GSPNs. IEEE Trans. Software Eng. 22(9):1996;615-628.
-
(1996)
IEEE Trans. Software Eng.
, vol.22
, Issue.9
, pp. 615-628
-
-
Kemper, P.1
-
19
-
-
0029291598
-
Complete decomposition of stochastic Petri nets
-
Li Y., Woodside C.M., Complete decomposition of stochastic Petri nets. IEEE Trans. Comput. 44(4):1995;577-592.
-
(1995)
IEEE Trans. Comput.
, vol.44
, Issue.4
, pp. 577-592
-
-
Li, Y.1
Woodside, C.M.2
-
20
-
-
0001507857
-
On the stochastic structure of parallelism and synchronisation models for distributed algorithms
-
Plateau B., On the stochastic structure of parallelism and synchronisation models for distributed algorithms. Perform. Eval. Rev. 13:1985;142-154.
-
(1985)
Perform. Eval. Rev.
, vol.13
, pp. 142-154
-
-
Plateau, B.1
-
21
-
-
0031078868
-
Mean value analysis of stochastic Petri nets
-
Sereno M., Balbo G., Mean value analysis of stochastic Petri nets. Perform. Eval. 29(1):1997;35-62.
-
(1997)
Perform. Eval.
, vol.29
, Issue.1
, pp. 35-62
-
-
Sereno, M.1
Balbo, G.2
|