Fairness Analysis of Petri Synthesis Net

The synthesis technique of Petri nets shared subnets can avoid the state exploration problem, which is of exponential complexity, by guaranteeing the correctness in the Petri net while incrementally expanding the net. One major advantage of the synthesis technique is that the resultant Petri net is guaranteed to be fair. Conditions of fairness preservation are proposed. A flexible manufacturing system has been designed. These results are useful for studying the static and dynamic properties of Petri net.