Petri net based modeling and analysis for weldingflexible manufacturing cell