Stochastic manufacturing systems are generally formulated as performance models of discrete event systems. In this paper, logical models(as opposed to performance models) of kanban systems are presented which are deterministic and untimed but not stochastic and timed. As a result, the first and second order properties of kanban systems are showed which can be fruitfully applied to the analysis and design of kanban systems.