메뉴 건너뛰기




Volumn 56, Issue 1-4, 2004, Pages 23-52

Adaptive decomposition and approximation for the analysis of stochastic Petri nets

Author keywords

Approximation; Compact vector representations; Numerical analysis; Superposed generalized stochastic Petri nets

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; ITERATIVE METHODS; MARKOV PROCESSES; MATRIX ALGEBRA; NUMERICAL ANALYSIS; PROBABILITY; RANDOM PROCESSES; VECTORS;

EID: 1042277264     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2003.07.001     Document Type: Conference Paper
Times cited : (24)

References (22)
  • 2
    • 0001704301 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 8
    • 0002378592 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 0012239865 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.