Skip to main content
Open Access Publications from the University of California

The use of Petri nets for modeling pipelined processors

  • Author(s): Razouk, Rami R.
  • et al.

This paper discusses the use of Petri Nets for modeling and analyzing pipelined processors. Petri Nets are particularly well-suited to modeling the synchronization, buffering, resource contention and delicate timing so common in pipelined processors. Tools for simulating, animating and analyzing the behavior of the models are described. The usefulness of the tools and the analysis methods they support in evaluating the performance and analyzing the detailed timing of pipelined microprocessors is illustrated through an example.

Main Content
Current View