Reliability Modeling and Assessment of Internet-of-Things in Smart Manufacturing Systems: A Modular Petri Net Approach | IEEE Journals & Magazine | IEEE Xplore