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

fYear

1996

fDate

11-13 Jun 1996

Firstpage

413

Lastpage

420

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Algorithms & Architectures for Parallel Processing, 1996. ICAPP 96. 1996 IEEE Second International Conference on

Print_ISBN

0-7803-3529-5

Type

conf

DOI

10.1109/ICAPP.1996.562903

Filename

562903