A hybrid approach combining Petri Nets and Product Lifecycle Management to simulate, determine and validate the performance of flexible manufacturing systems | IEEE Conference Publication | IEEE Xplore