For the most recent entries see the Petri Nets Newsletter.

Functional and Performance Analysis of Cooperating Sequential Proceses.

Teruel, E.; Silva, M.; Colom, J.M.; Campos, J.

In: Quantitative Methods in Parallel Systems, F. Baccelli and A. Jean-Marie and I. Mitrani (eds.), Esprit Basic Research Series, Springer-Verlag, Berlin Heidelberg New York, pages 52-65. 1995.

Abstract: This paper presents some results concerning the structural analysis of sequential processes cooperating via message passing through a set of buffers. Both functional - boundedness, deadlock-freness, liveness, existence of home states - and performance - marking ergodicity, computation of visit ratios and insensitive throughput bounds - properties are considered.

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

Back to the Petri Nets Bibliography