The Internet of Things Enabled Shop Floor Scheduling and Process Control Method Based on Petri Nets | IEEE Journals & Magazine | IEEE Xplore