In this paper, we use a Generalized Stochastic Petri Net (GSPN) to model multiprocessor parallel processing architectures. It can precisely describe the dynamic operations and states of the system with the reachability graph and the reachability set generated by the GSPN approach. The structural properties and temporal specifications of GSPN are described. Then, the effectiveness of this modeling technique in the case of parallel architecture with common bus structures of shared memory style and with message passing style is investigated in detail
Published in:
Algorithms & Architectures for Parallel Processing, 1996. ICAPP 96. 1996 IEEE Second International Conference on
Date of Conference: 11-13 Jun 1996