Buffer analysis with feasibility tests, Processor cpurm : Buffer B2 => (P/P/1) - Maximum number of messages in the buffer : 4.00000000 (see [4,10], theorem 1 or 8). - Maximum message waiting time : 20.00000000 (see [10], theorem 8). Buffer B1 => (P/P/1) - Maximum number of messages in the buffer : 4.00000000 (see [4,10], theorem 1 or 8). - Maximum message waiting time : 20.00000000 (see [10], theorem 8).