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.
Back to the Petri Nets Bibliography