This is a model of a non-concurrent resource.
