By Topic

Synthesis of GSPN models for workload mapping on concurrent architectures

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Abbati, D. ; Dip. di Ingegneria dell''Inf., Parma Univ., Italy ; Caselli, S. ; Conte, G. ; Zanichelli, F.

Construction of GSPN models of complex systems is a difficult task that often demands significant expertise. Faithful representation of detailed behavioral semantics and overall correctness usually require a significant number of iterations and refinements. This modeling effort is substantially hindering widespread application of Petri net based techniques to ever complex systems. One of the many application areas where this modeling problem arises is distribution of computation workload onto concurrent MIMD architectures. An approach based on the automatic generation of GSPN models for workload mapping on concurrent architectures is described. The methodology is based on the synthesis of a net starting from a precedence graph of the computation. The construction of a complete net modeling the MIMD architecture under a specified workload is possible for a given set of architectures. Nets generated by the synthesis process exhibit higher complexity than manually generated ones, but this is not a serious drawback since net solutions and performance estimates can be derived using standard analysis tools (GreatSPN)

Published in:

Petri Nets and Performance Models, 1993. Proceedings., 5th International Workshop on

Date of Conference:

19-22 Oct 1993