"The Use of Petri Nets for Modeling Pipelined Processors."

Rami R. Razouk (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics