The invention provides an automated method and apparatus for pizza production which is initiated by individual order placement and uses only fresh ingredients. Analysis results from multiple threads are combined using an acceptance condition of the lock causality graph to determine whether there is a violation of a correctness property in the concurrent multi-threaded program. A moving plate is movable backward in the receptacle and has positioning holes into which the tabs are introduced. Providing display of data using layout information includes receiving a context definition.