Nondeterministic Parallel Buffers
=================================

A producer-consumer system with two parallel buffer cells.
Being ready to deliver , the producer may choose either of two buffer cells (if both are empty).
If one or both are still filled , the producer may employ the empty one or the one that gets empty next 
respectively.