Parallel State Space Exploration for GSPN Models

Stefano Caselli, Gianni Conte, P. Marenzoni. Parallel State Space Exploration for GSPN Models. In Giorgio De Michelis, Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Volume 935 of Lecture Notes in Computer Science, pages 181-200, Springer, 1995.

Abstract

Abstract is missing.