Browsing by Author "Holliday, Mark A"
Now showing items 3-5 of 5
-
A Generalized Timed Petri Net Model for Performance Analysis
Holliday, Mark A; Vernon, Mary K (University of Wisconsin-Madison Department of Computer Sciences, 1985) -
The GTPN Analyzer: Numerical Methods and User Interface
Holliday, Mark A; Vernon, Mary K (University of Wisconsin-Madison Department of Computer Sciences, 1986) -
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)