Petri net based Methodology for the Development of Collaborative Production Systems | IEEE Conference Publication | IEEE Xplore