In: Proc. of the 1986 ACM SIGMETRICS Conf. on Measurement and Modelling of Computer Systems, Banff, Alberta. May 1987.
Also in: Perf. Eval. Rev. Special Issue Vol. 15, No. 1, pages 175-185. May 1987.
Abstract: A high-level Petri net model of the software architecture of an experimental MIMD multiprocessor system is derived by direct translation of the code corresponding to the assumed workload. Hardware architectural constraints are then easily added, and formal reduction rules are used to simplify the model, which is then further approximated to obtain a performance model of the system based on generalized stochastic Petri nets.