Exploiting Petri nets Model for Performing Multithreaded

Abstract

A Petri nets is an abstract and formal model of information flow. Petri nets provide a natural representation of systems where control and state information is distribution Petri nets can also be used to represent system hierarchically. Petri nets theory supply analysis techniques that are useful for verifying design before they are synthesized. In this paper, we describes a Petri nets based methodology for modeling and evaluation multithreaded processors. A general purpose Petri nets simulator has been developed using trace-driven approach. Using this simulator, the execution of the Petri nets models of some sub-models hace been simulated.In this paper we only concern on the scheme that makes the Petri nets to model thecommunication control of multitreaded processors, and to compare the performance and cost/performance ratio (CPR)of the multithreaded precessors to single thread processor.