Parallel Graph Generation Algorithms for Shared and Distributed Memory Machines
暂无分享,去创建一个
[1] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.
[2] Marco Ajmone Marsan,et al. On the product-form solution of a class of multiple-bus multiprocessor system models , 1986, J. Syst. Softw..
[3] 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.
[4] David M. Nicol,et al. Distributed State Space Generation of Discrete-State Stochastic Models , 1995, INFORMS J. Comput..
[5] Graham Horton,et al. Parallel Shared-Memory State-Space Exploration in Stochastic Modeling , 1997, IRREGULAR.
[6] 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.
[7] Douglas Comer,et al. Ubiquitous B-Tree , 1979, CSUR.
[8] Marco Ajmone Marsan,et al. Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.
[9] Gianfranco Balbo,et al. On the success of stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
[10] Giovanni Chiola,et al. On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets , 1987, PNPM.