Use of Petri Nets for Performance Evaluation (1977)

by Joseph Sifakis
Venue:in Measuring, Modeling and Evaluating Computer Systems