Modeling and analysis of automatic logistics system based on decomposition of Petri nets techniques

Aiming at Xi'an university of science and technology's automated logistics system task planning,this paper gave a new decomposition method of Petri net based on the index of transition and places fusion,presented and defined a model based on Petri nets theory of automated logistics system.Through decomposing this model by the new decomposition method minimum subnets which fuse characteristics of T-net and S-net were gotten.According to the analysis of the minimum subnet,inferred the activity and boundedness of this automated logistics system.Then,drew according to the result of the analysis a conclusion:this logistics system's task planning was reasonable.Using his method greatly reduced the calculation of analyzing the subnets or original Petri nets model directly,without globally or local deadlocks which providesd a basis of good working for this system.