The Internet of Things Enabled Shop Floor Scheduling and Process Control Method Based on Petri Nets | Synapse