Details

Autor(en) / Beteiligte

• Chuanliang Xia

Titel

Fairness Analysis of Petri Synthesis Net

Ist Teil von

• 2010 Third International Symposium on Electronic Commerce and Security, 2010, p.171-175

Ort / Verlag

IEEE

Erscheinungsjahr

2010

Quelle

IEEE Electronic Library (IEL)

Beschreibungen/Notizen

• 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.