Reliability Modeling and Assessment of Internet-of-Things in Smart Manufacturing Systems: A Modular Petri Net Approach | Synapse