Research Article
Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
Table 1
Initial production plan and daily events.
| Time | Production plans and events occurred |
| 10:10:49 | Production begins (# of order: 20/# of inventory: 10/# of production: 0) | 12:53:01 | Additional order comes (# of additional order: 4, # of total order: 24) | 13:00 | Additional inventory comes (# of additional order: 6) | 14:30 | Additional inventory comes (# of additional order: 6) | 19:00 | Expected production finish time |
|
|