A Distributed Algorithm for GSPN Reachability Graph Generation
暂无分享,去创建一个
[1] Shantanu Dutt,et al. Scalable Global and Local Hashing Strategies for Duplicate Pruning in Parallel A* Graph Search , 1997, IEEE Trans. Parallel Distributed Syst..
[2] Gianni Conte,et al. Experiences on SIMD Massively Parallel GSPN Analysis , 1994, Computer Performance Evaluation.
[3] Marco Ajmone Marsan,et al. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..
[4] David M. Nicol,et al. Distributed State Space Generation of Discrete-State Stochastic Models , 1995, INFORMS J. Comput..
[5] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.
[6] Gianni Conte,et al. GSPN models of concurrent architectures with mesh topology , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[7] Graham Horton,et al. State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.
[8] Giovanni Rimassa,et al. An Operating System Support to Low-Overhead Communications in NOW Clusters , 1997, CANPC.
[9] Gianni Conte,et al. Analysis and solution of generalized stochastic Petri nets: a data parallel CM-5 approach , 1995, HPCN Europe.
[10] Giovanni Chiola,et al. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.
[11] Vijay P. Kumar,et al. Analyzing Scalability of Parallel Algorithms and Architectures , 1994, J. Parallel Distributed Comput..
[12] Giovanni Chiola,et al. Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation , 1994, Computer Performance Evaluation.
[13] Marco Ajmone Marsan,et al. GSPN Models of Markovian Multiserver Multiqueue Systems , 1990, Perform. Evaluation.
[14] Gianni Conte,et al. Analysis of large GSPN models: a distributed solution tool , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.
[15] Marco Ajmone Marsan,et al. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.
[16] Dan C. Marinescu,et al. A parallel algorithm for computing invariants of Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[17] Sartaj Sahni,et al. Performance metrics: keeping the focus on runtime , 1996, IEEE Parallel Distributed Technol. Syst. Appl..