메뉴 건너뛰기




Volumn 61, Issue 1, 2001, Pages 79-95

A Distributed Algorithm for GSPN Reachability Graph Generation

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0035217284     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.2000.1664     Document Type: Article
Times cited : (6)

References (21)
  • 1
    • 0027540587 scopus 로고
    • Generalized stochastic Petri nets: A definition at the net level and its implications
    • Ajmone Marsan M., Balbo G., Chiola G., Conte G. Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans. Software Engineering. 19:February 1993;89-107.
    • (1993) IEEE Trans. Software Engineering , vol.19 , pp. 89-107
    • Ajmone Marsan, M.1    Balbo, G.2    Chiola, G.3    Conte, G.4
  • 2
    • 84976753721 scopus 로고
    • A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems
    • Ajmone Marsan M., Balbo G., Conte G. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Trans. Comput. Systems. 2:April 1984;93-122.
    • (1984) ACM Trans. Comput. Systems , vol.2 , pp. 93-122
    • Ajmone Marsan, M.1    Balbo, G.2    Conte, G.3
  • 4
    • 0001087075 scopus 로고
    • GSPN models of Markovian multiserver multiqueue systems
    • Ajmone Marsan M., Donatelli S., Neri F. GSPN models of Markovian multiserver multiqueue systems. Perform. Eval. 11:November 1990.
    • (1990) Perform. Eval. , vol.11
    • Ajmone Marsan, M.1    Donatelli, S.2    Neri, F.3
  • 8
    • 84957658237 scopus 로고    scopus 로고
    • Analysis and solution of generalized stochastic Petri nets: A data parallel CM-5 approach
    • Lecture Notes in Computer Science Springer-Verlag, Berlin/New York.
    • S. Caselli, G. Conte, and P. Marenzoni, Analysis and solution of generalized stochastic Petri nets: A data parallel CM-5 approach, in Proc. Int. Conf. High-Performance Computing and Networking HPCN95, Milan, Italy, May 1995, Lecture Notes in Computer Science, Vol. 919, pp. 709-716, Springer-Verlag, Berlin/New York.
    • in Proc. Int. Conf. High-Performance Computing and Networking HPCN95, Milan, Italy, May 1995 , vol.919 , pp. 709-716
    • S. Caselli1    G. Conte2    P. Marenzoni3
  • 11
    • 0010646794 scopus 로고
    • GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
    • Chiola G., Franceschinis G., Gaeta R., Ribaudo M. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. Perform. Eval. 24:Nov. 1995;47-58.
    • (1995) Perform. Eval. , vol.24 , pp. 47-58
    • Chiola, G.1    Franceschinis, G.2    Gaeta, R.3    Ribaudo, M.4
  • 12
    • 0007124749 scopus 로고    scopus 로고
    • Distributed state-space generation of discrete-state stochastic models
    • Ciardo G., Gluckman J., Nicol D. Distributed state-space generation of discrete-state stochastic models. INFORMS J. Comput. 10:1998;82-93.
    • (1998) INFORMS J. Comput. , vol.10 , pp. 82-93
    • Ciardo, G.1    Gluckman, J.2    Nicol, D.3
  • 15
    • 3543092493 scopus 로고
    • Analyzing scalability of parallel algorithms and architectures
    • Kumar V., Gupta A. Analyzing scalability of parallel algorithms and architectures. J. Parallel Distrib. Comput. 22:1994;379-391.
    • (1994) J. Parallel Distrib. Comput. , vol.22 , pp. 379-391
    • Kumar, V.1    Gupta, A.2
  • 16
    • 0031175712 scopus 로고    scopus 로고
    • Scalable global and local hashing strategies for duplicate pruning in parallel A* graph search
    • Mahapatra N. R., Dutt S. Scalable global and local hashing strategies for duplicate pruning in parallel A* graph search. IEEE Trans. Parallel Distrib. Systems. 8:July 1997;738-756.
    • (1997) IEEE Trans. Parallel Distrib. Systems , vol.8 , pp. 738-756
    • Mahapatra N., R.1    Dutt, S.2


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