Protocol design and performance analysis for manufacturing message specification: A Petri net approach | IEEE Journals & Magazine | IEEE Xplore