For the most recent entries see the Petri Nets Newsletter.

Modelling the Software Architecture of a Prototype Parallel Machine.

Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography