Title :
A generalized stochastic Petri net approach for modeling multiprocessor parallel processing systems
Author :
Guan, Huiwei ; Li, Chi-Kwong ; Cheung, To-yat
Author_Institution :
Dept. of Comput. Sci., City Polytech. of Hong Kong, Kowloon, Hong Kong
Abstract :
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
Keywords :
Petri nets; message passing; parallel processing; performance evaluation; stochastic processes; common bus structures; dynamic operations; generalized stochastic Petri net approach; message passing style; multiprocessor parallel processing systems modelling; parallel architectures; reachability graph; reachability set; shared memory style; structural properties; temporal specifications; Bars; Computational complexity; Delay effects; Inhibitors; Joining processes; Message passing; Petri nets; Stochastic systems;
Conference_Titel :
Algorithms & Architectures for Parallel Processing, 1996. ICAPP 96. 1996 IEEE Second International Conference on
Print_ISBN :
0-7803-3529-5
DOI :
10.1109/ICAPP.1996.562903