A Distributed Algorithm for GSPN Reachability Graph Generation

Stefano Caselli, Gianni Conte, P. Marenzoni. A Distributed Algorithm for GSPN Reachability Graph Generation. J. Parallel Distrib. Comput., 61(1):79-95, 2001. [doi]

Abstract

Abstract is missing.