Performance Analysis of Multiprocessor Cache Consistency Protocols Using Generalized Timed Petri Nets - Vernon, Mary K; Holliday, Mark A (University of Wisconsin-Madison Department of Computer Sciences, 1985)