Modeling a Processor with a Petri Net Extension for Digital Systems

摘要

Petri net is a class of conceptual models for parallel system modeling. Some Petri net extensions have been proposed aiming at describing digital systems characteristics as accurately as possible. However, only two of them have nearly all features needed to describe such systems in full. This paper presents the modeling of a processor through a Petri net extension developed to overcome Petri net difficulties for modeling digital systems.