A Hierarchical Time Order Petri Nets Modeling Method

Aiming at the difficulty of complex system modeling by using normal Petri Nets, Hierarchical Time Order Petri Nets was put forward, and gave its definition. Taking the process of space vehicle technical preparation for example, established the Hierarchical Time Order Petri Nets, verified the model by using relational matrix. It could conclude that the order time of complex system could be exhibited strictly, the system could be grasped on the macro and micro, the verification and simulation of model would become simple.