This paper analyzes vehicle status in intelligent networked parking systems，and then formally descripts of the semantics of vehicle behaviors; based on this formal description a finite automata machine  is inferred, and its validity are demonstrated by an example; then a software system is designed and implied to verify the feasibility and effectiveness of the proposed method. Besides main functions of networked parking systems this method greatly reduces the probability of logic errors and fatal mistakes, and provides a novel reference for such systems.

Curb parking; Parking management system; Smart parking lock; Mini Program