Abstract: Synthesis of Petri nets shared T-type subnets is an effective method for studying properties of complex Petri nets. The fairness preservation of the synthesis net is investigated. Sufficient conditions of fairness preservation are obtained. Application of

Key words: Petri nets, Synthesis, Boundedness, Fairness, Property analysis